Unit type missing about aiken HOT 4 CLOSED

Void it is.

See: https://aiken-lang.org/language-tour/primitive-types#void

from aiken.

Thanks for the reply @KtorZ. However, I still don't understand why that should be called Void rather than Unit. I would expect those two types to have different semantics.
I think it could be beneficial to mention this explicitly in the docs you linked, maybe adding some examples around the semantics of matching against this type.

from aiken.

You're probably expecting Unit because you come from the Haskell world, I assume? If that's the case, then, well, we just have a different semantic than Haskell :).

We could potentially add a small note to the website documentation for the Haskellers, feel free to make a PR 👍

from aiken.

Yeah, you are right. But I would expect a lot aiken developer to come from a Haskell background as well :)

I did not know that other languages use the same convention (just found this https://en.wikipedia.org/wiki/Unit_type) thanks for pointing that out!

from aiken.