4 ms·
My thesis is, that proclaimed functional programmers spend more time on mathematical structures than implementation details. Hence a sum type and not a tagged u
by madsbuch 7y ago
My thesis is, that proclaimed functional programmers spend more time on mathematical structures than implementation details. Hence a sum type and not a tagged union (how the target evaluater distinguishes should not name the type).
- rectang 7y agoSoftware developers are allowed to have discussions about "integer" types without being constantly interrupted by number theorists to remind them that those aren't really integers. Perhaps one day we will be able to have similar discussions about sum types without constant interjections by functional programmers.
- madsbuch 7y agoYes indeed, as number theorists should be allowed to ditto.