Pyret Programming Language

Re:Pyret Programming Language by chajath on Sunday August 22, 2021 @09:49AM (#28265441)

What pain point of Python as an education language is Pyret trying to address? Union type might be vaguely useful, although some of these use cases can be modelled as inheritance or typed enums.

[ Parent | on HN ]

Re:Pyret Programming Language by sharno on Monday August 23, 2021 @11:49AM (#28277689)

IMHO, Union types are the one the most important features that should have been in programming languages since C. And I believe it would have made our software much more bug free than it is generally now. Enums in all languages should be Rust like enums with exhaustive checking and allow recursive definitions.

[ Parent | on HN ]

Re:Pyret Programming Language by jpolitz on Monday August 23, 2021 @12:56AM (#28272445)

This is a good question! We addressed this explicitly in our (new) book that starts in Pyret and transitions to Python:

https://dcic-world.org/2021-08-21/part_appendix.html#%28part...

[ Parent | on HN ]