from:"Artyom Shalkhakov"

On Tuesday, April 2, 2019 at 2:46:06 PM UTC+3, Matt Chelen wrote:
>
> Yeah, I had intended on creating some graphical apps. Or, at the very 
> least, I like that option to be open to me. I'd also like to be able to 
> stay on Windows, ideally, as that's where the rest of my development 
> environment is at the moment.
>
>
Matt, I'm sorry about that. The current Windows support is only through 
Cygwin. The C generated by patsopt is very minimal though, so it should be 
possible to provide at least a prelude so as to make the code portable to 
MinGW64. Last time I tried this I had some issues with the (a) 
setjmp/longjmp (used for exception handling), (b) some file I/O primitives 
in [filebas], (c) forking in patscc (since I was a bit too ambitious I 
wanted to port the whole compiler, not just the compiled programs -- now, 
patscc can be re-implemented instead in a bash script that would run under 
MSYS2 shell).

One other thing that might be problematic in such a port is that of build 
system: ATS1 and ATS2 by default use the "make" utility, so of course we'd 
need MSYS2 at the very least to make the build process portable (or we'd 
have to support some other alternative build system, such as SCons, -- it 
has been tried, it works, but it hasn't gained traction).

Please ping me if you're interested. Maybe we can work something out 
(especially that ATS3 is in the works, and we'll of course carry over the 
experience gained in this project).
 

> On Tue, Apr 2, 2019 at 7:33 AM Artyom Shalkhakov  > wrote:
>
>> вт, 2 апр. 2019 г. в 14:27, Matt Chelen 
>> >:
>>
>>> Alright, to test it out, I tried building Lazy Foo's fourth SDL 
>>> tutorial. It does not work, though that may be in part due to the fact that 
>>> Cygwin applications apparently expect that an X11 server will be available. 
>>> So I tested it in MSYS2's MinGW64 shell with the same compilation flags 
>>> (adjusted for differences in library locations); it works.
>>>
>>>
>> Interesting.
>>  
>>>
>>> Furthermore, I've discovered that, according to the SDL installation 
>>> page ( https://wiki.libsdl.org/Installation ), Cygwin is no longer 
>>> supported. Even if it did work, the reliance on an X11 server is fairly 
>>> frustrating. Disappointing results overall. I'll have to see how I want to 
>>> proceed. Ultimately, it would be nice if it compiled in MSYS2's MinGW64 
>>> shell, but alas.
>>>
>>>
>> Yes, under Cygwin the programs would have to rely in X11 anyways. I used 
>> such apps in the past, they are slow but they work (e.g. Emacs works).
>>
>> Compiling ATS2 programs in MinGW64 should be doable, but there are some 
>> parts of the prelude that depend on POSIX interfaces (the compiler itself 
>> could be just as useful as Cygwinized application; at least in the short 
>> term). Do you intend to do some graphics apps using ATS? I'd suggest 
>> switching to Linux or MacOS for now, if you can.
>>  
>>
>>> On Tue, Apr 2, 2019 at 7:00 AM Artyom Shalkhakov >> > wrote:
>>>
>>>> вт, 2 апр. 2019 г. в 13:08, Matt Chelen >>> >:
>>>>
>>>>> SDL2 does work in Cygwin. It even has its own environment-specific SDL 
>>>>> DLL. Additionally, I tried running it outside of Cygwin, using the 
>>>>> required 
>>>>> DLLs, and it failed on startup.
>>>>>
>>>>> I added the -I flag to test02 in the makefile and it is also erroring 
>>>>> on the first use of assertloc.
>>>>>
>>>>> However, test00 returns the SDL version as expected.
>>>>>
>>>>> According to GitHub, the SDL2 wrapper hasn't been updated in five 
>>>>> years. Is it possible that it (or the examples) just doesn't work 
>>>>> properly 
>>>>> anymore?
>>>>>
>>>>>
>>>> Well, it compiles to C. So I guess that if you can run a toy C program 
>>>> that initializes SDL2 video subsystem properly on Windows with Cygwin, 
>>>> then 
>>>> the corresponding ATS program should work just the same. Could you try 
>>>> that 
>>>> as well?
>>>>  
>>>>
>>>>> Simply to test if there was something weird going on with assertloc, I 
>>>>> tested this example ( 
>>>>> https://github.com/githwxi/ATS-Postiats/blob/6539444fe641f7fa493140bd9940e5acf00960e3/doc/EXAMPLE/INTRO/f91.dats
>>>>>  
>>>>> ) and it works

Re: Setting up ATS-Contrib

вт, 2 апр. 2019 г. в 14:27, Matt Chelen :

> Alright, to test it out, I tried building Lazy Foo's fourth SDL tutorial.
> It does not work, though that may be in part due to the fact that Cygwin
> applications apparently expect that an X11 server will be available. So I
> tested it in MSYS2's MinGW64 shell with the same compilation flags
> (adjusted for differences in library locations); it works.
>
>
Interesting.

>
> Furthermore, I've discovered that, according to the SDL installation page
> ( https://wiki.libsdl.org/Installation ), Cygwin is no longer supported.
> Even if it did work, the reliance on an X11 server is fairly frustrating.
> Disappointing results overall. I'll have to see how I want to proceed.
> Ultimately, it would be nice if it compiled in MSYS2's MinGW64 shell, but
> alas.
>
>
Yes, under Cygwin the programs would have to rely in X11 anyways. I used
such apps in the past, they are slow but they work (e.g. Emacs works).

Compiling ATS2 programs in MinGW64 should be doable, but there are some
parts of the prelude that depend on POSIX interfaces (the compiler itself
could be just as useful as Cygwinized application; at least in the short
term). Do you intend to do some graphics apps using ATS? I'd suggest
switching to Linux or MacOS for now, if you can.


> On Tue, Apr 2, 2019 at 7:00 AM Artyom Shalkhakov <
> artyom.shalkha...@gmail.com> wrote:
>
>> вт, 2 апр. 2019 г. в 13:08, Matt Chelen :
>>
>>> SDL2 does work in Cygwin. It even has its own environment-specific SDL
>>> DLL. Additionally, I tried running it outside of Cygwin, using the required
>>> DLLs, and it failed on startup.
>>>
>>> I added the -I flag to test02 in the makefile and it is also erroring on
>>> the first use of assertloc.
>>>
>>> However, test00 returns the SDL version as expected.
>>>
>>> According to GitHub, the SDL2 wrapper hasn't been updated in five years.
>>> Is it possible that it (or the examples) just doesn't work properly anymore?
>>>
>>>
>> Well, it compiles to C. So I guess that if you can run a toy C program
>> that initializes SDL2 video subsystem properly on Windows with Cygwin, then
>> the corresponding ATS program should work just the same. Could you try that
>> as well?
>>
>>
>>> Simply to test if there was something weird going on with assertloc, I
>>> tested this example (
>>> https://github.com/githwxi/ATS-Postiats/blob/6539444fe641f7fa493140bd9940e5acf00960e3/doc/EXAMPLE/INTRO/f91.dats
>>> ) and it works fine.
>>>
>>> If I set SDL_GetError() to a variable, it goes past it and errors at the
>>> first assertloc. If I try to print it directly, it won't let me;
>>> compilation fails. SDL_Log is unrecognized. I've yet to go through any of
>>> the ATS tutorial material (I was just trying to get all of this set up and
>>> working), so I'm unsure how to proceed.
>>>
>>> On Tue, Apr 2, 2019 at 5:08 AM Artyom Shalkhakov <
>>> artyom.shalkha...@gmail.com> wrote:
>>>
>>>> вт, 2 апр. 2019 г. в 12:02, Matt Chelen :
>>>>
>>>>> $ pkg-config sdl2 --cflags
>>>>>> -I/usr/include/SDL2 -D_REENTRANT
>>>>>>
>>>>>
>>>>> As a side-note, I passed the $PATSCONTRIB -I flag to the make command
>>>>> and it built test00 and test01, but test02 failed and test01 will not run,
>>>>> instead throwing an error on the first use of assertloc.
>>>>>
>>>>> /usr/local/lib/ats2-postiats-0.3.13/contrib/SDL2/test/test01.dats:
>>>>>> 311(line=25, offs=18) -- 331(line=25, offs=38)
>>>>>>
>>>>>
>>>>>
>>>> You use Windows and Cygwin, right? I'm wondering if SDL2 even works in
>>>> this setting? The assertion has to do with SDL_Init returning an error
>>>> code. Could you add a call to SDL_GetError() somewhere in there? As shown
>>>> here, basically:
>>>>
>>>> https://wiki.libsdl.org/SDL_Init
>>>>
>>>>
>>>>> test02 throws the same error as I had originally due to having
>>>>> different cflags, so I think I am going to have to edit the makefile to 
>>>>> get
>>>>> it to recognize the added -I flag.
>>>>>
>>>>> On Tue, Apr 2, 2019 at 4:57 AM Artyom Shalkhakov <
>>>>> artyom.shalkha...@gmail.com> wrote:
>>>>>
>>>>>> Matt,
>>>>>>
>>>>>&g

Re: Setting up ATS-Contrib

вт, 2 апр. 2019 г. в 13:08, Matt Chelen :

> SDL2 does work in Cygwin. It even has its own environment-specific SDL
> DLL. Additionally, I tried running it outside of Cygwin, using the required
> DLLs, and it failed on startup.
>
> I added the -I flag to test02 in the makefile and it is also erroring on
> the first use of assertloc.
>
> However, test00 returns the SDL version as expected.
>
> According to GitHub, the SDL2 wrapper hasn't been updated in five years.
> Is it possible that it (or the examples) just doesn't work properly anymore?
>
>
Well, it compiles to C. So I guess that if you can run a toy C program that
initializes SDL2 video subsystem properly on Windows with Cygwin, then the
corresponding ATS program should work just the same. Could you try that as
well?


> Simply to test if there was something weird going on with assertloc, I
> tested this example (
> https://github.com/githwxi/ATS-Postiats/blob/6539444fe641f7fa493140bd9940e5acf00960e3/doc/EXAMPLE/INTRO/f91.dats
> ) and it works fine.
>
> If I set SDL_GetError() to a variable, it goes past it and errors at the
> first assertloc. If I try to print it directly, it won't let me;
> compilation fails. SDL_Log is unrecognized. I've yet to go through any of
> the ATS tutorial material (I was just trying to get all of this set up and
> working), so I'm unsure how to proceed.
>
> On Tue, Apr 2, 2019 at 5:08 AM Artyom Shalkhakov <
> artyom.shalkha...@gmail.com> wrote:
>
>> вт, 2 апр. 2019 г. в 12:02, Matt Chelen :
>>
>>> $ pkg-config sdl2 --cflags
>>>> -I/usr/include/SDL2 -D_REENTRANT
>>>>
>>>
>>> As a side-note, I passed the $PATSCONTRIB -I flag to the make command
>>> and it built test00 and test01, but test02 failed and test01 will not run,
>>> instead throwing an error on the first use of assertloc.
>>>
>>> /usr/local/lib/ats2-postiats-0.3.13/contrib/SDL2/test/test01.dats:
>>>> 311(line=25, offs=18) -- 331(line=25, offs=38)
>>>>
>>>
>>>
>> You use Windows and Cygwin, right? I'm wondering if SDL2 even works in
>> this setting? The assertion has to do with SDL_Init returning an error
>> code. Could you add a call to SDL_GetError() somewhere in there? As shown
>> here, basically:
>>
>> https://wiki.libsdl.org/SDL_Init
>>
>>
>>> test02 throws the same error as I had originally due to having different
>>> cflags, so I think I am going to have to edit the makefile to get it to
>>> recognize the added -I flag.
>>>
>>> On Tue, Apr 2, 2019 at 4:57 AM Artyom Shalkhakov <
>>> artyom.shalkha...@gmail.com> wrote:
>>>
>>>> Matt,
>>>>
>>>> Indeed it's quite puzzling to me as well.
>>>>
>>>> вт, 2 апр. 2019 г. в 11:33, Matt Chelen :
>>>>
>>>>> Manually including the contrib folder with a -I flag seems to have
>>>>> worked (other than the SDL_GetVersion function causing an undefined
>>>>> reference error), but I'm still confused as to why it didn't just work. 
>>>>> The
>>>>> documentation basically states that the way I had it set up is a valid way
>>>>> to set up the contrib folder, whereas having to manually include the
>>>>> contrib folder says the opposite.
>>>>>
>>>>>
>>>> Could you tell me what the following command evaluates to in your
>>>> terminal:
>>>>
>>>> $ pkg-config sdl2 --cflags
>>>>
>>>> I picked it up from here:
>>>>
>>>>
>>>> https://github.com/githwxi/ATS-Postiats-contrib/blob/master/contrib/SDL2/TEST/Makefile
>>>>
>>>> Notice that in this makefile, CFLAGS are added to the C compiler so
>>>> that it can find SDL2. Maybe the makefile should also add an -I>>> of contrib/>.
>>>>
>>>> On Tue, Apr 2, 2019 at 4:23 AM Artyom Shalkhakov <
>>>>> artyom.shalkha...@gmail.com> wrote:
>>>>>
>>>>>> вт, 2 апр. 2019 г. в 11:19, Matt Chelen :
>>>>>>
>>>>>>> I just realized now that the file referenced in the comment is the
>>>>>>> SATS file and that I had misread it, but it should hold that, if it can
>>>>>>> find the SATS file, which is simply in a different subdirectory of
>>>>>>> contrib/SDL2, it should be able to find the CATS file, unless I am 
>>>>>>> mistaken
>>>>>>>

Re: Setting up ATS-Contrib

вт, 2 апр. 2019 г. в 12:02, Matt Chelen :

> $ pkg-config sdl2 --cflags
>> -I/usr/include/SDL2 -D_REENTRANT
>>
>
> As a side-note, I passed the $PATSCONTRIB -I flag to the make command and
> it built test00 and test01, but test02 failed and test01 will not run,
> instead throwing an error on the first use of assertloc.
>
> /usr/local/lib/ats2-postiats-0.3.13/contrib/SDL2/test/test01.dats:
>> 311(line=25, offs=18) -- 331(line=25, offs=38)
>>
>
>
You use Windows and Cygwin, right? I'm wondering if SDL2 even works in this
setting? The assertion has to do with SDL_Init returning an error code.
Could you add a call to SDL_GetError() somewhere in there? As shown here,
basically:

https://wiki.libsdl.org/SDL_Init


> test02 throws the same error as I had originally due to having different
> cflags, so I think I am going to have to edit the makefile to get it to
> recognize the added -I flag.
>
> On Tue, Apr 2, 2019 at 4:57 AM Artyom Shalkhakov <
> artyom.shalkha...@gmail.com> wrote:
>
>> Matt,
>>
>> Indeed it's quite puzzling to me as well.
>>
>> вт, 2 апр. 2019 г. в 11:33, Matt Chelen :
>>
>>> Manually including the contrib folder with a -I flag seems to have
>>> worked (other than the SDL_GetVersion function causing an undefined
>>> reference error), but I'm still confused as to why it didn't just work. The
>>> documentation basically states that the way I had it set up is a valid way
>>> to set up the contrib folder, whereas having to manually include the
>>> contrib folder says the opposite.
>>>
>>>
>> Could you tell me what the following command evaluates to in your
>> terminal:
>>
>> $ pkg-config sdl2 --cflags
>>
>> I picked it up from here:
>>
>>
>> https://github.com/githwxi/ATS-Postiats-contrib/blob/master/contrib/SDL2/TEST/Makefile
>>
>> Notice that in this makefile, CFLAGS are added to the C compiler so that
>> it can find SDL2. Maybe the makefile should also add an -I> contrib/>.
>>
>> On Tue, Apr 2, 2019 at 4:23 AM Artyom Shalkhakov <
>>> artyom.shalkha...@gmail.com> wrote:
>>>
>>>> вт, 2 апр. 2019 г. в 11:19, Matt Chelen :
>>>>
>>>>> I just realized now that the file referenced in the comment is the
>>>>> SATS file and that I had misread it, but it should hold that, if it can
>>>>> find the SATS file, which is simply in a different subdirectory of
>>>>> contrib/SDL2, it should be able to find the CATS file, unless I am 
>>>>> mistaken
>>>>> about how this is supposed to be set up.
>>>>>
>>>>>
>>>> Well, the #includes in .cats files are resolved by the underlying C
>>>> compiler, hence I think the issue is somehow in the C compiler (maybe it
>>>> needs another -I flag or some such?)
>>>>
>>>>
>>>>> On Tue, Apr 2, 2019 at 4:13 AM Matt Chelen 
>>>>> wrote:
>>>>>
>>>>>> My contrib folder is in $PATSHOME/contrib. I've tried setting both
>>>>>> the $PATSCONTRIB environment variable to both $PATSHOME, which I think 
>>>>>> the
>>>>>> documentation said to do (it is entirely possible that I misunderstood 
>>>>>> the
>>>>>> phrasing), and $PATSHOME/contrib, both with the same result.
>>>>>>
>>>>>> The SDL2 folder is in the contrib folder. It's just cloned from the
>>>>>> GitHub repo and copied in there. The examples that I'm trying to build 
>>>>>> are
>>>>>> in $PATSHOME/contrib/SDL2/TEST and the actual bindings are in
>>>>>> $PATSHOME/contrib/SDL2/CATS/SDL.cats.
>>>>>>
>>>>>> Here's the relevant part of the generated C file, showing that it has
>>>>>> the correct path to the file in question in the comment.
>>>>>>
>>>>>> /*
>>>>>> /usr/local/lib/ats2-postiats-0.3.13/contrib/SDL2/SATS/SDL.sats:
>>>>>> 899(line=29, offs=1) -- 941(line=33, offs=3)
>>>>>> */
>>>>>>
>>>>>> //
>>>>>> #include "SDL2/CATS/SDL.cats"
>>>>>>
>>>>>> What it looks like (to me) is that it's just not resolving properly.
>>>>>> None of the prelude ATS files that are included before that point are
>>>>>> throwing errors. Just that one. Manually changing the locat

Re: Setting up ATS-Contrib

Matt,

Indeed it's quite puzzling to me as well.

вт, 2 апр. 2019 г. в 11:33, Matt Chelen :

> Manually including the contrib folder with a -I flag seems to have worked
> (other than the SDL_GetVersion function causing an undefined reference
> error), but I'm still confused as to why it didn't just work. The
> documentation basically states that the way I had it set up is a valid way
> to set up the contrib folder, whereas having to manually include the
> contrib folder says the opposite.
>
>
Could you tell me what the following command evaluates to in your terminal:

$ pkg-config sdl2 --cflags

I picked it up from here:

https://github.com/githwxi/ATS-Postiats-contrib/blob/master/contrib/SDL2/TEST/Makefile

Notice that in this makefile, CFLAGS are added to the C compiler so that it
can find SDL2. Maybe the makefile should also add an -I.

On Tue, Apr 2, 2019 at 4:23 AM Artyom Shalkhakov <
> artyom.shalkha...@gmail.com> wrote:
>
>> вт, 2 апр. 2019 г. в 11:19, Matt Chelen :
>>
>>> I just realized now that the file referenced in the comment is the SATS
>>> file and that I had misread it, but it should hold that, if it can find the
>>> SATS file, which is simply in a different subdirectory of contrib/SDL2, it
>>> should be able to find the CATS file, unless I am mistaken about how this
>>> is supposed to be set up.
>>>
>>>
>> Well, the #includes in .cats files are resolved by the underlying C
>> compiler, hence I think the issue is somehow in the C compiler (maybe it
>> needs another -I flag or some such?)
>>
>>
>>> On Tue, Apr 2, 2019 at 4:13 AM Matt Chelen  wrote:
>>>
>>>> My contrib folder is in $PATSHOME/contrib. I've tried setting both the
>>>> $PATSCONTRIB environment variable to both $PATSHOME, which I think the
>>>> documentation said to do (it is entirely possible that I misunderstood the
>>>> phrasing), and $PATSHOME/contrib, both with the same result.
>>>>
>>>> The SDL2 folder is in the contrib folder. It's just cloned from the
>>>> GitHub repo and copied in there. The examples that I'm trying to build are
>>>> in $PATSHOME/contrib/SDL2/TEST and the actual bindings are in
>>>> $PATSHOME/contrib/SDL2/CATS/SDL.cats.
>>>>
>>>> Here's the relevant part of the generated C file, showing that it has
>>>> the correct path to the file in question in the comment.
>>>>
>>>> /*
>>>> /usr/local/lib/ats2-postiats-0.3.13/contrib/SDL2/SATS/SDL.sats:
>>>> 899(line=29, offs=1) -- 941(line=33, offs=3)
>>>> */
>>>>
>>>> //
>>>> #include "SDL2/CATS/SDL.cats"
>>>>
>>>> What it looks like (to me) is that it's just not resolving properly.
>>>> None of the prelude ATS files that are included before that point are
>>>> throwing errors. Just that one. Manually changing the location to
>>>> "contrib/SDL2/CATS/SDL.cats" allows patscc to get past the error, but I
>>>> then run into similar errors with the files that it includes. I'm just not
>>>> sure why it's not resolving properly. Adding contrib to the beginning is
>>>> required to get it to resolve even if I set $PATSCONTRIB to
>>>> $PATSHOME/contrib.
>>>>
>>>> Do you think it might work properly if I move $PATSCONTRIB somewhere
>>>> else or is something else going on?
>>>>
>>>> On Tuesday, April 2, 2019 at 3:07:05 AM UTC-4, Artyom Shalkhakov wrote:
>>>>>
>>>>> Hi Matt,
>>>>>
>>>>> On Monday, April 1, 2019 at 6:53:00 PM UTC+3, Matt Chelen wrote:
>>>>>>
>>>>>> I'm trying to get ATS-Contrib set up and I'm concerned that I don't
>>>>>> currently have it configured correctly. As per the documentation, I put 
>>>>>> the
>>>>>> "contrib" folder in $PATSHOME and set $PATSCONTRIB to $PATSHOME.
>>>>>>
>>>>>> The issue is that I tried compiling the SDL sample programs and,
>>>>>> while the ATS compiler compiles them just fine, I get errors like the
>>>>>> following from the resulting C source.
>>>>>>
>>>>>> $ make
>>>>>> "/usr/local/lib/ats2-postiats-0.3.13"/bin/patscc -I
>>>>>> "/usr/local/lib/ats2-postiats-0.3.13" -I
>>>>>> "/usr/local/lib/ats2-postiats-0.3.13"/ccomp/runtime  -D_GNU_SOURCE -I
>

Re: Setting up ATS-Contrib

вт, 2 апр. 2019 г. в 11:19, Matt Chelen :

> I just realized now that the file referenced in the comment is the SATS
> file and that I had misread it, but it should hold that, if it can find the
> SATS file, which is simply in a different subdirectory of contrib/SDL2, it
> should be able to find the CATS file, unless I am mistaken about how this
> is supposed to be set up.
>
>
Well, the #includes in .cats files are resolved by the underlying C
compiler, hence I think the issue is somehow in the C compiler (maybe it
needs another -I flag or some such?)


> On Tue, Apr 2, 2019 at 4:13 AM Matt Chelen  wrote:
>
>> My contrib folder is in $PATSHOME/contrib. I've tried setting both the
>> $PATSCONTRIB environment variable to both $PATSHOME, which I think the
>> documentation said to do (it is entirely possible that I misunderstood the
>> phrasing), and $PATSHOME/contrib, both with the same result.
>>
>> The SDL2 folder is in the contrib folder. It's just cloned from the
>> GitHub repo and copied in there. The examples that I'm trying to build are
>> in $PATSHOME/contrib/SDL2/TEST and the actual bindings are in
>> $PATSHOME/contrib/SDL2/CATS/SDL.cats.
>>
>> Here's the relevant part of the generated C file, showing that it has the
>> correct path to the file in question in the comment.
>>
>> /*
>> /usr/local/lib/ats2-postiats-0.3.13/contrib/SDL2/SATS/SDL.sats:
>> 899(line=29, offs=1) -- 941(line=33, offs=3)
>> */
>>
>> //
>> #include "SDL2/CATS/SDL.cats"
>>
>> What it looks like (to me) is that it's just not resolving properly. None
>> of the prelude ATS files that are included before that point are throwing
>> errors. Just that one. Manually changing the location to
>> "contrib/SDL2/CATS/SDL.cats" allows patscc to get past the error, but I
>> then run into similar errors with the files that it includes. I'm just not
>> sure why it's not resolving properly. Adding contrib to the beginning is
>> required to get it to resolve even if I set $PATSCONTRIB to
>> $PATSHOME/contrib.
>>
>> Do you think it might work properly if I move $PATSCONTRIB somewhere else
>> or is something else going on?
>>
>> On Tuesday, April 2, 2019 at 3:07:05 AM UTC-4, Artyom Shalkhakov wrote:
>>>
>>> Hi Matt,
>>>
>>> On Monday, April 1, 2019 at 6:53:00 PM UTC+3, Matt Chelen wrote:
>>>>
>>>> I'm trying to get ATS-Contrib set up and I'm concerned that I don't
>>>> currently have it configured correctly. As per the documentation, I put the
>>>> "contrib" folder in $PATSHOME and set $PATSCONTRIB to $PATSHOME.
>>>>
>>>> The issue is that I tried compiling the SDL sample programs and, while
>>>> the ATS compiler compiles them just fine, I get errors like the following
>>>> from the resulting C source.
>>>>
>>>> $ make
>>>> "/usr/local/lib/ats2-postiats-0.3.13"/bin/patscc -I
>>>> "/usr/local/lib/ats2-postiats-0.3.13" -I
>>>> "/usr/local/lib/ats2-postiats-0.3.13"/ccomp/runtime  -D_GNU_SOURCE -I/
>>>> usr/include/SDL2 -D_REENTRANT  -o test00 test00.dats -L
>>>> "/usr/local/lib/ats2-postiats-0.3.13"/ccomp/atslib/lib -latslib -lSDL2
>>>> test00_dats.c:82:10: fatal error: SDL2/CATS/SDL.cats: No such file or
>>>> directory
>>>>  #include "SDL2/CATS/SDL.cats"
>>>>   ^~~~
>>>> compilation terminated.
>>>> make: *** [Makefile:41: test00] Error 1
>>>>
>>>> The same thing happens if I set $PATSCONTRIB to $PATSHOME/contrib. Did
>>>> I set something up incorrectly? Is this a problem with the library? Is this
>>>> a Cygwin issue?
>>>>
>>>
>>> Could you check what is in those -I directories? In particular, where
>>> are the SDL2/CATS/SDL.cats files located, and what is your $PATSCONTRIB,
>>> does it have an SDL2 subdirectory?
>>>
>>>
>>>> Thanks in advance.
>>>>
>>> --
>> You received this message because you are subscribed to the Google Groups
>> "ats-lang-users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to ats-lang-users+unsubscr...@googlegroups.com.
>> To post to this group, send email to ats-lang-users@googlegroups.com.
>> Visit this group at https://groups.google.com/group/ats-lang-users.
>> To view this discussion on the web visit
>> https://group

Re: Setting up ATS-Contrib

Hi Matt,

On Monday, April 1, 2019 at 6:53:00 PM UTC+3, Matt Chelen wrote:
>
> I'm trying to get ATS-Contrib set up and I'm concerned that I don't 
> currently have it configured correctly. As per the documentation, I put the 
> "contrib" folder in $PATSHOME and set $PATSCONTRIB to $PATSHOME.
>
> The issue is that I tried compiling the SDL sample programs and, while the 
> ATS compiler compiles them just fine, I get errors like the following from 
> the resulting C source.
>
> $ make
> "/usr/local/lib/ats2-postiats-0.3.13"/bin/patscc -I
> "/usr/local/lib/ats2-postiats-0.3.13" -I
> "/usr/local/lib/ats2-postiats-0.3.13"/ccomp/runtime  -D_GNU_SOURCE -I/usr/
> include/SDL2 -D_REENTRANT  -o test00 test00.dats -L
> "/usr/local/lib/ats2-postiats-0.3.13"/ccomp/atslib/lib -latslib -lSDL2
> test00_dats.c:82:10: fatal error: SDL2/CATS/SDL.cats: No such file or 
> directory
>  #include "SDL2/CATS/SDL.cats"
>   ^~~~
> compilation terminated.
> make: *** [Makefile:41: test00] Error 1
>
> The same thing happens if I set $PATSCONTRIB to $PATSHOME/contrib. Did I 
> set something up incorrectly? Is this a problem with the library? Is this a 
> Cygwin issue?
>

Could you check what is in those -I directories? In particular, where are 
the SDL2/CATS/SDL.cats files located, and what is your $PATSCONTRIB, does 
it have an SDL2 subdirectory?
 

> Thanks in advance.
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/d0bf3b79-e8c8-4ae1-b690-6fe926fb5821%40googlegroups.com.

libatscc: packaging

2019-04-01 Thread Artyom Shalkhakov

Hi all,

I've started work on improving atscc2js yesterday and found that we have 
three similar projects:

   1. https://github.com/steinwaywhw/ATS-Python3
   2. https://github.com/bakpakin/ats-lua
   3. https://github.com/sazl/ats-go
   4. and the in-progress atscc2js
   
Every target programming language comes with its own "prelude" (e.g. 
libatscc2js for JS), but such preludes essentially implement the interfaces 
defined in libatscc.

Now I'm thinking that we need to package up the interface and keep it as 
uniform as possible across the different targets, so that programmers may 
hopefully share more code between platforms with little issues (or no issue 
at all).

With the above in mind, I propose to:

   1. package up libatscc somehow, e.g. put it on NPM (I'm working on this, 
   it will require only minimal changes to the existing code)
   2. come up with some process to maintain this 'specification' (maybe 
   create a github organization and put this library into a repository; let 
   people use issues and PRs to propose changes)
   
Is anybody interested? If not I'll just go with the first point, and the 
specification will live on in the ATS-Postiats repository (for now).

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/969970ce-8851-425f-84fb-93cd6414de34%40googlegroups.com.

Re: Referential transparency in ATS

On Tuesday, March 26, 2019 at 5:14:34 PM UTC+2, gmhwxi wrote:
>
> Boxing is removed:
>
> https://pastebin.com/JacNgK2t
>
> Some hacks are used to make it work...
>
>
This is awesome. Now we don't need to allocate every time we call a 'read' 
function. :)

Thanks! I've updated my gist with this and a note.
 

>
>
> On Tue, Mar 26, 2019 at 10:14 AM Hongwei Xi  > wrote:
>
>> >>Did you mean to use vtype in {a,b:vtype} here? Or not?
>>
>> Typo: vtype should be vt@ype. 
>>
>> On Tue, Mar 26, 2019 at 10:12 AM Artyom Shalkhakov > > wrote:
>>
>>> On Tuesday, March 26, 2019 at 4:07:38 PM UTC+2, gmhwxi wrote:
>>>>
>>>> A "standard" solution is to use call-by-reference:
>>>>
>>>> extern
>>>> fun
>>>> runCommand
>>>> {a:vt@ype}
>>>> (c:Command(a:vt@ype), &a? >> a): void
>>>>
>>>>
>>> I think we covered this a few months back when Chris asked about it. 
>>> This finally reminded me of that discussion.
>>>  
>>>
>>>> datavtype
>>>> Command(vt@ype) =
>>>>   | Nop(unit)
>>>>   | Read(string)
>>>>   | Print(unit) of string
>>>>   | Seq(unit) of (Command(unit), Command(unit))
>>>>   | {a,b:vtype} Bind(b) of (Command(a), a?, (&a >> a?) - 
>>>> Command(b))
>>>>
>>>  
>>> Did you mean to use vtype in {a,b:vtype} here? Or not?
>>>  
>>>
>>>> This is a bit more involved but only an implementer like you (not user) 
>>>> needs to deal with it :)
>>>>
>>>
>>> Hmmm. A sane approach to dependent types is when the user needs none of 
>>> dependent types to get things going. :)
>>>  
>>>
>>>>  
>>>>
>>>
>>>> On Tue, Mar 26, 2019 at 10:01 AM Artyom Shalkhakov <
>>>> artyom.s...@gmail.com> wrote:
>>>>
>>>>> On Tuesday, March 26, 2019 at 3:55:47 PM UTC+2, gmhwxi wrote:
>>>>>>
>>>>>> >> Now, what about boxing, can we do something with boxing?
>>>>>>
>>>>>> Do you mean that you want to have 'a:t@ype' instead of 'a:type'?
>>>>>>
>>>>>>
>>>>> Yes. I think any use of 'bind' is highly discouraged if we have 
>>>>> 'a:type' restriction (e.g. want to return an int from an effectful 
>>>>> function 
>>>>> -- sure, but use heap for that...).
>>>>>  
>>>>>
>>>>>> On Tue, Mar 26, 2019 at 9:36 AM Artyom Shalkhakov <
>>>>>> artyom.s...@gmail.com> wrote:
>>>>>>
>>>>>>> Hi Hongwei,
>>>>>>>
>>>>>>> On Tuesday, March 26, 2019 at 3:22:41 PM UTC+2, gmhwxi wrote:
>>>>>>>>
>>>>>>>> Here is a linear version:
>>>>>>>>
>>>>>>>> https://pastebin.com/sqXcRhnf
>>>>>>>>
>>>>>>>> Also, Command is a linear datatype (i.e., dataviewtype).
>>>>>>>>
>>>>>>>>
>>>>>>> Great! Now, what about boxing, can we do something with boxing? I 
>>>>>>> expect such code, if it's really used in practice, to involve LOTS of 
>>>>>>> these 
>>>>>>> little objects. So it will probably behave badly if every call to a 
>>>>>>> continuation involves a heap allocation... Let us be a bit more 
>>>>>>> resource-conscious, please. :)
>>>>>>>
>>>>>>> I did a similar example a while back where I used some CPS style to 
>>>>>>> get rid of boxing:
>>>>>>>
>>>>>>> https://github.com/ashalkhakov/tfc/blob/master/src/SATS/cont.sats
>>>>>>>
>>>>>>> Basically we can 'co-opt' the ATS compiler to do all the plumbing. 
>>>>>>> The closure call and its packing is non-uniform but the closure itself 
>>>>>>> is 
>>>>>>> uniform in size, since it's a pointer to the heap:
>>>>>>>
>>>>>>> https://github.com/ashalkhakov/tfc/blob/master/test/threads.dats
>>>>>>>
>>>>>>> To call a continuation, the return type must be statically kn

