https://github.com/05st/finio

read read me
https://github.com/05st/finio

Last synced: 3 months ago
JSON representation

read read me

• Host: GitHub
• URL: https://github.com/05st/finio
• Owner: 05st
• License: bsd-3-clause
• Created: 2022-07-24T02:48:53.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2024-07-26T19:13:30.000Z (almost 2 years ago)
• Last Synced: 2025-03-05T20:54:13.029Z (over 1 year ago)
• Language: Haskell
• Homepage: https://fino.stimsina.com
• Size: 221 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# fino

this is being rewritten in rust here: https://github.com/05st/fino

i would love to use haskell for it but unfortunately the state of llvm libraries for haskell is completely atrocious

a functional programming language.

todo:

- [X] Syntax, tokenization, parsing

- [X] Basic module system

- [X] Module verification (topological sort, detect cycles)

- [X] Name resolution

- [X] User-defined prefix, infix, and postfix operators

- [X] Function call analysis (find strongly connected components and topological sort)

- [X] Hindley-Milner type inference

- [X] Algebraic data types

- [X] Records with scoped labels

- [ ] Traits (i.e. Haskell typeclasses)

- [ ] Monomorphization

- [ ] Closure conversion / lambda lifting

- [ ] Code generation (C probably)

- [ ] ...