Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

https://github.com/coord-e/impl-outsidein

Toy implementation of type inference for GADTs and TypeFamilies
https://github.com/coord-e/impl-outsidein

type-inference

Last synced: 2 months ago
JSON representation

Toy implementation of type inference for GADTs and TypeFamilies

Host: GitHub
URL: https://github.com/coord-e/impl-outsidein
Owner: coord-e
License: bsd-3-clause
Created: 2020-11-05T17:14:31.000Z (about 4 years ago)
Default Branch: evidence
Last Pushed: 2021-02-04T05:41:09.000Z (almost 4 years ago)
Last Synced: 2024-10-11T05:10:39.329Z (3 months ago)
Topics: type-inference
Language: Haskell
Homepage:
Size: 181 KB
Stars: 5
Watchers: 3
Forks: 1
Open Issues: 0
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE.md

Awesome Lists containing this project

README

        # Toy implementation of OutsideIn(X)

[![Actions Status](https://github.com/coord-e/impl-outsidein/workflows/CI/badge.svg)](https://github.com/coord-e/impl-outsidein/actions?workflow=CI)

This repository contains the toy implementation of OutsideIn(X) type inference algorithm[[1]](#1).

The `evidence` branch implements evidence generation on top of the type class and type family solver presented in [[1]](#1).

## Bibliography

- [1] Vytiniotis, Dimitrios, et al. "OutsideIn (X) Modular type inference with local assumptions." Journal of functional programming 21.4-5 (2011): 333-412.