nikhilc1527/haddr-lang

Haddr-Lang

Purpose

This is a language that I am making, entirely in haskell trying to follow conventions of functional programming as closely as I can. As for the language itself, I want to make it a perfect blend between functional and imperative programming, allowing for an easy transition for imperative programmers into the functional style.

If you see some problems, please don't hesitate to submit a pull request!

Feature Todo List

Short Term

• preprocessor macros
• for loop
• break/continue of loops
• update the readme
• make proper grammar specification
• string/char literals
• type check proc call
• add type for function pointer
• import statement (copy paste style)
• lambdas (not closures)
• static linking (get rid of libc), make list of syscalls, std library
• improve ui, add flag to run vs compile (-c, -r), output directory/files
• tuples
• different sized int/uint types
• make if statements/blocks into expressions
• global variables in (bss)
• compile time constants, arrays initialized to size of compile time constant
• graphviz of control flow
• profiling
• ++, --, & (address of), * (dereference), +=, -=, bitwise operators
• add emacs/vim support
• type check return statements
• do nothing if statement doesnt do anything
• inline asm

Long Term

• generics (with typeclasses / type constraints)
• proper testing
• move to stack and ditch cabal
• figure out ABI to do FFI
• tagged union
• closures (maybe)
• modules
• parse c header file to make pseudo-module for c ffi
• implicit currying functions
• separate type checking into its own step (and make errors have source code row/column labels)
• type inference
• find mechanism to do RAII (destructors / defer)
• use block (reference)
• static reflection

Super Long Term

• lsp
• monads
• self hosting
• asm optimizations (using linear IR) -- maybe use llvm but preferrably not idk yet