3 ms·
That's surprising! I (author of the blog) just repeated what's in the 1985 paper. The feature might actually have been removed, or never even been implemented.
by syrak 2y ago
That's surprising! I (author of the blog) just repeated what's in the 1985 paper.
The feature might actually have been removed, or never even been implemented. One would have to find an implementation to check.
- derriz 2y agoCould be. This overview from the end of 1986 - https://www.cs.kent.ac.uk/people/staff/dat/miranda/Overview.html https://www.cs.kent.ac.uk/people/staff/dat/miranda/Overview.... - fairly matches my recollection of the language and doesn't mention such a feature.
- syrak 2y agoThanks! Here we go: "Note: In versions of Miranda before release two (1989) it was possible to associate "laws" with the constructors of an algebraic type, which are applied whenever an object of the type is built. For details see Turner 1985, Thompson 1986. This feature was little used and has since been removed from the language. "
- derriz 2y agoCool - mystery solved!
- 082349872349872 2y agofwiw I unwittingly retrod this path; looking back at early versions of my algebraic type library there were all sorts of provisions for automatic smart constructors (commutativity, identities, etc., surely inspired by Goguen) that got dropped from later versions for lack of use.