search

broom-lang / broom

A programming language with first-class modules and algebraic effects.
https://broom.readthedocs.io
BSD 3-Clause "New" or "Revised" License
10 stars 1 forks source link

Shrinking optimizations #28

Open nilern opened 5 years ago

nilern commented 5 years ago

So that e.g. subtyping coercions can produce sloppy code. See Shrinking Lambda Expressionsin Linear Time and Shrinking Reductions in SML.NET. #12 should make this a lot easier.