User loginNavigation |
System F with Type Equality CoercionsMore goodness appears to be in store for GHC, the Haskell compiler:
From SPJ: "I intend to change GHC to use FC as its intermediate language." Looking at it, from the very, very limited understand I have, it seems that the whole coercions being witnesses to type constraints looks similar to how proof witnesses are used in Epigram. Maybe someone more knowledgeable can explain the similarity? By genneth at 2006-04-13 19:32 | LtU Forum | previous forum topic | next forum topic | other blogs | 9281 reads
|
Browse archives
Active forum topics
|
Recent comments
14 weeks 1 day ago
18 weeks 3 days ago
20 weeks 18 hours ago
20 weeks 18 hours ago
22 weeks 5 days ago
27 weeks 2 days ago
27 weeks 3 days ago
27 weeks 6 days ago
27 weeks 6 days ago
30 weeks 4 days ago