etaoins / llambda

Scheme R7RS frontend for LLVM
Other
68 stars 6 forks source link

Support (plambda) #47

Open etaoins opened 9 years ago

etaoins commented 9 years ago

(plambda) is an deprecated form from Typed Racket that allows polymorphic (lambda)s to be declared. At the moment out frontend only supports polymorphic procedures by type annotating (define) even though the planner supports polymorphic procedures generally.

The current recommended Racket syntax for polymorphic lambdas depends on reader extensions which we have no plans to support.

(pcase-lambda) could be done as part of this work if it's trivial.