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 2018-03-07 18:54 | LtU Forum | previous forum topic | next forum topic | other blogs | 2903 reads
|
Browse archivesActive forum topics |
Recent comments
15 hours 33 min ago
1 day 1 hour ago
1 day 7 hours ago
1 day 8 hours ago
1 day 16 hours ago
1 day 16 hours ago
1 day 18 hours ago
1 day 19 hours ago
1 day 22 hours ago
1 day 23 hours ago