文件名称:scala-typed-holes
文件大小:26KB
文件格式:ZIP
更新时间:2024-05-28 21:34:38
Scala
Scala型Kong 这是一个Scala编译器插件,用于模拟Haskell,Idris,Agda等的“类型化的Kong”功能。 每当您使用??? 在您的代码中,编译器插件将生成一个编译器警告,其中包含有关该警告的有用信息。 例如,给定Scala代码 package example object Example { def foo ( x : Int , y : String ) : Boolean = { if (y.length == x) { ??? // TODO implement! } else { true } } def bar ( x : Int ) : String = x match { case 0 => " zero " case 1 => " one " case _ => ?
【文件预览】:
scala-typed-holes-master
----project()
--------build.properties(18B)
--------plugins.sbt(111B)
----.github()
--------release-drafter.yml(84B)
--------workflows()
----src()
--------test()
--------main()
----.travis.yml(700B)
----LICENSE(11KB)
----build.sbt(1KB)
----README.md(3KB)
----docs()
--------README.md(3KB)
----push_readme.sh(891B)