ゴリゴリ VM Yet Another (Naive) VM for Functional Programming Languages Design Specified for functional programming languages (especially for LoLi), ideally will be a typed SECD machine (based on Landin64).