blueberry87.hashnode.devUniqueness types for IO( Please excuse the odd syntax. Hashnode doesn't support coloring for OCaml. ) Pure functional programming is neat. It allows for some extremely unique optimisations and speed improvements - but it makes usual programming things like IO hard. Therefo...Feb 9, 2023·4 min read
blueberry87.hashnode.devSolving system-F application with metavariablesWe've all been there before. You have a function you want to call, and a variable you want to call it with, but you just don't want to manually write instantiations when all the needed info is (probably) there! Warning - This is not particularly read...Jan 23, 2023·4 min read