Re: Referential transparency in ATS

On Tuesday, March 26, 2019 at 4:07:38 PM UTC+2, gmhwxi wrote:
>
> A "standard" solution is to use call-by-reference:
>
> extern
> fun
> runCommand
> {a:vt@ype}
> (c:Command(a:vt@ype), &a? >> a): void
>
>
I think we covered this a few months back when Chris asked about it. This 
finally reminded me of that discussion.
 

> datavtype
> Command(vt@ype) =
>   | Nop(unit)
>   | Read(string)
>   | Print(unit) of string
>   | Seq(unit) of (Command(unit), Command(unit))
>   | {a,b:vtype} Bind(b) of (Command(a), a?, (&a >> a?) - 
> Command(b))
>
 
Did you mean to use vtype in {a,b:vtype} here? Or not?
 

> This is a bit more involved but only an implementer like you (not user) 
> needs to deal with it :)
>

Hmmm. A sane approach to dependent types is when the user needs none of 
dependent types to get things going. :)
 

>  
>

> On Tue, Mar 26, 2019 at 10:01 AM Artyom Shalkhakov  > wrote:
>
>> On Tuesday, March 26, 2019 at 3:55:47 PM UTC+2, gmhwxi wrote:
>>>
>>> >> Now, what about boxing, can we do something with boxing?
>>>
>>> Do you mean that you want to have 'a:t@ype' instead of 'a:type'?
>>>
>>>
>> Yes. I think any use of 'bind' is highly discouraged if we have 'a:type' 
>> restriction (e.g. want to return an int from an effectful function -- sure, 
>> but use heap for that...).
>>  
>>
>>> On Tue, Mar 26, 2019 at 9:36 AM Artyom Shalkhakov  
>>> wrote:
>>>
>>>> Hi Hongwei,
>>>>
>>>> On Tuesday, March 26, 2019 at 3:22:41 PM UTC+2, gmhwxi wrote:
>>>>>
>>>>> Here is a linear version:
>>>>>
>>>>> https://pastebin.com/sqXcRhnf
>>>>>
>>>>> Also, Command is a linear datatype (i.e., dataviewtype).
>>>>>
>>>>>
>>>> Great! Now, what about boxing, can we do something with boxing? I 
>>>> expect such code, if it's really used in practice, to involve LOTS of 
>>>> these 
>>>> little objects. So it will probably behave badly if every call to a 
>>>> continuation involves a heap allocation... Let us be a bit more 
>>>> resource-conscious, please. :)
>>>>
>>>> I did a similar example a while back where I used some CPS style to get 
>>>> rid of boxing:
>>>>
>>>> https://github.com/ashalkhakov/tfc/blob/master/src/SATS/cont.sats
>>>>
>>>> Basically we can 'co-opt' the ATS compiler to do all the plumbing. The 
>>>> closure call and its packing is non-uniform but the closure itself is 
>>>> uniform in size, since it's a pointer to the heap:
>>>>
>>>> https://github.com/ashalkhakov/tfc/blob/master/test/threads.dats
>>>>
>>>> To call a continuation, the return type must be statically known (at 
>>>> both the callee side and the caller side).
>>>>
>>>> So maybe we can do something similar here?
>>>>  
>>>>>
>>>>>
>>>>> On Tue, Mar 26, 2019 at 9:02 AM Hongwei Xi  wrote:
>>>>>
>>>>>> Nice!
>>>>>>
>>>>>> But I am very surprised that this code actually works.
>>>>>> My understanding is that It works because of a bug in patsopt :)
>>>>>>
>>>>>> Basically, runCommand should be implemented as a polymorphic function 
>>>>>> (instead of a function
>>>>>> template). And 'a:t0ype' should be 'a:type'.
>>>>>>
>>>>>> fun runCommand: {a:type} Command(a) -> a
>>>>>>
>>>>>> Actually, I think that Command should be a linear type, which should 
>>>>>> you more fun!
>>>>>>
>>>>>> On Tue, Mar 26, 2019 at 5:49 AM Artyom Shalkhakov <
>>>>>> artyom.s...@gmail.com> wrote:
>>>>>>
>>>>>>> I've made a gist:
>>>>>>>
>>>>>>> https://gist.github.com/ashalkhakov/c3577e97b20020fde31f84447fd1e056
>>>>>>>
>>>>>>> It actually works. It illustrates the basics (sequencing, bind, 
>>>>>>> input and output). Nice. It doesn't have Haskell's "return" though, but 
>>>>>>> that is pretty simple to add (it's something that "creates" IO where 
>>>>>>> there 
>>>>

Re: Referential transparency in ATS

On Tuesday, March 26, 2019 at 3:55:47 PM UTC+2, gmhwxi wrote:
>
> >> Now, what about boxing, can we do something with boxing?
>
> Do you mean that you want to have 'a:t@ype' instead of 'a:type'?
>
>
Yes. I think any use of 'bind' is highly discouraged if we have 'a:type' 
restriction (e.g. want to return an int from an effectful function -- sure, 
but use heap for that...).
 

> On Tue, Mar 26, 2019 at 9:36 AM Artyom Shalkhakov  > wrote:
>
>> Hi Hongwei,
>>
>> On Tuesday, March 26, 2019 at 3:22:41 PM UTC+2, gmhwxi wrote:
>>>
>>> Here is a linear version:
>>>
>>> https://pastebin.com/sqXcRhnf
>>>
>>> Also, Command is a linear datatype (i.e., dataviewtype).
>>>
>>>
>> Great! Now, what about boxing, can we do something with boxing? I expect 
>> such code, if it's really used in practice, to involve LOTS of these little 
>> objects. So it will probably behave badly if every call to a continuation 
>> involves a heap allocation... Let us be a bit more resource-conscious, 
>> please. :)
>>
>> I did a similar example a while back where I used some CPS style to get 
>> rid of boxing:
>>
>> https://github.com/ashalkhakov/tfc/blob/master/src/SATS/cont.sats
>>
>> Basically we can 'co-opt' the ATS compiler to do all the plumbing. The 
>> closure call and its packing is non-uniform but the closure itself is 
>> uniform in size, since it's a pointer to the heap:
>>
>> https://github.com/ashalkhakov/tfc/blob/master/test/threads.dats
>>
>> To call a continuation, the return type must be statically known (at both 
>> the callee side and the caller side).
>>
>> So maybe we can do something similar here?
>>  
>>>
>>>
>>> On Tue, Mar 26, 2019 at 9:02 AM Hongwei Xi  wrote:
>>>
>>>> Nice!
>>>>
>>>> But I am very surprised that this code actually works.
>>>> My understanding is that It works because of a bug in patsopt :)
>>>>
>>>> Basically, runCommand should be implemented as a polymorphic function 
>>>> (instead of a function
>>>> template). And 'a:t0ype' should be 'a:type'.
>>>>
>>>> fun runCommand: {a:type} Command(a) -> a
>>>>
>>>> Actually, I think that Command should be a linear type, which should 
>>>> you more fun!
>>>>
>>>> On Tue, Mar 26, 2019 at 5:49 AM Artyom Shalkhakov <
>>>> artyom.s...@gmail.com> wrote:
>>>>
>>>>> I've made a gist:
>>>>>
>>>>> https://gist.github.com/ashalkhakov/c3577e97b20020fde31f84447fd1e056
>>>>>
>>>>> It actually works. It illustrates the basics (sequencing, bind, input 
>>>>> and output). Nice. It doesn't have Haskell's "return" though, but that is 
>>>>> pretty simple to add (it's something that "creates" IO where there is no 
>>>>> IO 
>>>>> at all...).
>>>>>
>>>>> The interpreter is using a continuation in the end. I chose this style 
>>>>> because the closure-function (i.e. our continuation) can be passed around 
>>>>> freely, whereas with a flat unboxed type it is sometimes difficult for 
>>>>> the 
>>>>> C compiler to figure out the size of the variable.
>>>>>
>>>>> On Tuesday, March 26, 2019 at 10:11:11 AM UTC+2, Artyom Shalkhakov 
>>>>> wrote:
>>>>>
>>>>>> Hi Brandon,
>>>>>>
>>>>>> On Friday, March 22, 2019 at 8:49:29 PM UTC+2, Brandon Barker wrote:
>>>>>>>
>>>>>>> Hey Artyom,
>>>>>>>
>>>>>>> Thanks for the very interesting analysis and response.
>>>>>>>
>>>>>>>
>>>>>> Glad you found it useful!
>>>>>>
>>>>>> On Fri, Mar 22, 2019 at 4:06 AM Artyom Shalkhakov <
>>>>>>> artyom.s...@gmail.com> wrote:
>>>>>>>
>>>>>>>> Hi Brandon,
>>>>>>>>
>>>>>>>> This is a very lively discussion, thanks for bringing it up.
>>>>>>>>
>>>>>>>> On Friday, March 22, 2019 at 5:48:07 AM UTC+2, Brandon Barker wrote:
>>>>>>>>>
>>>>>>>>> And for what it'

