Hacker News: mechanicalDigit

New comment by mechanicalDigit in "Resources for Amateur Compiler Writers"

mechanicalDigit — Sat, 24 Apr 2021 21:11:51 +0000

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.

mechanicalDigit — Sat, 23 Jan 2021 18:49:36 +0000

Wadler stated in a talk somewhere that he was inspired by that book, but thought Agda may be more approachable.

mechanicalDigit — Fri, 13 Nov 2020 17:38:32 +0000

My computer science cohort was very small. That’s why I don’t expect to see many Lamar folks on these types of forums.

mechanicalDigit — Fri, 13 Nov 2020 15:05:39 +0000

Never thought I would see another Lamar grad here.