Yhc/Erlang/Proof of concept

From HaskellWiki
< Yhc
Revision as of 02:27, 15 May 2008 by DimitryGolubovsky (talk | contribs) (intro-1)

Jump to: navigation, search


This Wiki page describes an experiment targeting execution of Haskell programs on top of the Erlang Virtual Machine (BEAM). Haskell source code is compiled to Yhc Core with York Haskell Compiler (Yhc), then the program further discussed converts Yhc Core to Core Erlang; finally Erlang Compiler (erlc) compiles Core Erlang to the BEAM file format which can be loaded and executed by the Erlang VM.


Implementation details

Erlang core overview

Haskell on BEAMs ;)

Lazy computations

Haskell objects


Data constructors

Special cases

Haskell calling Erlang

General calling convention

Primitive calls

Hardcoded BIFs

Erlang calling Haskell

Typed processes

Spawning processes

Receiving messages

Sending messages



Merging lists