News for hackers. Stuff that matters.

A comment on Idris 2 0.6.0 is now available for the JVM. Parent comment

Re:Idris 2 0.6.0 is now available for the JVM by pjmlp on Monday February 27, 2023 @08:32AM (#34956167)
I am quite sure that Pascal had enumerations since the early days.

Section "6.1.1 Scalar Types", 1973 edition:

https://www.standardpascal.org/The_Programming_Language_Pasc...

[ Parent | on HN ]
Re:Idris 2 0.6.0 is now available for the JVM by tralarpa on Monday February 27, 2023 @09:15AM (#34956622)
My bad. In the newer edition they called it "enumerated types":

http://pascal.hansotten.com/uploads/books/Pascal_User_Manual...

I didn't realize that "scalar types" in the first edition were the same thing.

[ Parent | on HN ]