Re: Referential transparency in ATS

On Tuesday, March 26, 2019 at 3:02:42 PM UTC+2, gmhwxi wrote:
>
> Nice!
>
> But I am very surprised that this code actually works.
> My understanding is that It works because of a bug in patsopt :)
>
>
May I suggest this bug to be classified as a feature. :)

Basically, runCommand should be implemented as a polymorphic function 
> (instead of a function
> template). And 'a:t0ype' should be 'a:type'.
>
> fun runCommand: {a:type} Command(a) -> a
>
> Actually, I think that Command should be a linear type, which should you 
> more fun!
>
> On Tue, Mar 26, 2019 at 5:49 AM Artyom Shalkhakov  > wrote:
>
>> I've made a gist:
>>
>> https://gist.github.com/ashalkhakov/c3577e97b20020fde31f84447fd1e056
>>
>> It actually works. It illustrates the basics (sequencing, bind, input and 
>> output). Nice. It doesn't have Haskell's "return" though, but that is 
>> pretty simple to add (it's something that "creates" IO where there is no IO 
>> at all...).
>>
>> The interpreter is using a continuation in the end. I chose this style 
>> because the closure-function (i.e. our continuation) can be passed around 
>> freely, whereas with a flat unboxed type it is sometimes difficult for the 
>> C compiler to figure out the size of the variable.
>>
>> On Tuesday, March 26, 2019 at 10:11:11 AM UTC+2, Artyom Shalkhakov wrote:
>>
>>> Hi Brandon,
>>>
>>> On Friday, March 22, 2019 at 8:49:29 PM UTC+2, Brandon Barker wrote:
>>>>
>>>> Hey Artyom,
>>>>
>>>> Thanks for the very interesting analysis and response.
>>>>
>>>>
>>> Glad you found it useful!
>>>
>>> On Fri, Mar 22, 2019 at 4:06 AM Artyom Shalkhakov  
>>>> wrote:
>>>>
>>>>> Hi Brandon,
>>>>>
>>>>> This is a very lively discussion, thanks for bringing it up.
>>>>>
>>>>> On Friday, March 22, 2019 at 5:48:07 AM UTC+2, Brandon Barker wrote:
>>>>>>
>>>>>> And for what it's worth, here is an Idris program for haha using 
>>>>>> Effects:
>>>>>>
>>>>>> module Main
>>>>>>
>>>>>>
>>>>>> import Effects
>>>>>> import Effect.StdIO
>>>>>>
>>>>>>
>>>>>> hello : Eff () [STDIO]
>>>>>> hello = let ha = StdIO.putStr "ha" in ha *> ha
>>>>>>
>>>>>>
>>>>>> main : IO ()
>>>>>> main = run hello
>>>>>>
>>>>>>
>>>>>>
>>>>>> It prints "ha" twice, despite being a strict language. I presume, but 
>>>>>> am not sure, this is because the effect time requires it to be 
>>>>>> re-evaluated 
>>>>>> each time.
>>>>>>
>>>>>>
>>>>>>
>>>>> Well, the type of "hello" says that the computation will use the STDIO 
>>>>> effect as many times as is necessary. The way the computation is 
>>>>> constructed, it is meant to issue commands in a given sequence.
>>>>>
>>>>> One peculiarity of PureScript is that of handling effects via the 
>>>>> algebraic effects approach. It's not easy to do in a high-performance 
>>>>> way, 
>>>>> because you need a call/cc construct present in the language, and 
>>>>> moreover 
>>>>> a 'multi-shot' one at that (i.e. the continuation *may* be invoked zero, 
>>>>> once or more times by the effect interpreter). In ATS a simpler way is to 
>>>>> use template functions to define effects differently (e.g. during testing 
>>>>> and during the actual execution) -- it's constrained compared to the 
>>>>> call/cc for sure, but then you don't have to pay the price of the call/cc 
>>>>> plumbing. Another thing about PureScript is that it uses row types to 
>>>>> track 
>>>>> the set of effects that a given Eff computation may involve during its 
>>>>> evaluation.
>>>>>
>>>>
>>>> Not that it will invalidate anything you just said, but the above code 
>>>> was Idris, but they may be similar in this regard (not sure). I need to 
>>>> look into call/cc more at some point - not very familiar with this idea. 
>>&

Re: Referential transparency in ATS

Hi Hongwei,

On Tuesday, March 26, 2019 at 3:22:41 PM UTC+2, gmhwxi wrote:
>
> Here is a linear version:
>
> https://pastebin.com/sqXcRhnf
>
> Also, Command is a linear datatype (i.e., dataviewtype).
>
>
Great! Now, what about boxing, can we do something with boxing? I expect 
such code, if it's really used in practice, to involve LOTS of these little 
objects. So it will probably behave badly if every call to a continuation 
involves a heap allocation... Let us be a bit more resource-conscious, 
please. :)

I did a similar example a while back where I used some CPS style to get rid 
of boxing:

https://github.com/ashalkhakov/tfc/blob/master/src/SATS/cont.sats

Basically we can 'co-opt' the ATS compiler to do all the plumbing. The 
closure call and its packing is non-uniform but the closure itself is 
uniform in size, since it's a pointer to the heap:

https://github.com/ashalkhakov/tfc/blob/master/test/threads.dats

To call a continuation, the return type must be statically known (at both 
the callee side and the caller side).

So maybe we can do something similar here?
 
>
>
> On Tue, Mar 26, 2019 at 9:02 AM Hongwei Xi > 
> wrote:
>
>> Nice!
>>
>> But I am very surprised that this code actually works.
>> My understanding is that It works because of a bug in patsopt :)
>>
>> Basically, runCommand should be implemented as a polymorphic function 
>> (instead of a function
>> template). And 'a:t0ype' should be 'a:type'.
>>
>> fun runCommand: {a:type} Command(a) -> a
>>
>> Actually, I think that Command should be a linear type, which should you 
>> more fun!
>>
>> On Tue, Mar 26, 2019 at 5:49 AM Artyom Shalkhakov > > wrote:
>>
>>> I've made a gist:
>>>
>>> https://gist.github.com/ashalkhakov/c3577e97b20020fde31f84447fd1e056
>>>
>>> It actually works. It illustrates the basics (sequencing, bind, input 
>>> and output). Nice. It doesn't have Haskell's "return" though, but that is 
>>> pretty simple to add (it's something that "creates" IO where there is no IO 
>>> at all...).
>>>
>>> The interpreter is using a continuation in the end. I chose this style 
>>> because the closure-function (i.e. our continuation) can be passed around 
>>> freely, whereas with a flat unboxed type it is sometimes difficult for the 
>>> C compiler to figure out the size of the variable.
>>>
>>> On Tuesday, March 26, 2019 at 10:11:11 AM UTC+2, Artyom Shalkhakov wrote:
>>>
>>>> Hi Brandon,
>>>>
>>>> On Friday, March 22, 2019 at 8:49:29 PM UTC+2, Brandon Barker wrote:
>>>>>
>>>>> Hey Artyom,
>>>>>
>>>>> Thanks for the very interesting analysis and response.
>>>>>
>>>>>
>>>> Glad you found it useful!
>>>>
>>>> On Fri, Mar 22, 2019 at 4:06 AM Artyom Shalkhakov <
>>>>> artyom.s...@gmail.com> wrote:
>>>>>
>>>>>> Hi Brandon,
>>>>>>
>>>>>> This is a very lively discussion, thanks for bringing it up.
>>>>>>
>>>>>> On Friday, March 22, 2019 at 5:48:07 AM UTC+2, Brandon Barker wrote:
>>>>>>>
>>>>>>> And for what it's worth, here is an Idris program for haha using 
>>>>>>> Effects:
>>>>>>>
>>>>>>> module Main
>>>>>>>
>>>>>>>
>>>>>>> import Effects
>>>>>>> import Effect.StdIO
>>>>>>>
>>>>>>>
>>>>>>> hello : Eff () [STDIO]
>>>>>>> hello = let ha = StdIO.putStr "ha" in ha *> ha
>>>>>>>
>>>>>>>
>>>>>>> main : IO ()
>>>>>>> main = run hello
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> It prints "ha" twice, despite being a strict language. I presume, 
>>>>>>> but am not sure, this is because the effect time requires it to be 
>>>>>>> re-evaluated each time.
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>> Well, the type of "hello" says that the computation will use the 
>>>>>> STDIO effect as many times as is necessary. The way the computation is 
>>>>>> constructed, it is meant to issue commands in a

Re: Referential transparency in ATS

I've made a gist:

https://gist.github.com/ashalkhakov/c3577e97b20020fde31f84447fd1e056

It actually works. It illustrates the basics (sequencing, bind, input and 
output). Nice. It doesn't have Haskell's "return" though, but that is 
pretty simple to add (it's something that "creates" IO where there is no IO 
at all...).

The interpreter is using a continuation in the end. I chose this style 
because the closure-function (i.e. our continuation) can be passed around 
freely, whereas with a flat unboxed type it is sometimes difficult for the 
C compiler to figure out the size of the variable.

On Tuesday, March 26, 2019 at 10:11:11 AM UTC+2, Artyom Shalkhakov wrote:

> Hi Brandon,
>
> On Friday, March 22, 2019 at 8:49:29 PM UTC+2, Brandon Barker wrote:
>>
>> Hey Artyom,
>>
>> Thanks for the very interesting analysis and response.
>>
>>
> Glad you found it useful!
>
> On Fri, Mar 22, 2019 at 4:06 AM Artyom Shalkhakov  
>> wrote:
>>
>>> Hi Brandon,
>>>
>>> This is a very lively discussion, thanks for bringing it up.
>>>
>>> On Friday, March 22, 2019 at 5:48:07 AM UTC+2, Brandon Barker wrote:
>>>>
>>>> And for what it's worth, here is an Idris program for haha using 
>>>> Effects:
>>>>
>>>> module Main
>>>>
>>>>
>>>> import Effects
>>>> import Effect.StdIO
>>>>
>>>>
>>>> hello : Eff () [STDIO]
>>>> hello = let ha = StdIO.putStr "ha" in ha *> ha
>>>>
>>>>
>>>> main : IO ()
>>>> main = run hello
>>>>
>>>>
>>>>
>>>> It prints "ha" twice, despite being a strict language. I presume, but 
>>>> am not sure, this is because the effect time requires it to be 
>>>> re-evaluated 
>>>> each time.
>>>>
>>>>
>>>>
>>> Well, the type of "hello" says that the computation will use the STDIO 
>>> effect as many times as is necessary. The way the computation is 
>>> constructed, it is meant to issue commands in a given sequence.
>>>
>>> One peculiarity of PureScript is that of handling effects via the 
>>> algebraic effects approach. It's not easy to do in a high-performance way, 
>>> because you need a call/cc construct present in the language, and moreover 
>>> a 'multi-shot' one at that (i.e. the continuation *may* be invoked zero, 
>>> once or more times by the effect interpreter). In ATS a simpler way is to 
>>> use template functions to define effects differently (e.g. during testing 
>>> and during the actual execution) -- it's constrained compared to the 
>>> call/cc for sure, but then you don't have to pay the price of the call/cc 
>>> plumbing. Another thing about PureScript is that it uses row types to track 
>>> the set of effects that a given Eff computation may involve during its 
>>> evaluation.
>>>
>>
>> Not that it will invalidate anything you just said, but the above code 
>> was Idris, but they may be similar in this regard (not sure). I need to 
>> look into call/cc more at some point - not very familiar with this idea. 
>> But I like where you are going with templates in ATS!
>>
>
>
> Haha, right! I mixed them up. I do remember reading about effects in both 
> languages! And I think they are pretty similar, except in Idris, you have a 
> type-level list of effects, whereas in PureScript, it is instead a row of 
> effects. So, pretty similar from the POV of using it. I think. :)
>  
>
>>
>>> So in short, if we view the programs as creating commands, and then some 
>>> kind of external interpreter that executes them, then it all matches up. 
>>> The programs might be quite pure and non-side-effecting (except for 
>>> non-termination aka infinite looping runtime exceptions), the interpreter 
>>> will perform the effects. Here's a pseudocode for the interpreter:
>>>
>>> // the command sub-language
>>> datatype Command = Print of string | Nop | Seq of (command, command)
>>> extern
>>> fun runCommand (c:Command): void
>>> extern
>>> fun seq (c:Command, Command): Command
>>> extern
>>> fun cprint (s:string): Command
>>> implement
>>> seq (c1, c2) = Seq (c1, c2)
>>> implement
>>> cprint (s) = Print s
>>> // the interpreter itself
>>> implement
>>> runCommand (c) = case+ c of Nop => (*d

Re: Referential transparency in ATS

Hi Brandon,

On Friday, March 22, 2019 at 8:49:29 PM UTC+2, Brandon Barker wrote:
>
> Hey Artyom,
>
> Thanks for the very interesting analysis and response.
>
>
Glad you found it useful!

On Fri, Mar 22, 2019 at 4:06 AM Artyom Shalkhakov  > wrote:
>
>> Hi Brandon,
>>
>> This is a very lively discussion, thanks for bringing it up.
>>
>> On Friday, March 22, 2019 at 5:48:07 AM UTC+2, Brandon Barker wrote:
>>>
>>> And for what it's worth, here is an Idris program for haha using Effects:
>>>
>>> module Main
>>>
>>>
>>> import Effects
>>> import Effect.StdIO
>>>
>>>
>>> hello : Eff () [STDIO]
>>> hello = let ha = StdIO.putStr "ha" in ha *> ha
>>>
>>>
>>> main : IO ()
>>> main = run hello
>>>
>>>
>>>
>>> It prints "ha" twice, despite being a strict language. I presume, but am 
>>> not sure, this is because the effect time requires it to be re-evaluated 
>>> each time.
>>>
>>>
>>>
>> Well, the type of "hello" says that the computation will use the STDIO 
>> effect as many times as is necessary. The way the computation is 
>> constructed, it is meant to issue commands in a given sequence.
>>
>> One peculiarity of PureScript is that of handling effects via the 
>> algebraic effects approach. It's not easy to do in a high-performance way, 
>> because you need a call/cc construct present in the language, and moreover 
>> a 'multi-shot' one at that (i.e. the continuation *may* be invoked zero, 
>> once or more times by the effect interpreter). In ATS a simpler way is to 
>> use template functions to define effects differently (e.g. during testing 
>> and during the actual execution) -- it's constrained compared to the 
>> call/cc for sure, but then you don't have to pay the price of the call/cc 
>> plumbing. Another thing about PureScript is that it uses row types to track 
>> the set of effects that a given Eff computation may involve during its 
>> evaluation.
>>
>
> Not that it will invalidate anything you just said, but the above code was 
> Idris, but they may be similar in this regard (not sure). I need to look 
> into call/cc more at some point - not very familiar with this idea. But I 
> like where you are going with templates in ATS!
>


Haha, right! I mixed them up. I do remember reading about effects in both 
languages! And I think they are pretty similar, except in Idris, you have a 
type-level list of effects, whereas in PureScript, it is instead a row of 
effects. So, pretty similar from the POV of using it. I think. :)
 

