Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

https://github.com/smasher164/hm_practice

Last synced: about 2 months ago
JSON representation

Host: GitHub
URL: https://github.com/smasher164/hm_practice
Owner: smasher164
Created: 2023-09-18T11:34:35.000Z (over 1 year ago)
Default Branch: main
Last Pushed: 2024-03-11T09:11:16.000Z (10 months ago)
Last Synced: 2024-03-12T07:51:22.049Z (10 months ago)
Language: OCaml
Size: 302 KB
Stars: 2
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        # Practice with Hindley Milner Type Inference

1. [**lib/hm.ml**](lib/hm.ml): Hindley Milner with type annotations, recursive let bindings, and nominally typed records.

2. [**lib/hm_sp.ml**](lib/hm_sp.ml): Hindley Milner extended with single parameter type classes.

3. [**lib/hm_pp.ml**](lib/hm_mp.ml): Hindley Milner extended with multiple parameter type classes.