Implementace Simple Object Machine v funkcionálním programovacím jazyce

Abstract

Tato práce se zabývá implementaci dialektu programovacího jazyka Smalltak nazývaného Simple Object Machine (SOM), a to v čistě funkcionálním programovacím jazyce Haskell. Práce zkoumá syntaxi a sémantiku SOM programu a analyzuje již existující implementace. Následně je prezentován návrh, design a implementační detaily virtuálního stroje, který je založený na bajtkódových instrukcích a bajtkodovém interpeteru. Jednotlivé části virtuálního stroje jsou jednotlivě popsány, což jsou lexer, parser, překladač, běhové prostředí a garbage collector.

This thesis provides an implementation of a Smalltalk programing language dialect called Simple Object Machine (SOM) in Haskell, a purely functional language. It explores the syntax and semantics of a SOM program and analyses already existing implementations. Then it provides the design and implementation details of the virtual machine, that is based on bytecode instructions and a bytecode interpreter. The parts of the VM are individualy explored, which are lexer, parser, compiler, runtime environment and garbage collector.