- Timestamp:
- Sep 15, 2024, 2:36:14 PM (3 months ago)
- Branches:
- master
- Children:
- 175a750e
- Parents:
- 68a7028
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/jiada_liang_MMath/relatedwork.tex
r68a7028 r4fa7096 1322 1322 The type @week@ is the sum of @weekday@ and @weekend@, \ie @week@ has all the enumerators from the set @weekday@ and @weekend@. 1323 1323 The sum type construction resembles containment inheritance from non-functional programming discipline, with the sum type being a wrapper class that contains one of its parent types. 1324 The wrapper is unwrapped with pattern matching :1324 The wrapper is unwrapped with pattern matching. 1325 1325 \begin{cquote} 1326 1326 \begin{tabular}{@{}ll@{}}
Note: See TracChangeset
for help on using the changeset viewer.