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: 9 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 5 years ago)
• Default Branch: evidence
• Last Pushed: 2021-02-04T05:41:09.000Z (almost 5 years ago)
• Last Synced: 2025-05-12T22:16:41.345Z (9 months ago)
• Topics: type-inference
• Language: Haskell
• Homepage:
• Size: 181 KB
• Stars: 6
• Watchers: 2
• 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.