>
>> So in short, if we view the programs as creating commands, and then some 
>> kind of external interpreter that executes them, then it all matches up. 
>> The programs might be quite pure and non-side-effecting (except for 
>> non-termination aka infinite looping runtime exceptions), the interpreter 
>> will perform the effects. Here's a pseudocode for the interpreter:
>>
>> // the command sub-language
>> datatype Command = Print of string | Nop | Seq of (command, command)
>> extern
>> fun runCommand (c:Command): void
>> extern
>> fun seq (c:Command, Command): Command
>> extern
>> fun cprint (s:string): Command
>> implement
>> seq (c1, c2) = Seq (c1, c2)
>> implement
>> cprint (s) = Print s
>> // the interpreter itself
>> implement
>> runCommand (c) = case+ c of Nop => (*done!*) | Print s => print (s) | Seq 
>> (c1, c2) => (runCommand(c1); runCommand(c2))
>>
>> Now let's assume the Command is abstract for the rest of the program (and 
>> only the runCommand, seq and print are exposed). We can now write:
>>
>> val hello = let val h = cprint "hi" in seq (h, h) end // here. twice the 
>> effect!
>> implement
>> main0 () = runCommand hello
>>
>> The "hello" itself is free of side-effects (or so it seems to me!). We 
>> might need to lazily evaluate stuff here (e.g. to enable looping, where you 
>> need to give the interpreter the chance to run side-by-side with your 
>> expression). Or we need a more poweful "seq" (i.e. the Haskell's "bind" 
>> operator for stitching together the commands such that the left-hand side 
>> has to be evaluated to a value that is then fed to the right-hand side -- 
>> i.e. incrementally built-up as it's being evaluated by the interpeter).
>>
>> In Haskell, the type Command is termed "IO" (w

Re: Referential transparency in ATS

2019-03-22 Thread Artyom Shalkhakov

x27; that must be 
>> composed of IO values. But what is to stop somewhat from calling print in a 
>> function returning an IO, for instance? Thus violating the IO contract.
>>  
>>
>>>
>>> In the book you mentioned in your message, I was really thinking of
>>> views for specifying memory layouts. With linear views, a programmer
>>> can be very precise in describing what memory a function can 
>>> access/update.
>>> Compared to state monads, this kind of precision is unmatched.
>>>
>>
>> Agreed. Maybe a separate effect type for STDIO, STDIN, etc would be a 
>> better starting point. Even in Haskell, I've seen some authors frown on 
>> State since it is, in their view, a bit dishonest and not much better htan 
>> IO (or maybe not better at all; see "false purity" at 
>> https://www.fpcomplete.com/blog/2017/06/readert-design-pattern).
>>  
>>
>>>
>>> On Thursday, March 21, 2019 at 1:28:42 PM UTC-4, Brandon Barker wrote:
>>>>
>>>>
>>>>
>>>> On Thursday, March 21, 2019 at 9:30:40 AM UTC-4, Brandon Barker wrote:
>>>>>
>>>>> Hi Artyom,
>>>>>
>>>>> I'm also grappling with the issue of RT in this case as I'd so far 
>>>>> only thought about it in terms of function calls, but what you and 
>>>>> Vanessa 
>>>>> say helped me to understand the issue. Though I haven't managed to get 
>>>>> ATS 
>>>>> to have the same behavior as OCaml in the "let expression" above, I 
>>>>> suspect 
>>>>> it is possible. The key phrase here seems to be "side-effecting 
>>>>> expression", and relates to the fact that functions in ATS can perform 
>>>>> side 
>>>>> effects without having any effect type or IO monad ascribed to the value 
>>>>> (again, iirc).
>>>>>
>>>>
>>>> Well, maybe that isn't the real key - the real key, I now think, is 
>>>> that ATS doesn't (by default?) model an IO effect. In section 6.9 of 
>>>> http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/PDF/main.pdf it 
>>>> is mentioned that using both linear and dependent types may be used to do 
>>>> this, though I think the suggestion here is for more than printing to e.g. 
>>>> STDOUT. 
>>>>
>>>> If anyone has looked at modeling/enforcing an IO-like effect type in 
>>>> ATS, I'd be interested to see it.
>>>>
>>>>>
>>>>> Perhaps tonight I should try out the same in Idris or PureScript, 
>>>>> which are not lazily evaluated by default but do use IO, to get a better 
>>>>> understanding.
>>>>>
>>>>> On Thursday, March 21, 2019 at 3:17:46 AM UTC-4, Artyom Shalkhakov 
>>>>> wrote:
>>>>>>
>>>>>> Hi Brandon,
>>>>>>
>>>>>> Admittedly I don't really understand what RT is, but from what I 
>>>>>> understand, in Haskell the expression like [print "ha"] is basically a 
>>>>>> command to the top-level interpreter (which is the language runtime) to 
>>>>>> perform an effect on the console (moreover, it will be evaluated on 
>>>>>> as-needed basis). Moreover, the ";" is itself another comand, the 
>>>>>> explicit 
>>>>>> sequencing command, the meaning of which is "perform the left-hand side 
>>>>>> effects, then perform the right-hand side effects". Such a command is a 
>>>>>> value, so it can be passed as a value and reused as many times as is 
>>>>>> necessary. In ATS, the expression like [print "ha"] evaluates right 
>>>>>> there 
>>>>>> to a void/"no value", and the ";" is also NOT a value at all, but rather 
>>>>>> a 
>>>>>> "shortcut" syntax to a "let-in-end" form.
>>>>>>
>>>>>> I like to imagine an interpreter that sits in the Haskell's runtime. 
>>>>>> Values of IO type are commands to this interpreter. Typical Haskell 
>>>>>> IO-based programs are building up these commands as they are being 
>>>>>> evaluated by the runtime. The runtime starts evaluation at the "main" 
>>>>>> expression defined by the programmer.
>>>>>

Re: Difference between `!T` and `!T >> _`?

2019-03-21 Thread Artyom Shalkhakov

On Monday, March 18, 2019 at 7:19:46 AM UTC+2, Shimin Guo wrote:
>
> For !T, INT2PROGINATS says:
>
> Note that the symbol ! in front of the type of a function argument 
> indicates that the argument is call-by-value and it is preserved after a 
> call to the function.
>
>
> For !T >> _, INT2PROGINATS says:
>
> Given a type T, the notation (!T >> _) is a shorthand for (!T >> T).
>
>
> How are they different?
>

To put in context of programming activity, if T is something complex, then 
having this shorthand is a really good idea: with it, you don't have to 
type the type twice. Don't you like the grammatical structure of the last 
sentence. :-)

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/bd26a046-65ad-4a33-822d-adb06391d29a%40googlegroups.com.

Re: Referential transparency in ATS

2019-03-21 Thread Artyom Shalkhakov

Hi Brandon,

Admittedly I don't really understand what RT is, but from what I
understand, in Haskell the expression like [print "ha"] is basically a
command to the top-level interpreter (which is the language runtime) to
perform an effect on the console (moreover, it will be evaluated on
as-needed basis). Moreover, the ";" is itself another comand, the explicit
sequencing command, the meaning of which is "perform the left-hand side
effects, then perform the right-hand side effects". Such a command is a
value, so it can be passed as a value and reused as many times as is
necessary. In ATS, the expression like [print "ha"] evaluates right there
to a void/"no value", and the ";" is also NOT a value at all, but rather a
"shortcut" syntax to a "let-in-end" form.

I like to imagine an interpreter that sits in the Haskell's runtime. Values
of IO type are commands to this interpreter. Typical Haskell IO-based
programs are building up these commands as they are being evaluated by the
runtime. The runtime starts evaluation at the "main" expression defined by
the programmer.

чт, 21 мар. 2019 г. в 03:45, Brandon Barker :

> I'm a little rusty, so can't come up with many good examples.
>
> Apparently it is possible to do something like this in OCaml:
>
> implement
> main0 () = {
>   val () = let
> val ha = print("ha")
>   in
> (ha; ha) // How to get two ha's here?
>   end
> }
>
>
> After running the program, you would only see one "ha", which violates RT.
>
> However, ATS doesn't seem to allow a sequence expression in the "in"
> position of a let expression, as this doesn't compile. Admittedly I'm just
> trying to see if ATS2 doesn't have RT in this particular case, but it would
> also be good to know about the sequence expressions here.
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/5eba6b86-4146-4ba2-a87f-f8c511d902f0%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/5eba6b86-4146-4ba2-a87f-f8c511d902f0%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqjJhkESn%3DY-o5zbAD2b%3D_6U32%3D18RHtu7SyFWHcLY_AFA%40mail.gmail.com.

Re: Call-by-value assignment

2019-02-24 Thread Artyom Shalkhakov

Hi, M88 and Hongwei,

On Sunday, February 24, 2019 at 5:45:34 PM UTC+2, gmhwxi wrote:
>
> The following line is problematic:
>
> prval () = $effmask_all(x := env)
>
> as assignment is definitely not a proof.
>
> I suggest that you just do
>
> val () = x := env
>
> The compiler should allocate the same memory for both x and env.
>

Flat viewtypes are represented by plain C structs in ATS, that is, they are 
directly copyable. I think this should give the C compiler a hint.
 

> Theoretically, you could separate x into two parts: data and (linear) 
> proof;
> only move the data into env; there is no need to move the data back from 
> env
> into x since the data is non-linear. Really not worth the trouble :)
>

In practice, records are really tough to handle this way (especially the 
initialization and free -- casts galore! :)).

 

>
>
> On Sun, Feb 24, 2019 at 2:52 AM M88 > 
> wrote:
>
>> Hello,
>>
>> I have a viewtype and I am using it in a call-by-value function.  I want 
>> to temporarily assign it to a variable for use in a template that uses 
>> call-by-reference.
>>
>> Is there a way to assert that the variable has not been consumed? 
>>
>> Right now I am doing this, which typechecks and compiles in my case:
>>
>> extern fun {env}
>> some_template( env : &env >> _ ) : void
>>
>> fun f ( x: !VT) : void = 
>> let
>>  var env = x
>>  val _ = some_template(env)
>>  prval () = $effmask_all(
>> x := env
>>   )
>> in
>>end
>>
>> Is this expected behavior?  Is it possible to write a proof function that 
>> can restore "x"? 
>>
>> ( Ultimately, x does not change, and the semantics of call-by-value seem 
>> best for this function ).
>>
>>
>>
>>
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "ats-lang-users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to ats-lang-user...@googlegroups.com .
>> To post to this group, send email to ats-lan...@googlegroups.com 
>> .
>> Visit this group at https://groups.google.com/group/ats-lang-users.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/ats-lang-users/ce57d10d-cb0a-465f-b9f6-954d7d6678cb%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/47a5462b-c081-4b1b-a5d3-c135b96b2eec%40googlegroups.com.

Re: Stack-allocated arrays in ATS2 (or ATS3?)

2019-02-23 Thread Artyom Shalkhakov

Hi Vanessa!

On Saturday, February 23, 2019 at 1:11:31 PM UTC+2, Vanessa McHale wrote:
>
> Is there any way to safely use alloca in ATS? I know the language has 
> features for both safe pointer arithmetic and safe use of 
> stack-allocated variables... so it would be nice to both guarantee no
> out-of-bounds array accesses and no subsequent uses of the pointer. 
>
>
Have you seen this discussion:

https://groups.google.com/forum/#!searchin/ats-lang-users/alloca%7Csort:date/ats-lang-users/a9KRqQn2uGo/nUqbI_2AHn4J

As for me, I think It's OK to use the outlined approach. BTW it is already 
provided in the ATS2 libats/libc.
 
>
> Cheers, 
> Vanessa McHale 
>
>
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/21a8481c-b866-4615-a0fc-098dec164d6f%40googlegroups.com.

Re: ATS2 -> ATS3 Migration Effort

2019-01-21 Thread Artyom Shalkhakov

The previous time migration was mostly painless. There were some changes 
for sure but most code could be translated either outright trivially, or 
mostly straightforwardly.

Off the top of my head, most changes were:

1. different syntax for dataviewtypes and a different default when 
pattern-matching
2. some tooling was not ported (i.e. atsdoc and atslex)
3. the addition of function template obsoleted many uses of higher-order 
functions
4. minor changes to naming of prelude functions / more uses of function 
templates instead of higher-order functions

On Tuesday, January 15, 2019 at 4:37:27 PM UTC+2, aditya siram wrote:
>
> I know it's early to ask this but do you anticipate a large migration 
> effort between ATS2 and ATS3? Are you planning to change significant 
> portions of the syntax, cut any large features etc? I'm working on 
> something that's liable to grow to 7-10,000 LOC and trying to figure out if 
> I should wait for ATS3.
>
> Thanks!
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/f602db71-c55a-493e-9c4e-db02dfd7f571%40googlegroups.com.

ATS3 metaprogramming and Spiral language

2019-01-08 Thread Artyom Shalkhakov

Hi all,

I find this Spiral language interesting:

https://github.com/mrakgr/The-Spiral-Language

It's probably easy to write a program that will take ages to compile,
though.

I really wish ATS3 had improved on templates and on macros. :-)

-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqgqvtRPtN4rBJMm-15Pcyo7b3BaOqYO0K%3DxQqP6h4itdA%40mail.gmail.com.

Re: Tuple parsing bug.

2019-01-03 Thread Artyom Shalkhakov

чт, 3 янв. 2019 г. в 14:58, aditya siram :

> Hi,
> The following seems like a bug, a tuple template parameter can't be
> parsed. The following:
>
> fun {a: t0p}{b : t0p} id(i : b) = i
> implement main0(argc,argv) =
>   let
> val _ = id<@(int,int)>((1,2))
>   in
> ()
>   end
>
>
>
> generates the error:
>
> ... 1596(line=69, offs=19) -- 1599(line=69, offs=22): error(2): the static
> identifier [><@] is unrecognized.
> ... 1593(line=69, offs=16) -- 1608(line=69, offs=31): error(2): none of
> the static constants referred to by [int] is applicable.
> patsopt(TRANS2): there are [2] errors in total.
> exit(ATS): uncaught exception: ...
>
>
>
>
> But if I add a space before the '@' it works:
>
> implement main0(argc,argv) =
>   let
> val _ = id< @(int,int)>((1,2)) (* note the space before '@' *)
>   in
> ()
>   end
>
>
It's a known issue, but thanks for highlighting it. Enclosing @(int,int) in
parentheses should also work.


> Thanks!
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/d0a0a8e5-fccf-4840-af60-505e55998dcc%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/d0a0a8e5-fccf-4840-af60-505e55998dcc%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqimXMWHRyTXdkt%2Bdv1n5bZ%2Bnj7FfP6sTxubM1936PqaVg%40mail.gmail.com.

Re: Merging stream_vt

2019-01-02 Thread Artyom Shalkhakov

Hi Richard,

ср, 2 янв. 2019 г. в 17:35, Richard :

> Yes, this compiles and runs as expected. Although, I am not sure that I
> have ever used 'stream_vt_con_free'. A slightly different way to do the
> same without using stream_vt_con_free,
>
>
>
> #include "share/atspre_staload.hats"
>
> extern fun {a:t@ype}{b:t@ype}
>   merge : (stream_vt a, stream_vt b) -> stream_vt(@(a,b))
>
> implement{a}{b} merge (xs, ys) = let
> fun
> auxmain (xs: stream_vt a, ys: stream_vt b) : stream_vt(@(a,b)) = $ldelay
> (
> (
>   case+ !xs of
>   | ~stream_vt_nil() => (~ys; stream_vt_nil())
>   | ~stream_vt_cons(x, xs) =>
> case+ !ys of
> | ~stream_vt_nil() => (~xs; stream_vt_nil())
> | ~stream_vt_cons(y, ys) =>
>   stream_vt_cons(@(x, y), auxmain(xs, ys))
> ) ,
> (
>   ~xs; ~ys
> )
> )
> in
>   auxmain(xs, ys)
> end
>
>
>
>
My guess is that the prefix ~ operator is the "stream_vt_free". :-) I did
not know it has an operator attached to it, thanks for pointing it out!


