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 you have read our privacy policy.

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