On Tuesday, November 15, 2016 at 8:57:30 AM UTC-7, John Orford wrote: > > let-bound values can be given type annotations that reference type > variables from the top level > > that's v thoughtful actually, I hadn't heard that before, just local > variables in any case, makes a lot of sense for tricky functions. > > is this an elm specific creation or do you also see it in Haskell? (iirc, > never) >
Haskell has an option for it: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#ghc-flag--XScopedTypeVariables OCaml has it built-in. I think SML has it built in too. It is fairly common in other words, and very useful. :-) -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
