User loginNavigation 
GADTs as gaurdsIs there some reason Haskell didn't expose GADTs as guards?  Haskell data Term t Lit Int :: Term Int App (Term (a > b)) Term a :: Term b ...  Guards data Term t Lit Int where t = Int App (Term (a > b)) Term a where t = b ... It seems equivalent and semantically simpler. By Matt M at 20180307 18:54  LtU Forum  previous forum topic  next forum topic  other blogs  3151 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
4 days 18 hours ago
2 weeks 2 days ago
2 weeks 5 days ago
3 weeks 6 days ago
4 weeks 3 days ago
4 weeks 3 days ago
4 weeks 3 days ago
6 weeks 12 hours ago
6 weeks 13 hours ago
7 weeks 5 days ago