Haskell 中文教程1-3章(flw譯) 純粹的函數型編程語言。以著名邏輯學家 Haskell B. Curry 的名字命名。 最初的目的是想要設計出滿足下面這些要求的語言: 1,它必須能夠適合教學、研究、應用開發,包括一些大系統的構造。 2,它必須能夠使用形式語言來準確描述。 3,它必須是自由免費的,任何人只要愿意都可以獲取、使用和再次發布它。 4,它必須建立在大家一致認可的基礎上。 5,它應該能夠消除目前的函數型編程語言的差異。
標簽: Haskell B. Curry flw
上傳時間: 2014-01-10
上傳用戶:685
好東西 關于單片機的一些重要的代碼本程序是操作系統中比較典型的線程同步算法中的哲學家進餐問題,為防止死鎖,采取了兩個條件(筷子空閑)同時滿足時再允許進餐的辦法來解決。期望與大家一起學習交流!
標簽: 家 單片機 代碼 交流
上傳時間: 2015-05-01
上傳用戶:362279997
用C++語言編寫數學常用算法 具有很強的能用性十分好用推薦下載
標簽: 語言 編寫 算法 十分
上傳時間: 2014-01-09
上傳用戶:啊颯颯大師的
有多個文件 可以根據文件名和注釋進行選擇 提取算法可以根據嵌入算法 自行寫出 提供了較好的抗壓縮和抗剪切的效果
標簽: 提取算法 嵌入算法 剪切
上傳用戶:hopy
做的有關DSP+Mp3+U B+FAT12的所有源程序,DSP用的是ti5416
標簽: DSP FAT 12 Mp
上傳時間: 2013-12-26
上傳用戶:CHENKAI
一個用JSP寫的基于了B/S的圖書館管理系統,實現了網上預約,圖書查詢檢索等功能。
標簽: JSP 圖書館 管理系統
上傳時間: 2014-12-21
上傳用戶:王小奇
全國交通咨詢模擬 一、程序界面 A.關于程序 B. 程序的使用 ...
標簽: B. 程序 模擬
上傳用戶:lili123
B-TREE文件索引源代碼,快速,高效的數據文件索引程序.
標簽: B-TREE 索引 源代碼 數據文件
上傳時間: 2013-12-29
上傳用戶:nanfeicui
遺傳算法的編程用的時候只需要把優化函數一下就好了希望對大家有用
標簽: 算法 函數 家 編程
上傳時間: 2013-12-11
上傳用戶:aa54
基于B/S結構的圖片管理系統的實現論文,采用技術為vb.net和asp.net
標簽: 管理系統 論文
上傳時間: 2013-12-16
上傳用戶:myworkpost
蟲蟲下載站版權所有 京ICP備2021023401號-1