A functional block based programming language for CodeWorld. The language will feature a visual block-based UI with a code generator that outputs a subset of Haskell in order to create CodeWorld applications.
This repository mostly serves as a test bed for features.
- Typing Haskell in Haskell - Haskell type checking
Hint- Type-check and evaluate strings with Haskell expressions and even coerce them into values.- Programming language - Programming languages, covers Racket, has got a chapter on type checking
- The Implementation of Functional Programming Languages - Contains a chapter on Polymorphic type checking
- Baskell - A small functional language featuring type inference.