Advanced Typechecking for Stack-Based Bytecoderyanbrewer.dev 1 pointhoping12 years ago1 commentSaveHideCopy link On HNComments−hoping1OP2yI wrote a little post about the typechecking algorithm I devised for SaberVM, a typed stack-based bytecode language like Web Assembly, designed from the ground up for being the target of functional programming languages
Comments
I wrote a little post about the typechecking algorithm I devised for SaberVM, a typed stack-based bytecode language like Web Assembly, designed from the ground up for being the target of functional programming languages