>>>
>>>> As the name suggests, a viewtype is just a view plus a type:
>>>>
>>>> Semantically, one can always assume the following meta-property:
>>>>
>>>> Given a viewtype VT, there exists a view V and a type T such that
54 AM UTC-4, August Alm wrote:
>>>
>>> Hi all!
>>>
>>> I just wrote down some sketchy thoughts on monads and comonads in ATS.
>>> ATS has a very unique type system, so there are (co)monads in ATS that
>>> simply do not exist in other languages. I'm wo
usion J: type -> viewtype given by
> wrapping in a dataviewtype (so
> datavtype J(a: type) = J of a) and one can regard C as a comonad relative
> to J.
>
>
> Den fredag 17 mars 2017 kl. 21:52:42 UTC+1 skrev Steinway Wu:
>>
>> Great note!
>>
>> On Thursd
type system, so there are (co)monads in ATS that simply
> do not exist in other languages. I'm wondering if this might be useful. See
> the attached and let me know if you have ideas.
>
> Best wishes,
> August
>
--
You received this message because you are subscribed to the Goog
0:54 AM UTC-4, August Alm wrote:
>>
>> Hi all!
>>
>> I just wrote down some sketchy thoughts on monads and comonads in ATS.
>> ATS has a very unique type system, so there are (co)monads in ATS that
>> simply do not exist in other languages. I'm wondering