文件名称：prospect:*单子的静态分析
文件大小：10KB
文件格式：ZIP
更新时间：2024-05-22 05:04:20
Haskell
展望 | 奉献精神 为了人类的和平与安全，绝对没有必要让地球上一些阴暗，死角和不沉的深度埋葬； 以免睡眠异常唤醒恢复生机的生活，*幸存的噩梦从黑巢中蠕动并飞溅开来，以进行新的和更广泛的征服。 惠普Lovecraft 概述 prospect是一个库，提供了用于探索函数的原语，并提供了Monad的扩展。 因此，它允许对*单子进行最佳尝试的静态分析。 但是，这种权力并不是免费的。 使用prospect是Eldrich恐惧中的隐含承诺，您会轻而易举。 精打细算的流浪者将获得无与伦比的回报，但不会因此而感到恐怖，疯狂和运行时崩溃。 用法 该库提供了一个功能， prospect :: Free fa -> (Maybe a, [f ()]) ，它可以探测*monad的深度，并在monad动态分支之前找到尽可能多的f构造函数。 检查f ()时要小心，如果它们中的任何一个依赖于monad中绑定
【文件预览】：
prospect-master
----Setup.hs(46B)
----.travis()
--------attach-binary.sh(845B)
--------install-ghr.sh(486B)
--------install-stack.sh(709B)
----package.yaml(1KB)
----src()
--------Lib.hs(88B)
--------Control()
----.travis.yml(1KB)
----LICENSE(1KB)
----test()
--------Spec.hs(4KB)
----README.md(2KB)
----ChangeLog.md(124B)
----stack.yaml(73B)
----.gitignore(31B)