文件名称:nondeterminism-haskell:Haskell中的非确定性计算
文件大小:9KB
文件格式:ZIP
更新时间:2024-05-20 01:10:05
Haskell
非确定性 该软件包可通过获得。 这提供了Haskell中的不确定性计算。 它实现了一个Amb monad,您可以在其中执行不确定的选择以及monad转换器版本AmbT 。 安布 找到一个达到一定大小的毕达哥拉斯三胞胎的例子,说明欧拉问题9。 import Control.Monad import Control.Monad.Amb pyTriple :: ( Num t , Ord t ) => t -> Amb r ( t , t , t ) pyTriple n = do a <- anIntegerBetween 1 n b <- anIntegerBetween (a + 1 ) n c <- anIntegerBetween (b + 1 ) n when (a * a + b
【文件预览】:
nondeterminism-haskell-master
----src()
--------Control()
----Setup.lhs(78B)
----LICENSE(7KB)
----README.md(1KB)
----tests()
--------test.hs(2KB)
----nondeterminism.cabal(1KB)