Arend icon indicating copy to clipboard operation
Arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Dynamic definitions for `\data`

Open tonyxty opened this issue 3 years ago • 0 comments

Dynamic definitions for \data are useful just as member functions for enums are useful in Rust. For example, Haskell has modules like Data.List, Data.Maybe, Data.Either, while we can make them dynamic definitions of corresponding \data types. IMHO this will greatly simplify coding, as well as improve readability.

tonyxty avatar May 22 '21 19:05 tonyxty