rep_lang

rep_lang copied to clipboard

extensible records would be 🔥 we currently have product types, with `Pair` (2-tuples). the approach outlined in [this paper](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scopedlabels.pdf) might lead to a nice mapping between underlying Rust structs (other...

mhuesch

## motivation our interpreter currently creates unnecessary closures. this may or may not be a big deal. I'd say it seems likely that other issues are more pressing than interpreter...

mhuesch

this is a little tricky. two approaches come to mind: 1. generate terms using the [untyped generator](https://github.com/mhuesch/poly-rs/blob/8045ff010f03b6db4df782e90ee7127ea006cb34/src/test/syntax.rs#L69-L103), call `infer` them on them, & discard not-well-typed ones. * seems inefficient -...

mhuesch

strategize about implementation for `Type::TRelated`

1

try to figure out what a good structure might look like. relates to #6.

mhuesch