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  1580 reads

Browse archivesActive forum topics 
Recent comments
4 hours 24 min ago
4 hours 50 min ago
5 hours 45 min ago
9 hours 26 min ago
1 day 8 hours ago
1 day 8 hours ago
4 days 20 hours ago
5 days 11 hours ago
5 days 13 hours ago
1 week 12 hours ago