Re:Pony: An actor-model, capabilities-secure, high-performan...
by thesz on Tuesday July 29, 2025 @05:05PM
(#44728262)
Examples such as Hello, World! can tell you many things.
They can tell you whether language is statically typed or not, does it have an effect typing (it necessarily needs higher order types), does it have type inference, etc,
They can tell you whether language is statically typed or not, does it have an effect typing (it necessarily needs higher order types), does it have type inference, etc,
A syntax of one is semantic of other.