Is the word "sort" overloaded as used in ATS?

I have some confusion still about the word "sort" and how it is used in ATS. on the one hand, in the sense of PTS a sort (as I understand it) is a syntactic category, so instead of just terms and types, a program can now have more "orthogonal" syntax structure, e.g. proofs on the other hand,

Re: Is the word "sort" overloaded as used in ATS?

On Tue, Mar 21, 2017 at 6:02 PM, spearman wrote: > https://spearman.github.io/ Your page is so great work for me! I think I found it at the start point learning ATS language! -- Kiwamu Okabe at METASEPI DESIGN -- You received this message because you are subscribed to

Re: (Co)monads in ATS

No. This has to be done in an unsafe manner as the linear view part is discarded. On Tue, Mar 21, 2017 at 9:28 AM, August Alm wrote: > Is there a standard way to get the underlying [VT?!] part of a term [x: > VT]?, i.e., some (polymorphic) function > > VT -> VT?! > > or

Re: Is the word "sort" overloaded as used in ATS?

It is new just created for this post :) I have only been learning ATS for one month On Tuesday, March 21, 2017 at 2:06:53 AM UTC-7, Kiwamu Okabe wrote: > > On Tue, Mar 21, 2017 at 6:02 PM, spearman > wrote: > > https://spearman.github.io/ > > Your page is so great work