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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.