Alonzo research news: Reading up on Algorithm W didn't really the questions I had. Now I'm studying up on System Fω, at 1st glance this looks like a close fit...
I'm trying to figure out how to implement a typechecker!
0 Boosts
0 Likes
@bkim Yeah its harder than I thought...
But hopefully I want spend that much time!
@alcinnz I've started trying to write a typechecker, then read that it's the same unification used by Prolog, then tried to implement a Prolog, and now I'm on year 6 of studying programming languages and haven't finished writing typecheckers.