Login
From:
Ryan's Blog
(Uncensored)
subscribe
Advanced Typechecking for Stack-Based Languages
https://ryanbrewer.dev/posts/typechecking-svm/
links
backlinks
Roast topics
Find topics
Find it!
This post discusses the interesting typechecker of SaberVM, which uses a stack-based bytecode language with a powerful type system. Read more here!