Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/nogw/unnamed

Last synced: 3 months ago
JSON representation

Host: GitHub
URL: https://github.com/nogw/unnamed
Owner: nogw
License: mit
Created: 2023-05-19T07:06:08.000Z (over 1 year ago)
Default Branch: main
Last Pushed: 2023-05-19T07:35:57.000Z (over 1 year ago)
Last Synced: 2024-05-31T10:39:22.972Z (6 months ago)
Language: OCaml
Size: 32.2 KB
Stars: 1
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        # Prototype

A language with first-class (impredicative) and higher-rank polymorphism

- I would eventually like to support

  - Strictness analysis

  - Algebraic datatypes

  - Row types

  - Linear types

  - GADTs

  - Pattern matching

  - Exhaustiveness checking

  - Higher-kinded types

  - Syntax for infix operators

  - Scoped type variables

  - Laziness