[<<][haskell][>>][..]
Sun Mar 4 16:51:00 CET 2018

Type checker + abstract evaluator

Steps:
- write code + (optional) type annotation in Erlang
- translate code from Erlang parse tree to embedded language in Haskell
- type check
- (optional) do abstract evaluation

This will solve the main problem: Erlang code that passes the type
check will not have type errors.

Disadvantage: embedding is likely to be rough, so the Erlang code that
passes this will be a subset.

It will not work for multi-processing code.  But it might still be
possible to create Erlang abstractions that can be represented in
haskell.



[Reply][About]
[<<][haskell][>>][..]