Haskell有哪些威力十足的库

2019-11-12 20:52:17

這裡收藏的是十大正规网投平台覺得自己以後可能用上的,不求完整但求簡約實用有些跟樓上重複到,但為了完整性,有些就再重複一次自動化建構工具make的Haskell版本,可以用Haskell寫make本身就是賣點shake:Buildsystemlibrary,likeMake,butmoreaccuratedependencies.證明Haskell程序正確性的證明器不只是理論上的數學定理,甚至能夠證明某程序的浮點數會不會overflow,讓一般常用的軟體測試顯得不嚴謹基於擴展型別系統ucsd-progsys/liquidhaskell·GitHub基於程序表達式跟smt算法SBVbyLeventErkok數字電路設計賣點是能把高階函數跟型別系統應用在硬件語言kansas-lava:KansasLavaisahardwaresimulatorandVHDLgenerator.CλaSH-FromHaskelltoHardware嵌入式程序設計NASA用來控制無人飛行器,也可以用來寫arduino板子,且包含SBV後端用來證明程序正確性,但語法有點彆扭,且型別支撑不如前面兩個硬件數字電路語言copilot:AstreamDSLforwritingembeddedCprograms.分布式邏輯編程Prolog從來沒實作在計算機集群上,但Haskell有實作,不知道實用價值但本身就很強大LogicGrowsOnTrees:aparallelimplementationoflogicprogrammingusingdistributedtreeexploration統計相關簡約實用的貝葉斯統計庫adscib/monad-bayes·GitHub這個不算是統計,算是機率題目的解題器,由spec精確算出機率值probability:ProbabilisticFunctionalProgramming嵌進帶型別的R語言HaskellR-ProgrammingRinHaskellHaskell執行時期跑Haskell執行時期載入動態函式庫plugins:DynamiclinkingforHaskellandCobjectsHaskell解釋器的Monad,因為直接用GHCAPI實在很複雜hint:RuntimeHaskellinterpreter(GHCAPIwrapper)FRP編程用戶交互及響應等事件撿一個老牌又有眾多實例的reactive-banana:Libraryforfunctionalreactiveprogramming(FRP).有些無聊的範例遊戲可以玩Web相關Haskelltojavascript:Haste兼容不少既有的hackage函式庫,雖沒有ghcjs來得兼容,但ghcjs產生的js實在太大號達MB,Haste產生的js很輕量,比較有實用價值Type-safe,FunctionalWebDevelopment後端很多種framework,這個貌似比較好懂agrafix/Spock·GitHub

上一条：上一篇：ACM的正确入门方式是什么
下一条：下一篇：UW的统计学MASTER大概什么要求啊

相关产品

相关资讯