News for hackers. Stuff that matters.
Re:Show HN: Dependently typed language for proofs that you c... by rowanG077 on Sunday October 03, 2021 @02:55PM (#28739592)
As long as types can only be a single identifier both are fine. But that is not the case very often. Look at C and it's derivates. It's just unreadable in those cases compared to separating type and value with a colon.

There are no comments on this comment yet.