Re:Gleam: a type safe language on the Erlang VM
by vips7L on Wednesday November 08, 2023 @03:41PM
(#38196635)
Isn't this solvable just by using types and instances rather than just calling top level/static functions? If you have a "replace" function off of String and use a Pattern type instead of a raw string, the compiler will enforce the correct type and ordering.
In fact this specific example is solved just by having a dedicated type, for example URI:
This feels like to me an answer in search of a problem.
[ Parent
| on HN ]
There are no comments on this comment yet.