Does LIGO support parameterized types?

Consider rcons, which is like cons (::) but with the arguments flipped. I'd like to be able to write something like:

let rcons((xs, x): T list * T): T list =
  x :: xs

where T is an arbitrary type.

Is this possible?


Not yet. This is in the works though, and you are welcome to help if you are interested :)

  • 1
    I'll leave it to the experts for now 😆 Mar 5 at 20:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.