mcmatrix / funblocks

A functional block-based programming language for CodeWorld

FunBlocks

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.

Notes

Type Checking

• 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.

Formatting code

• Haskell Formatted
• hindent