Quote: define operations as a pattern with its data types and corresponding routine

Note

can define generically with mode sets as patterns e.g., + <- expr (x:scalar, y:scalar; scalar) // Generic // [int, int] => fixadd (x,y), etc.

Related Topics

Topic: semantic grammar (23 items)
Topic: generic operations and polymorphism (65 items)