search

ohua-dev / ohua-core

Core Haskell library for the compiler
https://ohua-dev.github.io
Eclipse Public License 1.0
5 stars 0 forks source link

[Feature] Support for recursion #3

Closed sertel closed 5 years ago

sertel commented 6 years ago

Many higher-order functions can be implemented via tail-recursion. If we manage to support this then we can easily extend our language.

sertel commented 6 years ago

The work that remains is best described in the following paper: http://dl.acm.org/citation.cfm?id=968422

JustusAdam commented 6 years ago

I am dealing with a test case now that recursively uses variables. But I assume the test case was actually supposed to ensure that precisely that does not happen.

(let [[one two] (accept "some-id")]
  (let [one (read one)] (parse one two)))

I assume since we will support recursion this should be either be recursion or not allowed?