@edwinbrady with Lazy and Inf being type constructors, does this mean we can be polymorphic in lazy vs. strict and data vs. codata?
@milessabin I suppose it does. As long as you're consistent in how you use them in the end the type checker will be happy.
-
-
@edwinbrady well that's rather exciting ... I'm not aware of any other PL with that capability. -
@milessabin I think Agda does it ;). For codata anyway, not laziness, though Ocaml does laziness this way (with explicit force/delay) - 6 more replies
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.