Haskell提供
typed holes.
例:
f :: Int -> String -> Bool f x y = if (x > 10) then True else (g y) g :: String -> Bool g s = _
汇编:
Prelude> :l HoleEx.hs [1 of 1] Compiling Main ( HoleEx.hs,interpreted ) HoleEx.hs:6:7: Found hole `_' with type: Bool Relevant bindings include s :: String (bound at HoleEx.hs:6:3) g :: String -> Bool (bound at HoleEx.hs:6:1) In the expression: _ In an equation for `g': g s = _ Failed,modules loaded: none.
在Scala中编程时,我通常使用???作为我的Scala代码中的占位符,我还没写过.
但是,使用打字孔对我来说似乎更强大.请注意,我可以用else替换上面的其他(g y)(g 55),但是我得到一个编译时错误:
Prelude> :l HoleEx.hs [1 of 1] Compiling Main ( HoleEx.hs,interpreted ) HoleEx.hs:3:39: Couldn't match type `Int' with `[Char]' Expected type: String Actual type: Int In the first argument of `g',namely `x' In the expression: (g x) Failed,modules loaded: none.
虽然我可以使用???在Scala中获取占位符实现进行编译,与孔不同,我将使用???获取运行时错误.
scala> def g(x: Int): Int = ??? g: (x: Int)Int scala> g(5) scala.NotImplementedError: an implementation is missing
Scala是否有打孔?
解决方法
斯卡拉的???只是抛出异常的简写,相当于Haskell的未定义或只是错误“未实现”或类似.
但是,据我所知,Scala编译器不支持打字孔.但是你可以使用???并检查IDE或Emacs Ensime中的类型以查看其推断类型.
另请注意,与Haskell的Hindley-Milner类型系统的完整类型推断相比,Scala的类型推断是非常小的,因此在Scala编译器中使用类似的类型的东西甚至不会太有意义,直到Martin Odersky和维护者决定Scala需要升级类型推断,我认为不太可能很快发生(但Typelevel人群可能会做一些烹饪).
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。