mechanicalDigit

3 ms·

1. 1.▲
   by mechanicalDigit 5y ago

   Most compilers are written for fun. That’s the point of the thread. Also, there is a lot of modern language research is done from the “lens” (heh) of Haskell, or at least the Glasgow school.
2. 2.▲
   by mechanicalDigit 6y ago

   Wadler stated in a talk somewhere that he was inspired by that book, but thought Agda may be more approachable.
3. 3.▲
   by mechanicalDigit 6y ago

   My computer science cohort was very small. That’s why I don’t expect to see many Lamar folks on these types of forums.
4. 4.▲
   by mechanicalDigit 6y ago

   Never thought I would see another Lamar grad here.