https://github.com/jimmyhmiller/jml

https://github.com/jimmyhmiller/jml

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/jimmyhmiller/jml
• Owner: jimmyhmiller
• License: mit
• Created: 2020-12-20T15:41:04.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2022-02-10T04:21:21.000Z (almost 3 years ago)
• Last Synced: 2023-08-08T02:52:54.477Z (over 1 year ago)
• Language: Clojure
• Size: 234 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# jml

Really this was just a fun experiment in making a compile to jvm language without a lot of planning. We made a mess of a codebase, but it does a good amount and we learned more about making a compile to jvm language.

## Original Below

## Aspiration Attributes

- Rust Inspired

- ML Inspired

- Statically Typed

- As much type inference as possible

- Non-pure

- No Ownership

- Strict

- Macros

- Java interop

- No easy way to make class

- No inheritence

- Type classes (Traits)

- mut vs non

- use builtin java types

- unboxed by default

- No Exceptions? (How in jvm?)

- No Dependent Types

- Be Popular

## Open Questions

- Higher Kinded Types?

- Hindley vs Something else?

- Subtyping of any sort?