search

lidavidm / reduct-redux

A game to teach functional programming concepts
https://games.lidavidm.me/reduct-redux/docs
Mozilla Public License 2.0
1 stars 0 forks source link

Type inference #23

Open lidavidm opened 6 years ago

lidavidm commented 6 years ago
lidavidm commented 6 years ago

Basic inference implemented, does not handle lambdas/apply

lidavidm commented 6 years ago

A key challenge will be keeping this performant as it is one of the major contributors to small-step performance.