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?

1 Answer 1


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, 2021 at 20:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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