[Haskell-cafe] linear and dependent types
Dan Doel
dan.doel at gmail.com
Sat Feb 19 14:03:43 CET 2011
On Saturday 19 February 2011 1:11:23 AM Vasili I. Galchin wrote:
> BTW I was thinking of http://www.ats.org when I asked this question.
Technically speaking, if one considers ATS to be dependently typed, then one
might as well also consider GHC to be dependently typed (with the right
extensions enabled). ATS would easily be a nicer language in that respect,
though.
-- Dan
More information about the Haskell-Cafe
mailing list