>
> To test,
>
> implement main0() =
> {
>   val xs = streamize_list_vt_elt($list_vt{int}(1, 2))
>   val ys = streamize_list_vt_elt($list_vt{string}("x", "y"))
>
>   val zs = merge (xs, ys)
>
>   val l = stream2list_vt (zs)
>   val () = println!(l) // should print something like: 1,x; 2,y
>
>   val () = list_vt_free(l)
> }
>
>
>
>
> On Wednesday, January 2, 2019 at 3:00:17 AM UTC-5, Artyom Shalkhakov wrote:
>>
>> ср, 2 янв. 2019 г. в 09:41, aditya siram :
>>
>>> Awesome. That does typecheck but when I try to build it with:
>>>
>>> "$PATSHOME/bin/patscc" -O3 -flto -s -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -
>>> I${PATSHOME}/contrib -O3 -o triples triples.dats -latslib
>>>
>>>
>>>
>> I don't have a compiler with me here but it seems like the function
>> should be made into a template (i.e. the type parameters should be put
>> prior to the function's name in the declaration).
>>
>> This typechecks and the online compiler will accept it:
>>
>> fun test (): void = {
>>   val xs = stream_vt_make_cons ((g0ofg1)1, stream_vt_make_cons
>> ((g0ofg1)2, stream_vt_make_nil{int} ()))
>>
>>   val ys = stream_vt_make_cons ((g0ofg1)"x", stream_vt_make_cons
>> ((g0ofg1)"y", stream_vt_make_nil{string} ()))
>>
>>   val zs = merge (xs, ys)
>>
>>   val l = stream2list_vt (zs)
>>   val () = println!(l) // should print something like: 1,x; 2,y
>>
>>   val () = list_vt_free(l)
>> }
>>
>> Unfortunately I can't run it (the glot.io-provided compiler doesn't
>> support stream_vt_make_* functions).
>>
>>
>>> I get:
>>>
>>> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:276:35
>>> : error: assignment to expression with array type
>>>  #define ATSINSmove(tmp, val) (tmp = val)
>>>^
>>> triples_dats.c:1062:1: note: in expansion of macro ‘ATSINSmove’
>>>  ATSINSmove(tmp19, ATSSELcon(env0, postiats_tysum_3, atslab__0)) ;
>>>  ^~
>>> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:276:35
>>> : error: assignment to expression with array type
>>>  #define ATSINSmove(tmp, val) (tmp = val)
>>>^
>>> triples_dats.c:1070:1: note: in expansion of macro ‘ATSINSmove’
>>>  ATSINSmove(tmp21, ATSSELcon(env1, postiats_tysum_4, atslab__0)) ;
>>>  ^~
>>> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:327:65
>>> : error: assignment to expression with array type
>>>  #define ATSINSstore_fltrec_ofs(tmp, tyrec, lab, val) ((tmp).lab = val)
>>>  ^
>>> triples_dats.c:1093:1: note: in expansion of macro ‘
>>> ATSINSstore_fltrec_ofs’
>>>  ATSINSstore_fltrec_ofs(tmp23, postiats_tyrec_2, atslab__0, tmp19) ;
>>>  ^~
>>> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:327:65
>>> : error: assignment to expression with array type
>>>  #define ATSINSstore_fltrec_ofs(tmp, tyrec, lab, val) ((tmp).lab = val)
>>>  ^
>>> triples_dats.c:1094:1: note: in expansion of macro ‘
>>> ATSINSstore_fltrec_ofs’
>>>  ATSINSstore_fltrec_ofs(tmp23, postiats_tyrec_2, atslab__1, tmp21) ;
>>>  ^~~

Re: Merging stream_vt

2019-01-02 Thread Artyom Shalkhakov

ср, 2 янв. 2019 г. в 09:41, aditya siram :

> Awesome. That does typecheck but when I try to build it with:
>
> "$PATSHOME/bin/patscc" -O3 -flto -s -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -I${
> PATSHOME}/contrib -O3 -o triples triples.dats -latslib
>
>
>
I don't have a compiler with me here but it seems like the function should
be made into a template (i.e. the type parameters should be put prior to
the function's name in the declaration).

This typechecks and the online compiler will accept it:

fun test (): void = {
  val xs = stream_vt_make_cons ((g0ofg1)1, stream_vt_make_cons ((g0ofg1)2,
stream_vt_make_nil{int} ()))

  val ys = stream_vt_make_cons ((g0ofg1)"x", stream_vt_make_cons
((g0ofg1)"y", stream_vt_make_nil{string} ()))

  val zs = merge (xs, ys)

  val l = stream2list_vt (zs)
  val () = println!(l) // should print something like: 1,x; 2,y

  val () = list_vt_free(l)
}

Unfortunately I can't run it (the glot.io-provided compiler doesn't support
stream_vt_make_* functions).


> I get:
>
> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:276:35:
> error: assignment to expression with array type
>  #define ATSINSmove(tmp, val) (tmp = val)
>^
> triples_dats.c:1062:1: note: in expansion of macro ‘ATSINSmove’
>  ATSINSmove(tmp19, ATSSELcon(env0, postiats_tysum_3, atslab__0)) ;
>  ^~
> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:276:35:
> error: assignment to expression with array type
>  #define ATSINSmove(tmp, val) (tmp = val)
>^
> triples_dats.c:1070:1: note: in expansion of macro ‘ATSINSmove’
>  ATSINSmove(tmp21, ATSSELcon(env1, postiats_tysum_4, atslab__0)) ;
>  ^~
> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:327:65:
> error: assignment to expression with array type
>  #define ATSINSstore_fltrec_ofs(tmp, tyrec, lab, val) ((tmp).lab = val)
>  ^
> triples_dats.c:1093:1: note: in expansion of macro ‘ATSINSstore_fltrec_ofs
> ’
>  ATSINSstore_fltrec_ofs(tmp23, postiats_tyrec_2, atslab__0, tmp19) ;
>  ^~
> /home/deech/ATS/test/ATS/ATS2/ccomp/runtime/pats_ccomp_instrset.h:327:65:
> error: assignment to expression with array type
>  #define ATSINSstore_fltrec_ofs(tmp, tyrec, lab, val) ((tmp).lab = val)
>  ^
> triples_dats.c:1094:1: note: in expansion of macro ‘ATSINSstore_fltrec_ofs
> ’
>  ATSINSstore_fltrec_ofs(tmp23, postiats_tyrec_2, atslab__1, tmp21) ;
>  ^~
>
>
>
>
> On Wednesday, January 2, 2019 at 1:21:24 AM UTC-6, Artyom Shalkhakov wrote:
>>
>> Hello Aditya!
>>
>> I've modified this a bit by inserting freeing:
>>
>> fun merge
>>   {a: t@ype}
>>   {b: t@ype}
>>   (
>> s1: stream_vt a,
>> s2: stream_vt b
>>   ) : stream_vt(@(a,b)) =
>>   let
>> val _s1 = !s1
>> val _s2 = !s2
>>   in
>> $ldelay
>>  (
>>   (
>>   case+ (_s1,_s2) of
>>   | (~stream_vt_cons(_s1e, _s1s),
>>  ~stream_vt_cons(_s2e, _s2s)) =>
>>  stream_vt_cons(@(_s1e,_s2e), merge(_s1s,_s2s))
>>   | (~stream_vt_nil (), _) => (stream_vt_con_free(_s2);
>> stream_vt_nil())
>>   | (_, ~stream_vt_nil ()) => (stream_vt_con_free(_s1);
>> stream_vt_nil())
>>   )
>>  , (stream_vt_con_free(_s1); stream_vt_con_free(_s2))
>>  )
>>   end
>>
>> This type-checks (but I have not run it).
>>
>> $ldelay requires us to supply as its second argument an expression that
>> will free up all resources that are used in its first argument.
>>
>> ср, 2 янв. 2019 г. в 08:10, aditya siram :
>>
>>> I trying to understand the stream_vt datatype by writing a function
>>> that merges two streams in a stream of tuples but not having much luck, the
>>> following:
>>>
>>> fun merge
>>>   {a: t@ype}
>>>   {b: t@ype}
>>>   (
>>> s1: stream_vt a,
>>> s2: stream_vt b
>>>   ) : stream_vt(@(a,b)) =
>>>   let
>>> val _s1 = !s1
>>> val _s2 = !s2
>>>   in
>>> $ldelay
>>>  (
>>>   case+ (_s1,_s2) of
>>>   | (~stream_vt_cons(_s1, _s1s),
>>>  ~stream_vt_cons(_s2, _s2s)) =>
>>>  stream_vt_cons((_s1,_s2), merge(_s1s,_s2s))
>>>   | (_,_) => stream_vt_nil()
>>>  )
>>>   end
>>>
>>> gives me t

Re: Merging stream_vt

2019-01-01 Thread Artyom Shalkhakov

Hello Aditya!

I've modified this a bit by inserting freeing:

fun merge
  {a: t@ype}
  {b: t@ype}
  (
s1: stream_vt a,
s2: stream_vt b
  ) : stream_vt(@(a,b)) =
  let
val _s1 = !s1
val _s2 = !s2
  in
$ldelay
 (
  (
  case+ (_s1,_s2) of
  | (~stream_vt_cons(_s1e, _s1s),
 ~stream_vt_cons(_s2e, _s2s)) =>
 stream_vt_cons(@(_s1e,_s2e), merge(_s1s,_s2s))
  | (~stream_vt_nil (), _) => (stream_vt_con_free(_s2); stream_vt_nil())
  | (_, ~stream_vt_nil ()) => (stream_vt_con_free(_s1); stream_vt_nil())
  )
 , (stream_vt_con_free(_s1); stream_vt_con_free(_s2))
 )
  end

This type-checks (but I have not run it).

$ldelay requires us to supply as its second argument an expression that
will free up all resources that are used in its first argument.

ср, 2 янв. 2019 г. в 08:10, aditya siram :

> I trying to understand the stream_vt datatype by writing a function that
> merges two streams in a stream of tuples but not having much luck, the
> following:
>
> fun merge
>   {a: t@ype}
>   {b: t@ype}
>   (
> s1: stream_vt a,
> s2: stream_vt b
>   ) : stream_vt(@(a,b)) =
>   let
> val _s1 = !s1
> val _s2 = !s2
>   in
> $ldelay
>  (
>   case+ (_s1,_s2) of
>   | (~stream_vt_cons(_s1, _s1s),
>  ~stream_vt_cons(_s2, _s2s)) =>
>  stream_vt_cons((_s1,_s2), merge(_s1s,_s2s))
>   | (_,_) => stream_vt_nil()
>  )
>   end
>
> gives me the errors:
>
> ...: 465(line=27, offs=9) -- 590(line=29, offs=57): error(3): the dynamic
> variable [_s2$4720(-1)] is consumed but it should be retained with the
> type [S2Eapp(S2Ecst(stream_vt_con); S2Evar(b(8451)))] instead.
> ...: 465(line=27, offs=9) -- 590(line=29, offs=57): error(3): the dynamic
> variable [_s1$4719(-1)] is consumed but it should be retained with the
> type [S2Eapp(S2Ecst(stream_vt_con); S2Evar(a(8450)))] instead.
> ...: 368(line=20, offs=3) -- 636(line=32, offs=6): error(3): the linear
> dynamic variable [_s1$4719(-1)] needs to be consumed but it is preserved
> with the type [S2Eapp(S2Ecst(stream_vt_con); S2Evar(a(8450)))] instead.
> ...: 368(line=20, offs=3) -- 636(line=32, offs=6): error(3): the linear
> dynamic variable [_s2$4720(-1)] needs to be consumed but it is preserved
> with the type [S2Eapp(S2Ecst(stream_vt_con); S2Evar(b(8451)))] instead.
> patsopt(TRANS3): there are [4] errors in total.
> exit(ATS): uncaught exception:
> _2home_2deech_2ATS_2triples_2dats_2ATS_2ATS2_2src_2pats_error_2esats__FatalErrorExn
> (1025)
>
> Any help is appreciated.
>
> Thanks!
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/21f9263f-e0be-4dcb-8bf6-45031eaea85a%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/21f9263f-e0be-4dcb-8bf6-45031eaea85a%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqgfQxJLCtbw2j2r7sd6fJwenYw5h31LRmp0zkjEg-t6pQ%40mail.gmail.com.

Re: Happy Holidays!

2018-12-26 Thread Artyom Shalkhakov

Hello Hongwei!

On Вт, дек 25, 2018 at 6:31 , gmhwxi wrote:

This mailing-list has been somewhat quiet recently.

I'd like to use this occasion to wish everyone well and also to
prosper in the

upcoming new year!

Thank you very much! I would also to congratulate you and the other
members of the list with Christmas and wish everybody to put things
things in proper order this year. :-)

I als like to thank you personally and wholeheartedly for your work on
ATS over these years. Wish you to keep it up!

I have been working on ATS3 for quite some time. So far the progress
has been
slow (but steady). As you all know, ATS has been first and foremost
an academic
project and implemented as such. Now I want to make ATS3 a lot more
polished
than ATS2, hoping it would have a better chance to become mainstream.
I am designing
and implementing ATS3 in ways that should make it easy for other
people to contribute
in the future. In particular, I have been experimenting with ways to
better report error messages

in ATS3.

That's great news!

To reiterate, ATS3 is perceived to be both a source language and a
target language
(at the same level as C). And extensive meta-programming support is
to be built on top

of ATS3.

Right now, I am in the middle of implementing sort-checking (that is,
type-checking for
the statics of ATS). After that, I will start to implement
type-inference (for non-dependent
types). My current plan is to get ATS3 running some time next year
(hopefully, by the end of

summer).

There will be plenty collaboration opportunities soon.

I'm awaiting eagerly! Unfortunately my time is now split such that I
now have to find more inventive ways to program as a hobby (but this is
probably the situation among most, if not all, people on the list).

Cheers!

--Hongwei

.
--
You received this message because you are subscribed to the Google
Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to ats-lang-users+unsubscr...@googlegroups.com.

To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/44084646-8b94-4c38-8e1d-73edf47a1de8%40googlegroups.com.

--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/1545820208.1825.0%40smtp.gmail.com.

Re: where do I get atscc2js from?

2018-11-07 Thread Artyom Shalkhakov

Hi Dmitry,

ср, 7 нояб. 2018 г. в 12:18, Dmitry Kouznetsov :

> I do have PATSHOME set, however PATSHOMERELOC isn't set. What is it
> supposed to be set to? btw I am using Mac, should it matter.
>
>
PATSHOMERELOC should be set to the full path to the ATS2-contrib repo clone.

