This is an automated archive made by the Lemmit Bot.
The original was posted on /r/programminglanguages by /u/7Geordi on 2024-04-01 16:42:30.
I’m thinking about this syntax:
average is Array of T -> T
with (T has [Add of T,Multiply of T,Divide of T])
What do you think of the proposed of operator as the denotation for a parameterized type?
You must log in or register to comment.