Re:Grain: A strongly-typed functional programming language f...
by _pragma on Sunday April 25, 2021 @08:57AM
(#26932340)
The language seems to be both statically typed and strongly typed. So why do you think they mixed it up?
[ Parent
| on HN ]
Re:Grain: A strongly-typed functional programming language f...
by valenterry on Sunday April 25, 2021 @10:16AM
(#26932854)
Usually statically typed implies strongly typed (there are rare exceptions). Also, when you look at their first page, they focus on type-safety and that the language prevent runtime errors.
In combination it looks very much like they mixed it up.