On Wednesday, November 7, 2018 at 8:51:41 AM UTC+1, Artyom Shalkhakov wrote:
>>
>> On Tuesday, November 6, 2018 at 6:28:46 PM UTC+2, Dmitry Kouznetsov wrote:
>>>
>>> So, now I have the following output:
>>>
>>>
>> Curious. Do you have PATSHOME and PATSHOMERELOC environment variables set?
>>
>> These kinds of errors typically indicate that the compiler was unable to
>> locate template function definitions. For the first error, the offending
>> code is probably
>>
>>
>> https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-parsemit/DATS/catsparse_symbol.dats#L104
>>
>> but I guess that unsafe function definitions should have been supplied in
>> the prelude.
>>
>>
>>> ⋊> ~/s/a/A/c/CATS-atscc2js on master ⨯ *make* all
>>>
>>> 17:26:14
>>>
>>> \
>>>
>>> make -C CATS-parsemit all
>>>
>>> make[1]: Nothing to be done for `all'.
>>>
>>> \
>>>
>>> /Users/dmitry/sandbox/ats/ATS2-Postiats//bin/patscc \
>>>
>>>   -O2 -DATS_MEMALLOC_GCBDW -o bin/atscc2js \
>>>
>>>DATS/atscc2js_main.dats DATS/atscc2js_emit.dats
>>> DATS/atscc2js_emit2.dats  ./CATS-parsemit/SATS/catsparse.sats  
>>> ./CATS-parsemit/CATS/catsparse_all_dats.c
>>> -lgc
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:51: **warning: **implicit
>>> declaration of function 'S2Ecst' is invalid in C99
>>> [-Wimplicit-function-declaration]*
>>>
>>> ATSINSmove(tmpret2067,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2068)) ;
>>>
>>> *  ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:58: **error: **use of
>>> undeclared identifier 'symbol'*
>>>
>>> ATSINSmove(tmpret2067,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2068)) ;
>>>
>>> * ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:42: **error: **use of
>>> undeclared identifier 'cptr_get'*
>>>
>>> ATSINSmove(tmpret2067,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2068)) ;
>>>
>>> * ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:66: **error: **expected
>>> expression*
>>>
>>> ATSINSmove(tmpret2067,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2068)) ;
>>>
>>> * ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:24: **error: **use of
>>> undeclared identifier 'PMVtmpltcstmat'*
>>>
>>> ATSINSmove(tmpret2067,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2068)) ;
>>>
>>> *   ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:51: **warning: **implicit
>>> declaration of function 'S2Ecst' is invalid in C99
>>> [-Wimplicit-function-declaration]*
>>>
>>> ATSINSmove(tmpret2190,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2191)) ;
>>>
>>> *  ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:58: **error: **use of
>>> undeclared identifier 'filename_type'*
>>>
>>> ATSINSmove(tmpret2190,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2191)) ;
>>>
>>> * ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:42: **error: **use of
>>> undeclared identifier 'cptr_get'*
>>>
>>> ATSINSmove(tmpret2190,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2191)) ;
>>>
>>> * ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:73: **error: **expected
>>> expression*
>>>
>>> ATSINSmove(tmpret2190,
>>> PMVtmpltcstmat[0](cptr_get)(tmp2191)) ;
>>>
>>> *
>>> ^*
>>>
>>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:24: **error: **use of
>>> undeclared identif

Re: where do I get atscc2js from?

2018-11-06 Thread Artyom Shalkhakov

cptr_get)(tmp2195)) ;
>
> * ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:21: **error: **use of 
> undeclared identifier 'PMVtmpltcstmat'*
>
> ATSINSmove(tmp2197, 
> PMVtmpltcstmat[0](cptr_get)(tmp2195)) ;
>
> *^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:51: **warning: **implicit 
> declaration of function 'S2Ecst' is invalid in C99 
> [-Wimplicit-function-declaration]*
>
> ATSINSmove(tmpret3537, 
> PMVtmpltcstmat[0](cptr_get)(tmp3538)) ;
>
> *  ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:58: **error: **use of 
> undeclared identifier 'keyword'*
>
> ATSINSmove(tmpret3537, 
> PMVtmpltcstmat[0](cptr_get)(tmp3538)) ;
>
> * ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:42: **error: **use of 
> undeclared identifier 'cptr_get'*
>
> ATSINSmove(tmpret3537, 
> PMVtmpltcstmat[0](cptr_get)(tmp3538)) ;
>
> * ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:67: **error: **expected 
> expression*
>
> ATSINSmove(tmpret3537, 
> PMVtmpltcstmat[0](cptr_get)(tmp3538)) ;
>
> *  ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:24: **error: **use of 
> undeclared identifier 'PMVtmpltcstmat'*
>
> ATSINSmove(tmpret3537, 
> PMVtmpltcstmat[0](cptr_get)(tmp3538)) ;
>
> *   ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:51: **warning: **implicit 
> declaration of function 'S2Etyrec' is invalid in C99 
> [-Wimplicit-function-declaration]*
>
> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ;
>
> *  ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:60: **error: **use of 
> undeclared identifier 'box'*
>
> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ;
>
> *   ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:42: **error: **use of 
> undeclared identifier 'cptr_get'*
>
> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ;
>
> * ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:111: **warning: **implicit 
> declaration of function 'S2Ecst' is invalid in C99 
> [-Wimplicit-function-declaration]*
>
> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ;
>
> *  
> ^*
>
> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:118: **error: **use of 
> undeclared identifier 'lexerr_node'*
>
> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ;
>
> * 
> ^*
>
> *fatal error: *too many errors emitted, stopping now [-ferror-limit=]
>
> 6 warnings and 20 errors generated.
>
> make: *** [bin_atscc2js] Error 1
>
> On Tuesday, November 6, 2018 at 5:25:32 PM UTC+1, Artyom Shalkhakov wrote:
>>
>> How did you install the compiler? Have you not built from source?
>>
>> The translators are probably not included in the distribution. Have to 
>> check.
>>
>> On Tue, Nov 6, 2018, 6:22 PM Dmitry Kouznetsov  
>> wrote:
>>
>>> Aha! But then that contrib dir doesn't come with git clone... Ain't I 
>>> supposed to have all the stuff from that dir in order to be able to run 
>>> that make?
>>>
>>> On Tuesday, November 6, 2018 at 5:01:11 PM UTC+1, Artyom Shalkhakov 
>>> wrote:
>>>>
>>>> Hi Dmitry,
>>>>
>>>> Welcome!
>>>>
>>>> вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov :
>>>>
>>>>> Hi, I am learning ATS and want to run examples locally. This one is 
>>>>> particularly interesting to me: 
>>>>> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
>>>>>  
>>>

Re: where do I get atscc2js from?

2018-11-06 Thread Artyom Shalkhakov

How did you install the compiler? Have you not built from source?

The translators are probably not included in the distribution. Have to
check.

On Tue, Nov 6, 2018, 6:22 PM Dmitry Kouznetsov 
wrote:

> Aha! But then that contrib dir doesn't come with git clone... Ain't I
> supposed to have all the stuff from that dir in order to be able to run
> that make?
>
> On Tuesday, November 6, 2018 at 5:01:11 PM UTC+1, Artyom Shalkhakov wrote:
>>
>> Hi Dmitry,
>>
>> Welcome!
>>
>> вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov :
>>
>>> Hi, I am learning ATS and want to run examples locally. This one is
>>> particularly interesting to me:
>>> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
>>> When I 'make all' it tells I am supposed to have atscc2js in my
>>> ${PATSHOME}/bin and I don't. How do I get one?
>>>
>>
>> You should build it. The translator is built with this Makefile:
>>
>>
>> https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-atscc2js/Makefile
>>
>> I think you'll have to cp the binary to $PATSHOME/bin yourself, though.
>> You can refer to some older scripts:
>>
>>
>> https://gist.github.com/ashalkhakov/4d9cc1a5fff9f9171f00a9ba50a24ebd#file-msys2-build-ats2-sh-L167
>>
>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "ats-lang-users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ats-lang-user...@googlegroups.com.
>>> To post to this group, send email to ats-lan...@googlegroups.com.
>>> Visit this group at https://groups.google.com/group/ats-lang-users.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com
>>> <https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com?utm_medium=email&utm_source=footer>
>>> .
>>>
>>
>>
>> --
>> Cheers,
>> Artyom Shalkhakov
>>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/af9af7df-fefc-452e-a0c6-eca1bd05c67e%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/af9af7df-fefc-452e-a0c6-eca1bd05c67e%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqjmgt5sY12CyJtYEtRRApw4rXp5jxSozRDp9vjnV%3Dtggg%40mail.gmail.com.

Re: where do I get atscc2js from?

2018-11-06 Thread Artyom Shalkhakov

Hi Dmitry,

Welcome!

вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov :

> Hi, I am learning ATS and want to run examples locally. This one is
> particularly interesting to me:
> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
> When I 'make all' it tells I am supposed to have atscc2js in my
> ${PATSHOME}/bin and I don't. How do I get one?
>

You should build it. The translator is built with this Makefile:

https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-atscc2js/Makefile

I think you'll have to cp the binary to $PATSHOME/bin yourself, though. You
can refer to some older scripts:

https://gist.github.com/ashalkhakov/4d9cc1a5fff9f9171f00a9ba50a24ebd#file-msys2-build-ats2-sh-L167


> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqiuJ-TCMP5E%2BTptn2hq09_Mnw2SJR5PQYwo%3DDXxgsNJoQ%40mail.gmail.com.

Re: Why my code occurs `unsolved constraint` error?

2018-11-05 Thread Artyom Shalkhakov

Hi Kiwamu,

Sorry for the delay, I missed your reply.

On Friday, November 2, 2018 at 5:29:00 AM UTC+2, Kiwamu Okabe wrote:
>
> Dear Hongwei and Artyom, 
>
> On Fri, Nov 2, 2018 at 12:03 PM gmhwxi > 
> wrote: 
> > The way you wrote the code makes it a bit difficult to 
> > do typechecking. Try to change the interface for utf8_to_unicode 
> > as follows: 
>
> Thanks! It's fixed! 
>
> https://travis-ci.org/metasepi/uemacs-bohai/builds/449662253 
>
> > I think the reason for having to annotate it is due to a hit on 
> performance in 
> > constraint solving. I think I read about this in one of HX's papers. 
>
> Could you tell me where is the paper? > Artyom 
>
>
The "state types" are described here:

http://www.ats-lang.org/MYDATA/Xanadu-lics00.pdf

section 4.3. The section talks about synthesizing these state types. I 
guess that ATS2 and ATS3 still follow a similar approach (since sometimes 
it's OK to drop the annotations completely and sometimes not).

I can't source my claim about performance though, sorry about that.
 

>
> What do I think such `unsolved constraint` error? 
> How to approach it? 
> Should I think "Umm it may needs more addr annotation"? 
>
> Best regards, 
> -- 
> Kiwamu Okabe at METASEPI DESIGN 
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/c6f9ce31-333a-42f2-a3b4-848669066b48%40googlegroups.com.

Re: Why my code occurs `unsolved constraint` error?

2018-11-01 Thread Artyom Shalkhakov

Hi Kiwamu,

чт, 1 нояб. 2018 г. в 10:00, Kiwamu Okabe :

> Dear Artyom and Hongwei,
> sorry for my late reply.
>
> On Mon, Oct 29, 2018 at 5:17 PM Artyom Shalkhakov
>  wrote:
> > While I'm not sure why your code fails, it's an interesting project
> you've started.
>
> Thanks. It's very fun and good exercise for me.
>
> > Actually, I have an idea about your code. You may have to an annotation
> like...
>
> Thanks for your advice. But it's not clear for me...
>
> > if :( line: strnptr(m) ) => .. then ... else ... onto your conditionals.
>
> Where line of my code should follow your advice?
>
>
> https://github.com/metasepi/uemacs-bohai/blob/9ecdd06fe09e6433ed0fb4271c0e5b44d2ad8f8d/DATS/utf8.dats
>
>
You should put at at every branch (so on every [if] and on every [case]).
That's because the variable [line] is of linear type, and the annotation
basically says that in every alternative of the branch it's going to be
preserved (so, after the evaluation of an [if] or a [case] the type of
[line] is going to still be [strnptr(m)]). I think the reason for having to
annotate it is due to a hit on performance in constraint solving. I think I
read about this in one of HX's papers.

I think in your case, you'll have to annotate two [if]s:

https://github.com/metasepi/uemacs-bohai/blob/9ecdd06fe09e6433ed0fb4271c0e5b44d2ad8f8d/DATS/utf8.dats#L48
https://github.com/metasepi/uemacs-bohai/blob/9ecdd06fe09e6433ed0fb4271c0e5b44d2ad8f8d/DATS/utf8.dats#L55

Could you try it? You could also try to annotate only one [if] to find a
minimal required annotation that keeps the typechecker silent. :-)

>
> Best regards,
> --
> Kiwamu Okabe at METASEPI DESIGN
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3Dsb8%3DkqyLc0j3bipb16_zp26FsdZ%3DfD5Q0g5k7f9ZM3g%40mail.gmail.com
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqh5yYagiaTtB32BD5RV_3ZwwMkJ4_thZ_%2BR-McjR_FjTw%40mail.gmail.com.

Re: Why my code occurs `unsolved constraint` error?

2018-10-29 Thread Artyom Shalkhakov

Hi Kiwamu,

While I'm not sure why your code fails, it's an interesting project you've 
started. Please don't hesitate telling us more about it!

Actually, I have an idea about your code. You may have to an annotation 
like if :( line: strnptr(m) ) => .. then ... else ... onto your 
conditionals.

On Monday, October 29, 2018 at 8:52:33 AM UTC+2, Kiwamu Okabe wrote:
>
> Dear all, 
>
> Why following code occurs `unsolved constraint` error? 
>
>
> https://github.com/metasepi/uemacs-bohai/blob/8b2b657c829be1025433f3083aa5cf3b1d040cb6/DATS/utf8.dats#L60
>  
>
> ``` 
> $ vi DATS/utf8.dats 
> --snip-- 
> implement utf8_to_unicode (pf | line, index, len, res) = bytes where { 
>   fun loop1 (c: char, mask: uint, bytes: uint): (uint, uint) = 
> if ((($UN.cast{uint}{char} c) land mask) != 0U) 
>   then loop1 (c, mask >> 1, bytes + 1U) 
>   else (mask, bytes) 
>
>   fun loop2 {m:nat} (line: !strnptr(m), i: int, len: int(m), bytes: 
> uint, value: uint): uint = 
> undefined() 
>
>   val c = line[index] 
>   val () = !res := $UN.cast{unicode_t}{char} line[index] 
>
>   (* 
>* 0xxx is valid utf8 
>* 10xx is invalid UTF-8, we assume it is Latin1 
>*) 
>   val bytes = if (c < $UN.cast{char}{int} 0xc0) 
> then 1U 
> else bytes' where { 
>   (* Ok, it's 11xx, do a stupid decode *) 
>   val (mask, bytes'') = loop1 (c, 0x20U, 0x2U) 
>
>   (* Invalid? Do it as a single byte Latin1 *) 
>   val bytes' = if (bytes'' > 6 || bytes'' > len) 
> then 1U 
> else bytes'' where { 
>   (* Ok, do the bytes *) 
>   val value = loop2 (line, 1, len, bytes'', 
>  ($UN.cast{uint}{char} c) land (mask - 1U)) 
>   val () = !res := $UN.cast{unicode_t}{uint} value 
> } 
> } 
> } 
> --snip-- 
> $ pwd 
> /home/kiwamu/src/uemacs-bohai 
> $ make 
>   ATS  utf8.dats.c 
> /home/kiwamu/src/uemacs-bohai/DATS/utf8.dats: 929(line=23, offs=58) -- 
> 934(line=23, offs=63): error(3): unsolved constraint: 
> C3NSTRprop(C3TKmain(); S2Eeqeq(S2Evar(l$8600$8666(14318)); 
> S2Evar(l$8600$8601(14253 
> /home/kiwamu/src/uemacs-bohai/DATS/utf8.dats: 929(line=23, offs=58) -- 
> 934(line=23, offs=63): error(3): unsolved constraint for var 
> preservation 
> typechecking has failed: there are some unsolved constraints: please 
> inspect the above reported error message(s) for information. 
> exit(ATS): uncaught exception: 
> _2home_2kiwamu_2src_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025)
>  
>
> make: *** [Makefile:75: utf8.dats.c] Error 1 
> ``` 
>
> Best regards, 
> -- 
> Kiwamu Okabe at METASEPI DESIGN 
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/7b1a17e9-afde-47de-ba5b-154fbbb2fce9%40googlegroups.com.

Re: GADT question

2018-10-16 Thread Artyom Shalkhakov

Chris,

What if a runtime tag for type is introduced?

datatype rtti (t@ype) =
  | Rbool(bool)
  | Rint(int)

and then in Eq:

  | Eq(bool) of (rtti(a), Expr a, Expr a) 

during evalution there would be some kind of dynamic check on the tag as 
well.

Another idea is to make [eval] evaluate to some kind of type of values. 
This type could be represented by a flat tagged union. Then you could do a 
check on the tag of the union at runtime, and select appropriate function 
to do the equality checking. Essentially what HX proposed, but with a flat 
unboxed type representing the values.

On Tuesday, October 16, 2018 at 4:51:15 AM UTC+3, Chris Double wrote:
>
> I have some GADT code that fails at the C compilation stage. It's a 
> variant of: 
>
> https://gist.github.com/doublec/a3cc8f3431cabe9a319c8e7ba27e7890 
>
> But the Eq constructor of Expr uses the type index instead of being 
> 'int' so equality can be done against booleans and ints. The full code 
> is: 
>
> 8<--- 
> #include "share/atspre_define.hats" 
> #include "share/atspre_staload.hats" 
>
> datatype Expr(a:t@ype)  = 
>   | I(int) of int 
>   | B(bool) of bool 
>   | Add(int) of (Expr int, Expr int) 
>   | Mul(int) of (Expr int, Expr int) 
>   | Eq(bool) of (Expr a, Expr a) 
>
> extern fun{a:t@ype} equals(t1:a, t2:a): bool 
> implement equals(t1,t2) = g0int_eq(t1,t2) 
> implement equals(t1,t2) = eq_bool0_bool0(t1,t2) 
>
> fun{a:t@ype} eval(x:Expr a): a = 
>   case+ x of 
>   | I i => i 
>   | B b => b 
>   | Add (t1, t2) => eval(t1) + eval(t2) 
>   | Mul (t1, t2) => eval(t1) * eval(t2) 
>   | Eq (t1, t2) => equals(t1, t2) 
>
> implement main0() = let 
>   val term1 = Eq(I(5), Add(I(1), I(4))) 
>   val term2 = Mul(I(2), I(4)) 
>   val res1 = eval(term1) 
>   val res2 = eval(term2) 
> in 
>   println!("res1=", res1, " and res2=", res2) 
> end 
> 8<--- 
>
> This fails to compile at the C stage with: 
>
> In file included from arith3_dats.c:15:0: 
> arith3_dats.c: In function ‘eval_2__2__1’: 
> arith3_dats.c:1098:24: error: ‘PMVtmpltcstmat’ undeclared (first use 
> in this function) 
>  ATSINSmove(tmpret2__1, 
> PMVtmpltcstmat[0](equals)(tmp9__1, tmp10__1)) ; 
> ^ 
> ATS2-Postiats-0.3.11//ccomp/runtime/pats_ccomp_instrset.h:276:37: 
> note: in definition of macro ‘ATSINSmove’ 
>  #define ATSINSmove(tmp, val) (tmp = val) 
>  
>
> Any thoughts on what I'm doing wrong? 
>
> -- 
> https://bluishcoder.co.nz 
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/3fa603b6-eda2-4f0e-b5ff-b69ff2ed6c27%40googlegroups.com.

Re: ATS3: Parsing

2018-10-10 Thread Artyom Shalkhakov

Hi Hiroshi,

On Thursday, October 11, 2018 at 7:56:53 AM UTC+3, Hiroshi Sakurai wrote:
>
> Why your a line of code is very short?
> Do you write program using Smart phone?
>

That seems like a correct observation. :-) It's narrow enough to fit on my 
phone!
 

>
> 2018年10月11日木曜日 10時32分09秒 UTC+9 gmhwxi:
>>
>> FYI.
>>
>> I am pleased to make an announcement
>> that I have almost finished a parser for ATS3:
>>
>> https://github.com/githwxi/ATS-Xanadu
>>
>> This time, I use a design that stores all the syntax
>> error of a program in the generated abstract syntax
>> tree (AST). To report syntax errors, one needs to implement
>> what I call a "syntax-reader" to traverse the AST. I imagine
>> that different syntax-readers can be written for targeting users
>> of different levels or backgrounds. And I suppose that writing
>> such a syntax-reader is a quick way to learn the concrete syntax
>> for ATS3 :) I will say more about this in ats-lang-devel:
>>
>> https://groups.google.com/forum/#!forum/ats-lang-devel
>>
>> (To join the above group, you need to issue a request)
>>
>> I plan to output ATS3 abstract syntax trees in JSON format. This
>> means that one can implement a syntax reader in languages other
>> than ATS.
>>
>> Cheers!
>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/c59e3847-e8a9-4c38-ac2e-62a4ab5d85df%40googlegroups.com.

Re: An "I suck at ATS" screencast

2018-09-05 Thread Artyom Shalkhakov

Hi Julian!

ср, 5 сент. 2018 г. в 13:42, Julian Fondren :

> Trying something different with
> https://www.bitchute.com/video/oK0EqH5035cN/ (or
> https://ats-lang.moe/isaats/isaats-008.webm )
>
> Instead of spoken commentary, there's typed commentary, with music.
>
> I think spoken commentary makes for a much better video, but they're also
> videos that are a lot harder *for me* to make.
>
> If any of you have *merely technological *barriers to making videos about
> ATS, please let me know. That part is easy :) In the latest video I don't
> even produce any code extemporaneously, except to make a few edits, and I
> think that format would work fine with spoken commentary.
>
>
I've watched this video in full and it's nice! You took a problem and
presented solutions with their pros and cons.

Since you're recording your terminal, you might settle for very simple
"tele typing" or some such. I guess there was project for doing just that:
recording terminal interaction and then playing it back in the browser.
This should make it simpler for you to host your videos.

How do you make these videos? I'll probably record something as well!


> On Thursday, August 16, 2018 at 2:19:01 AM UTC-5, Julian Fondren wrote:
>>
>> Found here: https://www.bitchute.com/video/arsFOT0Apsw2/
>> <https://www.google.com/url?q=https%3A%2F%2Fwww.bitchute.com%2Fvideo%2FarsFOT0Apsw2%2F&sa=D&sntz=1&usg=AFQjCNGr-Ee7SeH_iEZQa9sgaxcDILlg4w>
>>
>> I have some other videos in advance, so I'll try to be regular about
>> uploading them.
>>
>> The first is just 'hello world'. Although the video is 46+ minutes long,
>> it does show a successful 'hello world' in the first minute.
>>
>> The "I suck at ATS" part of the title is
>> 1. fairly appropriate considering the content
>> 2. a small tribute to a Youtuber who'd died shortly before I recorded the
>> video
>> 3. a title I'll use, even if hypothetically I stop sucking at ATS, for
>> any ATS screencsat that's similarly unscripted and unprepared (apart from
>> an idea of something to do and the feeling that I can probably do it over
>> the course of a video)
>>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/e1add075-fb66-491c-9f31-e54c26c9494d%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/e1add075-fb66-491c-9f31-e54c26c9494d%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqgQaSP5de8R0RPcZi8Dsv_TP1nOsoqbCBbXDVguy06tyA%40mail.gmail.com.

Re: An "I suck at ATS" screencast

2018-08-16 Thread Artyom Shalkhakov

Hi Julian!

I have to admit, I too suck at ATS! :-)

Humility helps a great deal!

чт, 16 авг. 2018 г., 13:19 Julian Fondren :

> Found here: https://www.bitchute.com/video/arsFOT0Apsw2/
>
> I have some other videos in advance, so I'll try to be regular about
> uploading them.
>
> The first is just 'hello world'. Although the video is 46+ minutes long,
> it does show a successful 'hello world' in the first minute.
>
> The "I suck at ATS" part of the title is
> 1. fairly appropriate considering the content
> 2. a small tribute to a Youtuber who'd died shortly before I recorded the
> video
> 3. a title I'll use, even if hypothetically I stop sucking at ATS, for any
> ATS screencsat that's similarly unscripted and unprepared (apart from an
> idea of something to do and the feeling that I can probably do it over the
> course of a video)
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/fb20c175-be89-4bb3-8ab6-09a08b550690%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqh5g3YHsj_%2Bn3%3DdQKfGfgdGv20YQZyZKVMHJnc2mnUo8Q%40mail.gmail.com.

Re: Postiats and C errors with array

2018-08-06 Thread Artyom Shalkhakov

вт, 7 авг. 2018 г. в 8:18, Hongwei Xi :

>
> @[int][3] is the type for a flat int array of size 3.
>
> Unfortunately, it is not fully supported at this point
> (it can only be assigned to a var). Please use @(int, int, int)
> instead.
>
>
Are you planning to support this in ATS3?

I guess another way to solve this problem right now is to use $extype for
[row].


> On Mon, Aug 6, 2018 at 7:51 PM, 'Yannick Duchêne' via ats-lang-users <
> ats-lang-users@googlegroups.com> wrote:
>
>> I’m unsure if it’s something wrong with what I wrote (ex. may be it’s not
>> allowed) or with Postiats. The sample below type‑checks, but compilation
>> fails with an INTERROR message.
>>
>> The sample:
>>
>> typedef row = @[int][3]
>> val row1:row = @[int](1, 2, 3)
>> val row2:row = @[int](4, 5, 6)
>> var a = @[row][2](row1, row2)
>> val a12 = a[1].[2]
>>
>> On the second line, it fails with:
>>
>> > INTERROR(pats_ccomp_dynexp): hidexp_ccomp: hde0 =
>> HDEarrinit(HSEapp(HSEcst(atstkind_t0ype);
>> HSEs2exp(S2Eextkind(atstype_int))); HDEint(3); HDEi0nt(1); HDEi0nt(2);
>> HDEi0nt(3))
>>
>>
>> If I try this instead:
>>
>> typedef row = @[int][3]
>> var row1:row = @[int](1, 2, 3)
>> var row2:row = @[int](4, 5, 6)
>> var a = @[row][2](row1, row2)
>> val a12 = a[1].[2]
>>
>> … Postiats can compile it, but I then I have numerous error while
>> compiling C. Many of these errors mentions ATSstatmpdec and there are also
>> C syntax errors.
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "ats-lang-users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to ats-lang-users+unsubscr...@googlegroups.com.
>> To post to this group, send email to ats-lang-users@googlegroups.com.
>> Visit this group at https://groups.google.com/group/ats-lang-users.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/ats-lang-users/9695cba1-b5c0-463e-9356-60035b1bb142%40googlegroups.com
>> <https://groups.google.com/d/msgid/ats-lang-users/9695cba1-b5c0-463e-9356-60035b1bb142%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpehPjppMhcBfqevkwuKAynk8oEjs9ytaxa0Y6_CPXSww%40mail.gmail.com
> <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpehPjppMhcBfqevkwuKAynk8oEjs9ytaxa0Y6_CPXSww%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqj-jNhH7UmEeLRU0sfwLtnuhQzgfKrJLdKKKMUj2CZVCQ%40mail.gmail.com.

Re: Difficulties with performance in ATS

2018-08-05 Thread Artyom Shalkhakov

Great to hear that you got on par with C performance-wise!

One other thing I'd like to draw attention to is allocation of [column]: in
C code, it is via [alloca], so it gets freed as soon as the control exits
the function, but in ATS code, [malloc] (or some such) is used, and then, a
cast from [arrayptr] to [arrayref] means we are leaving it to GC to
deallocate [column].

I suggest introducing a function that takes uninitialized [column] as
parameter, and performs the rest of the computation. Then [levenshtein] is
tasked with allocation and freeing the array. Plus, somebody could plug
another allocation strategy this way.

There was a thread about using [alloca] in ATS somewhere.

сб, 21 июл. 2018 г., 6:18 Vanessa McHale :

> It doesn't seem to affect things in a way that I can measure, though
> thankfully with Artyom's suggestions the code is now as fast as C (or at
> least, I can't reliably measure any difference in the two) :)
>
> On 07/20/2018 08:39 AM, gmhwxi wrote:
> > fun loop2 { i : nat | i > 0 && i <= n+1 } .. (x : int(i)) :
> > void =
> >   if x <= sz2i(s2_l) then
> > {
> >   val () = column[0] := x
> >   val p0 = arrayref2ptr(column)
> >   val p1 = ptr_succ(p0)
> >   val () = let
> > fun
> > inner_loop
> > { j : nat | j > 0 && j <= m+1 } ..
> > (y : int(j), p0: ptr, p1: ptr, last_diag : int) : void =
> >   if y <= sz2i(s1_l) then
> > let
> >   fun min_3(x : int, y : int, z : int) : int = min(x,
> > (min(y, z)))
> >
> >   val c0 = $UN.ptr0_get(p0)
> >   val c1 = $UN.ptr0_get(p1)
> >   val c1_new = min_3(c0+1, c1+1, last_diag +
> > bool2int(s1[y - 1]=s2[x - 1]))
> >   val () = $UN.ptr0_set(p1, c1_new)
> > in
> >   inner_loop(y + 1, p1, ptr_succ(p1), c1)
> > end
> >
> > inner_loop(1, p0, p1, x - 1)
> >   end
> >   val () = loop2(x + 1)
> > }
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/108e32af-a016-2735-1307-9984df9a334f%40iohk.io
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqga0%2Bvg5wAtbhVOC4zEBJZSTph6M%3DWAKJUsPiroZVEdZQ%40mail.gmail.com.

Re: Cross-compiling for Windows

2018-08-02 Thread Artyom Shalkhakov

Hi Vanessa,

пт, 3 авг. 2018 г. в 8:59, Vanessa McHale :

> Hi all,
>
> Debian packages a cross-compiler targeting windows,
> gcc-x86_64-w64-mingw32. Unfortunately, atslib fails to build with this,
> due to the following error:
>
>
> In file included from .atspkg/c/prelude/DATS/filebas.c:94:0:
>
> /home/vanessa/.atspkg/0.3.11/lib/ats2-postiats-0.3.11/libats/libc/CATS/sys/types.cats:78:9:
>
> error: unknown type name ‘uid_t’ typedef uid_t
> atslib_libats_libc_uid_type ; ^
>
> /home/vanessa/.atspkg/0.3.11/lib/ats2-postiats-0.3.11/libats/libc/CATS/sys/types.cats:79:9:
>
>
> error: unknown type name ‘gid_t’ typedef gid_t
> atslib_libats_libc_gid_type ; ^ )
>
>
> Is this an upstream problem with the cross-compiler? Or is this
> something I could work around?
>
>
I guess this is POSIX-specific stuff, so no, I don't think you directly map
it to something that Windows understands, unless you fall back to Cygwin.

See also:

https://github.com/githwxi/ATS-Postiats-contrib/issues/30

You could also search for "mingw" in the group to find other discussions as
well.

>
> Thanks,
> Vanessa
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/2171b521-923c-a366-0b67-e4a1d791f354%40iohk.io
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqh%2BSh53dJ7YmzVORydhmtbSZv1_vJJd8GwdsLzdTALxXw%40mail.gmail.com.

Re: Linear component is abandoned ...

2018-05-27 Thread Artyom Shalkhakov

Indeed, in this case, the old value of the mutable variable is abandoned.

You could free res first, and then assign.

пн, 28 мая 2018 г., 7:37 aditya siram :

> In my haste I didn't include the line number of the error but it points to
> 'res := Some_vt(i+1)'.
>
> On Sunday, May 27, 2018 at 8:23:20 PM UTC-5, Artyom Shalkhakov wrote:
>>
>> Hi Aditya,
>>
>> I guess you will need to free it?
>>
>> пн, 28 мая 2018 г., 7:19 aditya siram :
>>
>>> Hi,
>>> I have the following simplified version of assiging to a stack variable
>>> and am getting the following error:
>>>
>>> "linear component of the following type is abandoned:
>>> [S2Eapp(S2Ecst(option_vt0ype_bool_vtype); S2Eapp(S2Ecst(g0int_t0ype); [1]),
>>> S2Evar(b$8622$8623(14297)))]"
>>>
>>> I searched around and the only reference I see to this error is about
>>> using a global variable in a function scope.
>>>
>>> Any help is appreciated.
>>>
>>> Thanks!
>>> -deech
>>> extern fun add1(
>>>   n : Option_vt(int)
>>> ) : Option_vt(int)
>>>
>>> implement add1(n) =
>>>   let
>>> fun add1_( n:Option_vt(int), res: &Option_vt(int) >> Option_vt(int)
>>> ) : void =
>>>   case+ n of
>>> | ~Some_vt(i) => res := Some_vt(i+1)
>>> | ~None_vt() => ()
>>> var res : Option_vt(int) = None_vt()
>>> val () = add1_(n,res)
>>>   in
>>> res
>>>   end
>>>
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "ats-lang-users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ats-lang-user...@googlegroups.com.
>>> To post to this group, send email to ats-lan...@googlegroups.com.
>>> Visit this group at https://groups.google.com/group/ats-lang-users.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/ats-lang-users/e51eb3bb-a5cb-4615-a87b-f2aa275fc5a4%40googlegroups.com
>>> <https://groups.google.com/d/msgid/ats-lang-users/e51eb3bb-a5cb-4615-a87b-f2aa275fc5a4%40googlegroups.com?utm_medium=email&utm_source=footer>
>>> .
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/ff7f85a7-7af2-4e57-8fbe-fe9ed80a20f5%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/ff7f85a7-7af2-4e57-8fbe-fe9ed80a20f5%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqjVtdR8opu%3Dfa72e22UrkrrLJUVk23i9kOqv8Yd7D5eYg%40mail.gmail.com.

Re: Linear component is abandoned ...

2018-05-27 Thread Artyom Shalkhakov

Hi Aditya,

I guess you will need to free it?

пн, 28 мая 2018 г., 7:19 aditya siram :

> Hi,
> I have the following simplified version of assiging to a stack variable
> and am getting the following error:
>
> "linear component of the following type is abandoned:
> [S2Eapp(S2Ecst(option_vt0ype_bool_vtype); S2Eapp(S2Ecst(g0int_t0ype); [1]),
> S2Evar(b$8622$8623(14297)))]"
>
> I searched around and the only reference I see to this error is about
> using a global variable in a function scope.
>
> Any help is appreciated.
>
> Thanks!
> -deech
> extern fun add1(
>   n : Option_vt(int)
> ) : Option_vt(int)
>
> implement add1(n) =
>   let
> fun add1_( n:Option_vt(int), res: &Option_vt(int) >> Option_vt(int) )
> : void =
>   case+ n of
> | ~Some_vt(i) => res := Some_vt(i+1)
> | ~None_vt() => ()
> var res : Option_vt(int) = None_vt()
> val () = add1_(n,res)
>   in
> res
>   end
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/e51eb3bb-a5cb-4615-a87b-f2aa275fc5a4%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqjaTmndR5MJbXrsnA1iv15f9KUuAONqQqOG1kJ03aqYAQ%40mail.gmail.com.

Re: Blockchain + Smart Contract in ATS - looking for collaborators

2018-05-04 Thread Artyom Shalkhakov

Hi Lance,

On Saturday, May 5, 2018 at 2:40:00 AM UTC+6, Lance Galletti wrote:
>
>
> Hi Artyom,
>
> Thanks for reading! So glad you asked because I actually just finished 
> implementing a (very minimal) query language for creating and querying a 
> database that is backed up on the blockchain. You can read about this here: 
> https://beta.observablehq.com/@galletti94/functional-blockchain-part-2 
> but it is still a very rough draft.
>
>
You're writing it faster than I'm able to read. :-)

I was thinking along these lines, actually. Can we use blockchain for 
painless distributed line-of-business apps? Say I have an app that needs to 
sync data with a central server (the app is MOSTLY offline, and setting up 
proper networking is too costly).
 

> From here, I see this project going two ways and I would love to know what 
> people think will be more useful.
>
> 1. Add distribution to the blockchain so that we have a somewhat complete 
> toy application that people can use in order to test various blockchain 
> related ideas. For example, different consensus algorithms, ways to store 
> the blockchain etc. I am very interested for example in the problem of the 
> size of the blockchain and how that will severely limit its use and I would 
> love to test some of my ideas on this simulator.
>

Scalability is an interesting problem to tackle.

Another issue, again from the business side of things, is whether it would 
make it easier to describe typical business stuff (where you have logical 
facts, and procedural knowledge, and it usually all gets intermixed to the 
point of being totally incomprehensible).

2. Turn this into a template. That way if you would like to build a web 
> interface for example (instead of command line), or if you would like to 
> implement different languages etc you can fork and (hopefully) just 
> copy-paste your code.
>
> I would love to hear your thoughts if you have other suggestions as well!
>
>
> On Thursday, May 3, 2018 at 11:30:13 PM UTC-4, Artyom Shalkhakov wrote:
>>
>> Hi Lance,
>>
>> On Friday, April 27, 2018 at 10:17:01 PM UTC+6, Lance Galletti wrote:
>>>
>>> Hey ATS users!
>>>
>>> I recently had the chance to build a blockchain and smart contract 
>>> language in ATS - all with a nice CLI thanks to 
>>> https://github.com/ashalkhakov/colorado.
>>>
>>> I wrote a small blog post about it here:
>>>
>>> https://beta.observablehq.com/@galletti94/functional-blockchain
>>>
>>> and am looking for collaborators to take this to the next level. If you 
>>> would like to help me out with enhancing the language or CLI, or if you 
>>> have a grand vision / feedback you would like to share, please reach out!
>>>
>>>
>> This is a very good write-up! Looks like now I understand the idea behind 
>> blockchain and smart contracts.
>>
>> I'm wondering what do you plan to do next?
>>
>> Thank you!
>>>
>>> Lance
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/9b3e1b1c-c41a-404c-9db0-1f4f03cedae1%40googlegroups.com.

Re: ATS license

2018-05-03 Thread Artyom Shalkhakov

On Wednesday, May 2, 2018 at 6:45:35 PM UTC+6, gmhwxi wrote:
>
>
> FYI.
>
> I learned recently that LGPLv3 does address the issue of code generated
> from templates (C++ templates, Ada generics). So I reworded ATS license
> as follows. The change is that ATS libraries are now covered under LGPLv3.
> It is also stated explicitly that any C code generated by ATS compiler 
> using ATS
> libraries is NOT considered to be licensed under GPL/LGPL by default.
>
> * The Compiler (ATS/Postiats):
>   [GPLv3](
> https://github.com/githwxi/ATS-Postiats/blob/master/COPYING-gpl-3.0.txt)
> * The ATS source for the Libraries (ATSLIB/{prelude,libats}):
>   [LGPLv3](
> https://github.com/githwxi/ATS-Postiats/blob/master/COPYING-lgpl-3.0.txt).
> * As a special exception, any C code generated by the Compiler based on 
> the Libraries
>   source is not considered by default to be licensed under GPLv3/LGPLv3. 
> If you use such
>   C code together with other code to create an executable, then the C code 
> by itself does
>   not cause the executable to be covered by GPLv3/LGPLv3. However, there 
> may be reasons
>   unrelated to using ATS that can result in the executable being covered 
> by GPLv3/LGPLv3.
> * The contributed portion (ATS/Postiats/contrib) is released under the MIT 
> license.
> * There is also a release under the MIT license for the C header files of 
> the Libraries,
>   which one can, for instance, freely insert into C code generated from 
> ATS source code.
>
>
I guess this is a response to 
https://github.com/githwxi/ATS-Postiats/issues/190

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/ee77a932-1b29-4733-83b3-8a3f0c0a83c9%40googlegroups.com.

Re: Blockchain + Smart Contract in ATS - looking for collaborators

2018-05-03 Thread Artyom Shalkhakov

Hi Lance,

On Friday, April 27, 2018 at 10:17:01 PM UTC+6, Lance Galletti wrote:
>
> Hey ATS users!
>
> I recently had the chance to build a blockchain and smart contract 
> language in ATS - all with a nice CLI thanks to 
> https://github.com/ashalkhakov/colorado.
>
> I wrote a small blog post about it here:
>
> https://beta.observablehq.com/@galletti94/functional-blockchain
>
> and am looking for collaborators to take this to the next level. If you 
> would like to help me out with enhancing the language or CLI, or if you 
> have a grand vision / feedback you would like to share, please reach out!
>
>
This is a very good write-up! Looks like now I understand the idea behind 
blockchain and smart contracts.

I'm wondering what do you plan to do next?

Thank you!
>
> Lance
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/e8a2103b-ef79-4751-ab63-ea2191d6baf6%40googlegroups.com.

Re: Nix

2018-05-01 Thread Artyom Shalkhakov

2018-05-02 10:25 GMT+06:00 Steinway Wu :

> Cool! I just learned about Nix recently, and it looks (at first glance, at
> least) promising. Do you (or Brandon)  have any experiences comparing
> packaging individual ATS libraries using NPM vs using Nix?
>
>
I don't much to share here.

We do use Docker at work for some intricate build environments, it's very
nice since everything is compartmentalized and you know exactly what stuff
is for what. Also helps with updates.

Nix is similar in this regard, you get to know your dependencies very well.
But I didn't use it like that, just as a distro for my laptop.

Brandon, would you kindly chime in?

On Tuesday, May 1, 2018 at 11:29:29 PM UTC-4, Artyom Shalkhakov wrote:
>>
>> Hi Steinway,
>>
>> These days Brandon Barker maintains ATS packages for NixOS:
>>
>> https://github.com/NixOS/nixpkgs/blob/master/pkgs/developmen
>> t/compilers/ats2/default.nix
>>
>> You can install ATS2 as follows
>>
>> $ nix-env -i ats2
>>
>> I used to have a separate environment for ATS2 development on my laptop.
>> Nothing fancy, just ATS2, binutils and the like. For me, Docker provides a
>> much simpler approach.
>>
>>
>> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/ats-lang-users/576d8977-57a5-4618-ae45-c9b1c1e5fef9%
> 40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/576d8977-57a5-4618-ae45-c9b1c1e5fef9%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>



-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqg3HtTE8R9v8HSfpkQ9t8hpz_wMttGLsooRxs2U4q0UNQ%40mail.gmail.com.

Re: Nix

2018-05-01 Thread Artyom Shalkhakov

Hi Steinway,

These days Brandon Barker maintains ATS packages for NixOS:

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/ats2/default.nix

You can install ATS2 as follows

$ nix-env -i ats2

I used to have a separate environment for ATS2 development on my laptop.
Nothing fancy, just ATS2, binutils and the like. For me, Docker provides a
much simpler approach.

2018-05-01 9:25 GMT+06:00 Steinway Wu :

> Hi,
>
> I just noticed that there are some Nix scripts. I never knew we have Nix
> efforts. Could someone provide some insights into the experiences using Nix
> for ATS? Is it working? Does someone maintain a Nix package for ATS?
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/ats-lang-users/cdb0af26-dc72-4955-9ffe-5591d05022e2%
> 40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/cdb0af26-dc72-4955-9ffe-5591d05022e2%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>



-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqhFvOZBNCKVVao5XbC2QdO69kz81ZENCixHYpd5%3DrXMuw%40mail.gmail.com.

Re: Functions from datasorts to datasorts

2018-04-08 Thread Artyom Shalkhakov

2018-04-09 11:35 GMT+06:00 Andrew Knapp :

> Is it possible to write (proof) functions from datasorts to datasorts? For
> example, if we have
>
> datasort tlist =
>   | tnil
>   | tcons(t0ype, tlist)
>
> it would be nice to write something equivalent to
>
> tlist_append : (tlist, tlist) -> tlist
> tlist_filter: (tlist, (tlist) -> bool) -> tlist
>
> that could be applied to a tlist directly. I ask because I was playing
> around with templates, and it turns out you can write templates like
>
> extern fn {t:tlist} foo(): void
> extern fn {a:t0ype} foo$fopr(): void
>
> implement foo() = ()
> implement(a,ts) foo() = (foo$fopr(); foo())
>
> that compile and do what you expect.
>

Indeed, this works:

https://glot.io/snippets/ezy53k0uij

(except it hits a well-known bug).

>
>
> It would be nice to implement things like tlist_append in some
> non-template way, because templates force you to transform everything into
> continuation passing style, which hampers composition and is quite verbose.
>
> I have to say that if there were a few built-in functions from types to
> datasorts (e.g. various queries on type definitions, serialize type/record
> field to value-level string, etc.), a convenient way to write functions
> directly between datasorts, and a few more niceties, you could get really,
> really far in terms of metaprogramming.
>
> PS the error messages arising from this datasort-based template
> metaprogramming are already light years ahead of C++, believe it or not :)
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/ats-lang-users/2a781501-946c-48d0-8535-a2545ebce689%
> 40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/2a781501-946c-48d0-8535-a2545ebce689%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>



-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqikV5aD2Sbj%2BCjwE6LFhP8S6ArjEP%3DFJmrJcvHYK_1_TA%40mail.gmail.com.

Re: Shared memory IPC in ATS

2018-04-08 Thread Artyom Shalkhakov

Hi Andrew,

Great to see some C-style ATS code in the wild. Definitelly following this
development!

Make C great again. :-)

2018-04-09 11:11 GMT+06:00 Andrew Knapp :

> Hi all,
>
> I've extracted some ipc code from a larger codebase.
>
> https://github.com/ajknapp/ats-nanomq
>
> It's basically a bunch of SPSC ring buffers in shared memory, and is
> ported from a C++ library
>
> https://github.com/rigtorp/nanomq
>
> Fair warning: there aren't many scenarios where this design is a good
> idea, and the code also uses a few more unsafe things than I think would be
> necessary if I knew ATS better (e.g. the head pointer).
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/ats-lang-users/68d837ee-dd85-4f25-b24b-016904922bd4%
> 40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/68d837ee-dd85-4f25-b24b-016904922bd4%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>



-- 
Cheers,
Artyom Shalkhakov

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqiMDs8ZEvydSJRzw7NjocOZ4r9Uk_nSQwMgxUzZp6zMOg%40mail.gmail.com.

ATS/C programming: a book

2018-04-05 Thread Artyom Shalkhakov

Hi all,

I wrote this intro here:

https://ashalkhakov.gitbooks.io/ats-c-programming/content/

The idea is to provide a better learning experience for C programmers (and
maybe C++ programmers).

The plan is to cover these things:

1. handling command line arguments (the argv type in ATS)
2. working with strings (strbuf, etc.-- why so many types for strings in
ATS)
3. working with global mutable state (static memory allocation, precisely
what one does in C)
4. separate modules (sats/dats distinction, focussing on what the C
programmer does instead)
5. working with arrays (also why strbuf is not simply an array, although it
might be backed by one)
6. working with macros in C and ATS (also why macros are different in ATS),
with some typical examples (constants, conditional compilation, etc.)
7. file or console I/O
8. printing values to STDOUT (and why ATS doesn't provide the printf
function)
9. working with mutable pointer-based data structures (lists, trees, etc.)
10. doubly-linked data structures/various difficult-to-tackle aliasing
scenarios
11. how to handle opt with by-ref parameters / what that means for C
programmers (pointer-to-pointer etc.)
12. mutable state and branching/cases
13. loops/recursive functions (why use loops instead of functions and vice
versa)

I just took the K&R's book about C and re-written their examples in ATS.
It's really unfinished. Thoughts?

Re: Intro to ATS - How to code productively

2018-04-01 Thread Artyom Shalkhakov


Hi Steinway,

On Sunday, April 1, 2018 at 11:39:34 PM UTC+6, Steinway Wu wrote:
>
> Hi Artyom, 
>
> This is awesome :)
>
> Thanks!
 

> I have a question about "gradual improvement" of performance. I personally 
> feels it is more about gradual improvement of specification, e.g. change a 
> simple data type into a more refined type, to catch more bugs. So the sales 
> pitch is more like "write dirty code that works first, and then sit down 
> and formally specify what the code should do", at least to me. What do you 
> think? 
>
>
Well, I guess the two views are complementary! I was actually thinking 
about non-linear data type to linear data type to be a refinement -- is 
this not  considered the usual meaning? I wasn't actually thinking of 
"refinement" in a technical sense.

I changed the phrasing somewhat:


>- gradual improvement: no need to put a lot of effort upfront, write 
>dirty code that works, and then sit down and improve efficiency and 
>correctness (either or both, you have the tools!)
>
> Is this any better?

Also I would like to point out abstract types. It's a great way to work out 
> a system in a top-down fashion. We craft some abstract types, then provide 
> a set of functions that works on values of these types (like a DSL), and 
> program using these functions. We can quickly prototype the idea using the 
> type checker, and defer the implementation details to a later point. C can 
> probably do this via pointers or structs, but then you need to think about 
> the details of a struct. 
>
>
Indeed! This is certainly the way to go.
 

> On Saturday, March 31, 2018 at 7:49:39 AM UTC-4, Artyom Shalkhakov wrote:
>>
>> Hi Lance,
>>
>> I've put this 
>> <https://gist.github.com/ashalkhakov/16cf939ba5a7e91cc68733c0441c029b> 
>> together.
>>
>> What do you think? And the rest of the group? This is mostly aimed at C 
>> programmers.
>>
>> On Thursday, March 29, 2018 at 1:48:45 AM UTC+6, Lance Galletti wrote:
>>>
>>> Awesome thank you! Looking forward to it! :)
>>>
>>> On Wednesday, March 28, 2018 at 12:00:14 PM UTC-4, Artyom Shalkhakov 
>>> wrote:
>>>>
>>>> On Wednesday, March 28, 2018 at 9:34:37 PM UTC+6, Lance Galletti wrote:
>>>>>
>>>>> Hi Artyom!
>>>>>
>>>>> Thank you for your feedback! It is great to hear an advanced 
>>>>> programmer's perspective on the appeal of ATS. If you have the time it 
>>>>> would be great to incorporate into the write-up a section about this! :)
>>>>>
>>>>>
>>>> I wouldn't call myself an advanced programmer, but I've been interested 
>>>> in ATS programming for a lot of time, that's true.
>>>>
>>>> I'll write a sales-pitch. It's really exciting stuff (to me, at least!).
>>>>  
>>>>
>>>>> So far I have been just putting together what I have learned from 
>>>>> Hongwei's classes and books but I will definitely be checking out HtDP - 
>>>>> thank you for the suggestion!
>>>>>  
>>>>>
>>>>
>>>>> On Wednesday, March 28, 2018 at 3:13:37 AM UTC-4, Artyom Shalkhakov 
>>>>> wrote:
>>>>>>
>>>>>> Hi Lance,
>>>>>>
>>>>>> On Tuesday, March 27, 2018 at 9:40:55 PM UTC+6, Lance Galletti wrote:
>>>>>>>
>>>>>>> Hi ats users!
>>>>>>>
>>>>>>> I recently had the opportunity to give a talk at a hackathon about 
>>>>>>> ATS and coding productivity / quality. I thought I would share my 
>>>>>>> slides 
>>>>>>> here:
>>>>>>>
>>>>>>>
>>>>>>> https://docs.google.com/presentation/d/157VR0oQNTfUiiChYdbv77PYZkYKo_zkZfwRiqGv6sEY/edit?usp=sharing
>>>>>>>
>>>>>>> And the informal write up I am currently developing:
>>>>>>>
>>>>>>> https://github.com/galletti94/magnificATS/tree/master/INTRO
>>>>>>>
>>>>>>> If, like me, you are passionate about coding quality, methodology, 
>>>>>>> productivity, or functional programming and, of course ATS, please 
>>>>>>> reach 
>>>>>>> out!
>>>>>>>
>>>>>>>
>>>>>> First off, I chuckled when I saw the name of the rep

Re: Intro to ATS - How to code productively

2018-03-31 Thread Artyom Shalkhakov

Hi Lance,

I've put this 
<https://gist.github.com/ashalkhakov/16cf939ba5a7e91cc68733c0441c029b> 
together.

What do you think? And the rest of the group? This is mostly aimed at C 
programmers.

On Thursday, March 29, 2018 at 1:48:45 AM UTC+6, Lance Galletti wrote:
>
> Awesome thank you! Looking forward to it! :)
>
> On Wednesday, March 28, 2018 at 12:00:14 PM UTC-4, Artyom Shalkhakov wrote:
>>
>> On Wednesday, March 28, 2018 at 9:34:37 PM UTC+6, Lance Galletti wrote:
>>>
>>> Hi Artyom!
>>>
>>> Thank you for your feedback! It is great to hear an advanced 
>>> programmer's perspective on the appeal of ATS. If you have the time it 
>>> would be great to incorporate into the write-up a section about this! :)
>>>
>>>
>> I wouldn't call myself an advanced programmer, but I've been interested 
>> in ATS programming for a lot of time, that's true.
>>
>> I'll write a sales-pitch. It's really exciting stuff (to me, at least!).
>>  
>>
>>> So far I have been just putting together what I have learned from 
>>> Hongwei's classes and books but I will definitely be checking out HtDP - 
>>> thank you for the suggestion!
>>>  
>>>
>>
>>> On Wednesday, March 28, 2018 at 3:13:37 AM UTC-4, Artyom Shalkhakov 
>>> wrote:
>>>>
>>>> Hi Lance,
>>>>
>>>> On Tuesday, March 27, 2018 at 9:40:55 PM UTC+6, Lance Galletti wrote:
>>>>>
>>>>> Hi ats users!
>>>>>
>>>>> I recently had the opportunity to give a talk at a hackathon about ATS 
>>>>> and coding productivity / quality. I thought I would share my slides here:
>>>>>
>>>>>
>>>>> https://docs.google.com/presentation/d/157VR0oQNTfUiiChYdbv77PYZkYKo_zkZfwRiqGv6sEY/edit?usp=sharing
>>>>>
>>>>> And the informal write up I am currently developing:
>>>>>
>>>>> https://github.com/galletti94/magnificATS/tree/master/INTRO
>>>>>
>>>>> If, like me, you are passionate about coding quality, methodology, 
>>>>> productivity, or functional programming and, of course ATS, please reach 
>>>>> out!
>>>>>
>>>>>
>>>> First off, I chuckled when I saw the name of the repo. :-)
>>>>
>>>> I want to write something about the C-style programming for ATS, but 
>>>> not quite have the time (or the guts or whatever it is I lack). It would 
>>>> be 
>>>> great to help fellow programmers learn more about ATS!
>>>>  
>>>>
>>>>> I would be happy to collaborate on the write up and hear your thoughts 
>>>>> about what drew YOU to ATS.
>>>>>
>>>>
>>>> I still view ATS as C-with-proper-type-system. :) This is what drew  me 
>>>> to ATS: you can write safe, efficient systems-level programs but this will 
>>>> require some theorem proving, bringing this academic discipline close to 
>>>> actual programming practice (or you can cast your way through the types, 
>>>> but then you're the one to blame if things go wrong). ATS helped me to 
>>>> improve my knowledge of C.
>>>>
>>>> Regarding your write-up, have you seen HtDP (How to Design Programs)? 
>>>> Their "design recipes" are somewhat similar IIRC (proceed top-down, 
>>>> refine, 
>>>> state pre- and post-conditions, provide examples of evaluation aka tests).
>>>>
>>>> Looking forward to connecting!
>>>>>
>>>>> Lance Galletti
>>>>> gall...@bu.edu
>>>>>
>>>>>
>>>>>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/be6003ab-8234-4872-9489-ac410f5b387d%40googlegroups.com.

Re: Intro to ATS - How to code productively

On Wednesday, March 28, 2018 at 9:34:37 PM UTC+6, Lance Galletti wrote:
>
> Hi Artyom!
>
> Thank you for your feedback! It is great to hear an advanced programmer's 
> perspective on the appeal of ATS. If you have the time it would be great to 
> incorporate into the write-up a section about this! :)
>
>
I wouldn't call myself an advanced programmer, but I've been interested in 
ATS programming for a lot of time, that's true.

I'll write a sales-pitch. It's really exciting stuff (to me, at least!).
 

> So far I have been just putting together what I have learned from 
> Hongwei's classes and books but I will definitely be checking out HtDP - 
> thank you for the suggestion!
>  
>

> On Wednesday, March 28, 2018 at 3:13:37 AM UTC-4, Artyom Shalkhakov wrote:
>>
>> Hi Lance,
>>
>> On Tuesday, March 27, 2018 at 9:40:55 PM UTC+6, Lance Galletti wrote:
>>>
>>> Hi ats users!
>>>
>>> I recently had the opportunity to give a talk at a hackathon about ATS 
>>> and coding productivity / quality. I thought I would share my slides here:
>>>
>>>
>>> https://docs.google.com/presentation/d/157VR0oQNTfUiiChYdbv77PYZkYKo_zkZfwRiqGv6sEY/edit?usp=sharing
>>>
>>> And the informal write up I am currently developing:
>>>
>>> https://github.com/galletti94/magnificATS/tree/master/INTRO
>>>
>>> If, like me, you are passionate about coding quality, methodology, 
>>> productivity, or functional programming and, of course ATS, please reach 
>>> out!
>>>
>>>
>> First off, I chuckled when I saw the name of the repo. :-)
>>
>> I want to write something about the C-style programming for ATS, but not 
>> quite have the time (or the guts or whatever it is I lack). It would be 
>> great to help fellow programmers learn more about ATS!
>>  
>>
>>> I would be happy to collaborate on the write up and hear your thoughts 
>>> about what drew YOU to ATS.
>>>
>>
>> I still view ATS as C-with-proper-type-system. :) This is what drew  me 
>> to ATS: you can write safe, efficient systems-level programs but this will 
>> require some theorem proving, bringing this academic discipline close to 
>> actual programming practice (or you can cast your way through the types, 
>> but then you're the one to blame if things go wrong). ATS helped me to 
>> improve my knowledge of C.
>>
>> Regarding your write-up, have you seen HtDP (How to Design Programs)? 
>> Their "design recipes" are somewhat similar IIRC (proceed top-down, refine, 
>> state pre- and post-conditions, provide examples of evaluation aka tests).
>>
>> Looking forward to connecting!
>>>
>>> Lance Galletti
>>> gall...@bu.edu
>>>
>>>
>>>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/cb56f1f9-09a9-41eb-ab87-5b9bf1eb6bea%40googlegroups.com.

Re: Example code for traits/mixins/multiple inheritance

Hi Brandon,

On Saturday, March 10, 2018 at 3:50:19 AM UTC+6, Brandon Barker wrote:
>
> There is a small part of a project 
>  I'd like to convert 
> to ATS where linear types could be helpful in tracking cancellation of 
> running tasks (and other things I'm probably forgetting just now, but are 
> on the issue tracker). The part 
> 
>  
> I'm interested in tackling here implements referentially transparent 
> methods on reactive variables. I'm sure I can find a way to do this without 
> traits (mixins) but want to maintain as direct a port as possible. I have a 
> feeling the answer may involve templates.
>
> The other part of the project would be cool too, but it kind of depends on 
> xml literals being a thing (or later, XML interpolation): using scala.js to 
> write web pages that depend on these reactive variables. It is quite a fun 
> little framework.
>

Seems like a lot of fun! How does it work? I was at some point thinking of 
faking HTML/XML literals in ATS using a preprocessor 

...

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/4ab44d66-a03c-4326-b62c-0299c0527a1d%40googlegroups.com.

Re: Flat memory underlying dataviewtypes

Hi Andrew,

Could you please post a link to the library? Thanks. :)

On Wednesday, March 21, 2018 at 12:35:46 AM UTC+6, Andrew Knapp wrote:
>
> Hello,
>
> I'd like to be able to send dataviewtypes as messages in a low-latency ipc 
> library I've written.
>
> In this scenario, any use of malloc is unacceptable. Everything must be 
> allocated from a memory pool or the stack, but datavtype constructors 
> always allocate on the heap.
>
> What is the best way to access to the size and flat memory of the 
> datavtype's tagged union, preferably in a typesafe manner? You can do this 
> by a hack like
>
> dataviewtype message =
>   | Bar of (int, double)
>   | Baz of (double, double)
>
> #define BAR 0
> #define BAZ 1
>
> typedef BAR_ = @{
>   contag = int,
>   atslab__0 = int,
>   atslab__1 = double
> }
>
> typedef BAZ_ = @{
>   contag = int,
>   atslab__0 = double,
>   atslab__1 = double
> }
>
> and then using $UNSAFE.cast{Foo} on a pointer to stack or pool allocated 
> memory of size FOO_SIZE = max(sizeof, sizeof), which has had 
> its contag set to BAR or BAZ via another unsafe cast.
>
> Unfortunately there is really a lot of boilerplate here and it will be 
> easy for things to get out of sync with datatype definitions, especially 
> with a lot of constructors. Moreover, FOO_SIZE is not a static constant, so 
> you can't just write something like var buf : @[char][FOO_SIZE*N]
>
> Also, is there an equivalent of the placement new operator in C++?
>
> Thanks,
> Andrew
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/12019913-de9d-4af2-9f9e-284e31b45b72%40googlegroups.com.

Re: Intro to ATS - How to code productively