文件名称：idris-benchmarks:伊德里斯基准计划
文件大小：78KB
文件格式：ZIP
更新时间：2024-06-08 08:03:34
Idris
idris基准 伊德里斯基准计划 基于计算机语言基准测试的游戏： : 将Haskell代码移植到Idris的注意事项 进口： 通过import Module（f1，f2）导入特定功能不可用，但是您可以在模块中使用访问/导出修饰符。 （私人，公共） 声明书 通常，声明必须明确输入 要使用相互引用的多个功能，您需要将它们放置在一个共同的块中 每行一个声明，即x，y：Int无效 数据类型名称及其构造函数的名称不能与Haskell中的名称相同，即data Foo = Foo s | ...无效 转换和类型推断 在where子句中对辅助函数进行了一些类型推断，但与haskell相比，它无法确定适当的类型 类型不会自动转换（int，integer，nat等），必须在注册适当的类型后显式调用强制转换 记录类型 在haskell中，您可以使用r {ThingToChange = newValue
【文件预览】：
idris-benchmarks-master
----in-progress()
--------fibo.idr(452B)
--------regexmatch.ghc(2KB)
--------message.ghc(701B)
--------tcpstream.ghc(2KB)
--------mandelbrot.ghc-2.ghc(3KB)
--------meteor4.idr(2KB)
--------process.ghc(575B)
--------magicsquares.ghc(4KB)
--------meteor.idr(9KB)
--------fibo.ghc(1KB)
--------revcomp.ghc-2.ghc(3KB)
--------hello.ghc(133B)
--------nbody.idr(6KB)
--------except.ghc(931B)
--------heapsort.ghc-2.ghc(2KB)
--------spectralnorm.ghc-2.ghc(1KB)
--------recursive.ghc(1KB)
--------sieve.idr(1KB)
--------reversefile.ghc(174B)
--------objinst.ghc(1KB)
--------fasta.idr(5KB)
--------sieve.ghc(919B)
--------chameneosredux.ghc-4.ghc(3KB)
--------binarytrees.ghc(2KB)
--------fannkuch.ghc-5.ghc(5KB)
--------hello.idr(57B)
--------nestedloop.ghc(677B)
--------ary.ghc3.ghc(672B)
--------ackermann.ghc-3.ghc(303B)
--------nsievebits.ghc(1KB)
--------lists.ghc2.ghc(690B)
--------moments.ghc(2KB)
--------pidigits.ghc-4.ghc(754B)
--------nsieve.ghc(931B)
--------prodcons.ghc(609B)
--------fasta.ghc-3.ghc(4KB)
--------tcpecho.ghc(2KB)
--------wordfreq.ghc2.ghc(2KB)
--------hash.ghc(529B)
--------pidigits.idr(770B)
--------echo.ghc(1KB)
--------regexdna.ghc-2.ghc(5KB)
--------random.ghc-2.ghc(611B)
--------partialsums.ghc(1KB)
--------harmonic.ghc-2.ghc(451B)
--------threadring.ghc(882B)
--------matrix.ghc-2.ghc(1KB)
--------wc.ghc(2KB)
--------strcat.ghc(316B)
--------ackermann.idr(687B)
--------meteor.ghc-4.ghc(2KB)
--------perms.idr(170B)
--------chameneos.ghc-2.ghc(1KB)
--------hash2.ghc(817B)
--------methcall.ghc(1KB)
--------fannkuchredux.idr(4KB)
--------takfp.ghc(325B)
--------meteor.ghc-5.ghc(8KB)
--------fannkuchredux.ghc(1KB)
--------chameneosredux.idr(3KB)
--------binarytrees.hs(2KB)
--------knucleotide.ghc-3.ghc(10KB)
--------binarytrees2.hs(2KB)
--------nbody.ghc(5KB)
--------sumcol.ghc-4.ghc(166B)
--------spellcheck.ghc(380B)
--------tcprequest.ghc-2.ghc(2KB)
--------ary.idr(804B)
--------binarytrees.idr(3KB)
----fibo.idr(546B)
----.gitignore(10B)
----README.md(6KB)
----sieve.idr(1KB)
----hello.idr(57B)
----binarytrees_min.idr(3KB)
----ackermann.idr(687B)
----binarytrees.idr(3KB)