Changes between Version 28 and Version 29 of FunctionalProgramming/Monad


Ignore:
Timestamp:
Dec 29, 2018, 4:45:01 PM (15 months ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FunctionalProgramming/Monad

    v28 v29  
    1212
    1313Just this, a ''Type'' and an ''Interface'' together. Type itself '''is not a Monad'''!. ''Interface'' itself '''is not a Monad'''. The ''type-class'' (''type-trait'') which includes an ''interface'' and ''type-constructors'' is. 
     14
     15The ''interface'' implements explicit strongly-typed transition for a ''lazy language'', which is ''implicit in a eager languages'' and corresponds to {{{;}}}. In a context of a strict (non-lazy) language this interface is an '''unnecessary wrapping''', similar to {{{if x then True else False}}}.
    1416
    1517Fucking this and only this.