文件名称：fp-in-idris:Scala 中的函数式编程（在 Idris 中）[Idris]
文件大小：17KB
文件格式：ZIP
更新时间：2024-07-07 03:01:52
Idris
Scala 中的函数式编程（在 Idris 中） 如果 Scala 是我必须考虑的唯一语言，我会认为函数式编程是一个坏主意，也不能扩展。 ——爱德华·克米特 它来自reddit上的 而且他可能也不建议和Idris一起学习 FP ...... Haskell是我最喜欢的语言，但我想我会抓住机会尝试Idris做一些不同的事情。 这些是我在 [ Idris ] 中的 [ Functional Programming in Scala ] 中的练习的尝试
【文件预览】：
fp-in-idris-master
----.gitignore(50B)
----src()
--------FunctionalDataStructures.idr(9KB)
--------GettingStarted.idr(422B)
--------StrictnessAndNonStrictness.idr(13KB)
--------Implication.idr(1KB)
--------HandlingErrors.idr(12KB)
--------PurelyFunctionalState.idr(7KB)
--------Verified.idr(2KB)
--------Disjunction.idr(2KB)
--------ProofBasedVerification.idr(4KB)
----README.md(942B)
----fp-in-idris.ipkg(265B)