Open post Lobsters @lobsters@robot.villas · 2w ago Union vs sum types https://viralinstruction.com/posts/uniontypes/ #Programming #RustLang #TypeSystems viralinstruction.com Union vs sum types
Open post Lobsters @lobsters@robot.villas · 3mo ago Type Inference (Part 1) https://www.blog.akhil.cc/type-inference-part-1 #Programming #TypeSystems #Compilers blog.akhil.cc Type Inference (Part 1) A tutorial on Hindley Milner type inference.
