@propensive sweet!
Here's an example of using intersection types and invariant typeclasses for validation! https://gist.github.com/propensive/61214bf1b7a7c4a742ae …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@propensive Is it any improvement over defining value classes Upper(val s: String) and Even(val i: Int) and parsing those? -
@propensive I mean define parsers for those.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.