Working on a just-for-fun (JFF) compiler for a small statically typed language. It’s been interesting figuring out how to build up the language in small increments so I don’t have to implement too many features at once. Yesterday I was able to get a small ad-hoc syntax directed type Inference algorithm working. It supports using the same literal for multiple types so you get better ergonomics and so you don’t have to worry about having suffixes at the end of everything just for it to compile right. Very fun project!
Working on a just-for-fun (JFF) compiler for a small statically typed language. It’s been interesting figuring out how to build up the language in small increments so I don’t have to implement too many features at once. Yesterday I was able to get a small ad-hoc syntax directed type Inference algorithm working. It supports using the same literal for multiple types so you get better ergonomics and so you don’t have to worry about having suffixes at the end of everything just for it to compile right. Very fun project!
Learning a bunch about Inverse Kinematics so I can implement some neat 3D rigging controls.