[Haskell-cafe] an idea for modifiyng data/newtype syntax: use `::=` instead of `=`
goodingm at gmail.com
Fri Aug 28 04:57:45 UTC 2015
It sort of should I think. In Idris I believe closed type families just use
regular function syntax, can be declared inside of let-bindings, have type
signatures themselves, and otherwise syntactically behave just like the
value level equivalents. I'm hoping at some point goldfire's dependent
Haskell work will eventually lead to the same in Haskell, though I know from
his comments on reddit that this is very far off from being a reality.
Daniel Trstenjak-2 wrote
> But with this point of view 'type Sequence t = [t]' is also somehow
> bogus and should just be 'Sequence t = [t]'.
> Haskell-Cafe mailing list
View this message in context: http://haskell.1045720.n5.nabble.com/an-idea-for-modifiyng-data-newtype-syntax-use-instead-of-tp5815331p5816380.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
More information about the Haskell-Cafe