Quote: declare operations as a pattern giving data types, operator, and result type

Note

Bell '69: declare operations as patterns eg "+" <-"" i.e., complex addition replaced by temporary complex z

Related Topics

Topic: function syntax by pattern (15 items)
Topic: semantic grammar (23 items)