Re: Type signatures in ATS

the web visit > https://groups.google.com/d/msgid/ats-lang-users/32cd93be-10c2-476f-bb2c-ac35ea519499n%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/32cd93be-10c2-476f-bb2c-ac35ea519499n%40googlegroups.com?utm_medium=email_source=footer> > . > -- Cheers

Re: Type signatures in ATS

Hi Michael, Welcome! I think you need to pass one of the functions for which [print] stands for. It’s an overloaded symbol. Sent from my iPhone > On 29 May 2021, at 08:41, Michael Lan wrote: > > Hello, > > New ATS learner here. The following code does not compile: > > ``` > #include

Re: current status of libxatsopt

o6Ue7kB%2BWgV2VV-1ivGiwSsHEmN7pQ%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kz59RQCX4FKDDy%2Bo6Ue7kB%2BWgV2VV-1ivGiwSsHEmN7pQ%40mail.gmail.com?utm_medium=email_source=footer> > . > -- Cheers, Artyom Shalkhakov -- You received this message because you are sub

Re: current status of libxatsopt

/d/msgid/ats-lang-users/CAHjn2KyvpYfvLV0NfJSVt%2BbZEBcj8wtrK73Trb9ukdWRMwrmfw%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KyvpYfvLV0NfJSVt%2BbZEBcj8wtrK73Trb9ukdWRMwrmfw%40mail.gmail.com?utm_medium=email_source=footer> > . > -- Cheers, Artyom Shalkhakov -- You received

Re: Learn ATS in Y minutes -- request for documentation review

Hi Mark, This is great. Thanks! I’ll take a closer look. Надіслано з iPhone > 17 січ. 2021 р. о 08:30 mark.l@gmail.com пише: > >  > Hi all, > > Learn X in Y Minutes has community-made documentation for programming > languages and tools, as example-driven "whirlwind tours" of each

Re: ignoring the datavtype

val () = $BS.free x.1 > } > } > val () = $BS.free( time) > val () = $BS.free( rawpayload) > val () = $BS.free( hws) > *val () = $BS.free( millis)* > ``` > > So is it expe

Re: Accessing the contents of a pointer(pointing to a linear type) within a record

> 2 лист. 2020 р. о 20:40 d4v3y_5c0n3s пише: > > Hey, so, I'm trying to figure out how to make an accessor to a type that > I've created in a personal project. The type resembles the following: > vtypedef pointer_in_rec = [a:vt@ype][l:addr] @{ pointer=(a @ l, mfree_gc_v(l) > | ptr l) } I

Re: debugging constraint error

(* consumes l, decrease recnt >> of res *) >> end >> ``` >> I assume, that compiler has issues with some of bold constraints of >> appendC function, but I am not sure as well as I am not sure how to debug >> it other than changing constraints one by one >> &

Re: sizeof() operator

n the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KxhqGS5QoEHj7%2Bs6wRwh1YjkOuannSJ%3D3ZaXwm4BYNOiQ%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KxhqGS5QoEHj7%2Bs6wRwh1YjkOuannSJ%3D3ZaXwm4BYNOiQ%40mail.gmail.com?utm_medium=email_source=footer>

Re: Garbage Collecting C objects

-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/b7b41717-ce6c-45fa-890c-d947c68fb894n%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/b7b41717-ce6c-45fa-890c-d947c68fb894n%40googlegroups.com

Re: How do I store a viewtype in an array and then access that value?

te it (copy it). >>> >>> You will have to use array_ptr_takeout instead. It will give you a >>> pointer to the i'th element of the array and a proof function for "trading" >>> the associated at-view for the full array view. >>> >>>

Re: How to specify a member of function argument not greater than 1？

пт, 18 сент. 2020 г. в 11:51, Kiwamu Okabe : > On Fri, Sep 18, 2020 at 5:44 PM Artyom Shalkhakov > wrote: > > Perhaps try `*` instead? I mean the function mul_bool1_bool1. The `||` > operator might be returning non-indexed bools. Yes, it's a macro: > > Ah! It's `+`! Thank y

Re: How to avoid to return uninitialized value on ATS2?

cussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmvx%3Dj%2B1cGF7%2BOSbUNXUiOuNkTvzb20MbvFDtozRynJRA%40mail.gmail.com > . > -- Cheers, Artyom Shalkhakov -- You received this message because you are subscribed to the Google Groups "ats-lang-users&q

A look at D templates

Hello all, I have come across this article: https://dlang.org/blog/2020/07/31/the-abcs-of-templates-in-d/ This makes me wonder how D templates can be compared to ATS templates? -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe

Re: constraint solving

; 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 view this discussion on the web vi

Re: unboxed datatypes

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 view this discussion on the web visit > https://groups.google.com/d/msgid/ats-

Re: unboxed datatypes

gt; "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 view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzhGehaEwJ1K7h1yA7F_

Re: unboxed datatypes

://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzsFUPptwSPgTrWVR%3DsoA42aSEmUXv4D-MAQAR_K8f%2BKw%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzsFUPptwSPgTrWVR%3DsoA42aSEmUXv4D-MAQAR_K8f%2BKw%40mail.gmail.com?utm_medium=email_source=footer> > . > -- C

Re: Issue with conditionally mutating a var twice

Additionally, you might want to use different variables for i. It’s allowed to use the same variable name in successive let bindings. The different i will have different types, making it simpler for type checker to solve constraints. Sent from my iPhone > On 16 Jul 2020, at 19:01, Hongwei Xi

Re: arrays and viewtypes

Hi Alexander, I guess you could also pass a reference to a stack allocated variable, but that would probably be very difficult to use due to proofs, initialization and the fact you’d be using a tuple. Much easier to use what you’ve already found or what Hongwei describes. Sent from my iPhone

Re: The current status of ATS3

C++ tells me that template-related >> bugs can be quite nasty, cutting big into the benefits from using >> templates. >> >> Maybe "powerful" is not the right word. There is raw power and there is >> controlled power. Kind of like nu

Re: The current status of ATS3

Hi Hongwei, Thank you very much for this work! On Monday, June 29, 2020 at 9:40:33 PM UTC+3, gmhwxi wrote: > > > For those interested in ATS3. > > Before I take a break, I would like to give you an update on the > implementation of ATS3. > > To put things into some sort of perspective, let me

Re: ATS2 libraries I've been working on

Hi Randy and welcome! This is nice! I think I might find these things very handy one day! On Thursday, June 25, 2020 at 2:35:33 AM UTC+3, randy...@gmail.com wrote: > > > First of all, I'd like to say hello to everyone. This is my first post > (please be kind). > > I've been playing with ATS

Re: HOAS encoding of lambda calculus with linear types

> On 7 Jun 2020, at 22:31, August Alm wrote: > >  > Thanks for commenting, Artyom! > > Yeah, I tried the !-modality. I even tried the ?! and the `dataget` castfn. > Can't get it to work. > As you may guess I'm also hoping to implement a parser of lambda-expressions > to abstract > syntax

Re: atscc doesn't compile hello world

ussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/b84b962a-1ba5-448b-8150-076dfcd987b0%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/b84b962a-1ba5-448b-8150-076dfcd987b0%40googlegroups.com?utm_medium=email_source=footer> > . > -- Ch

Re: Referential transparency in ATS

On Sunday, August 18, 2019 at 7:10:26 AM UTC+3, Brandon Barker wrote: > > Hi Artyom - would you mind sharing the repo URL, assuming it is open? > > Well, here it is: https://github.com/ashalkhakov/libatsc > On Thursday, August 8, 2019 at 2:49:43 AM UTC-4, Artyom Shalkhakov

Re: Referential transparency in ATS

h 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 intere

Re: An interesting talk on ATS

On Sunday, June 30, 2019 at 6:05:42 PM UTC+3, gmhwxi wrote: > > > Here it is: > > https://www.reddit.com/r/ATS/comments/c5xdtp/a_tase_of_ats/ > > Thanks for posting it here. I watched it a few days ago and it's very well put. Thanks Aditya! > Kudos to Aditya Siram! > -- You received this

Re: Temptory Docs Website

Hi Richard, Awesome, thank you so much for doing this! What help do you need? On Mon, Jun 3, 2019, 05:25 Richard wrote: > Hello all, > > Just a sneak peak of something I have been working on for documenting > ATS-Temptory. > > https://sparverius.github.io/tmplats-doc/ > > - Richard > > -- >

Re: Consume all linear props of a given form in the environment?

Hi Shimin and welcome! For me ATS is a place where I can bring some dry linear logic calisthenics to life with programming. So let's get started. On Saturday, June 1, 2019 at 2:33:37 AM UTC+3, Shimin Guo wrote: > > I'm thinking of using linear types for system administration. > Specifically, I

Re: Idea for new logo

On Thursday, May 30, 2019 at 9:06:57 PM UTC+3, Richard wrote: > > https://raw.githubusercontent.com/sparverius/ats-logo/master/ats.png > I like this. We could also update the current logo e.g. add some shadows. :) Unfortunately I'm not good at graphic design. -- You received this message

Re: libatscc: packaging

s, IIFE, UMD] module > support to atscc2js. Though it worked with a single file, I decided it had > little benefit over inline code blocks if there is no [easy] way to access > functions from the generated modules. > > Could you post this work somewhere? I'd like to have a look.

Re: Effectless ffi

On Monday, May 6, 2019 at 10:21:40 AM UTC+3, Richard wrote: > > Oops, did not see you responded Artyom! > Richard you're very welcome to put your own suggestions! Better to reiterate twice than none at all. :-) -- You received this message because you are subscribed to the Google Groups

Re: Effectless ffi

g-users. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/c440ad8c-9322-44ca-ba6e-c3aaeabe0ece%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/c440ad8c-9322-44ca-ba6e-c3aaeabe0ece%40googlegroups.com?utm_medium=email_sour

Re: Setting up ATS-Contrib

I've also found it experimentally that atslib needs to be built in the correct environment (and probably prelude as well). That is to say, build the libats and prelude in a "MSYS2 MinGW 64-bit shell". Assuming that your working dir is $PATSHOME: $ make -C ccomp/atslib -f Makefile clean $ make

Re: Setting up ATS-Contrib

ous system-provides functions, but shouldn't be too bad, I think. On Wed, Apr 3, 2019 at 2:33 AM Artyom Shalkhakov > wrote: > >> 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

Re: Setting up ATS-Contrib

> 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

Re: Setting up ATS-Contrib

t 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 < >

Re: Setting up ATS-Contrib

t 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, Ma

Re: Setting up ATS-Contrib

ly. >>>> 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 i

Re: Setting up ATS-Contrib

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, 2

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. > >

libatscc: packaging

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

Re: Referential transparency in ATS

ks! 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 Shalkhak

Re: Referential transparency in ATS

t; 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

Re: Referential transparency in ATS

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: >>> >>

Re: Referential transparency in ATS

ly, 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! > >

Re: Referential transparency in ATS

t;> 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: &g

Re: Referential transparency in ATS

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.

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 Brando

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

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 >> _,

Re: Call-by-value assignment

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

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

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 >

Re: ATS2 -> ATS3 Migration Effort

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

ATS3 metaprogramming and Spiral language

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

Re: Tuple parsing bug.

s-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_s

Re: Merging stream_vt

ize_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

Re: Merging stream_vt

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

Re: Merging stream_vt

> 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

Re: Happy Holidays!

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

Re: where do I get atscc2js from?

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 PA

Re: where do I get atscc2js from?

t; ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ; > > * > ^* > > *./CATS-parsemit/CATS/catsparse_all_da

Re: where do I get atscc2js from?

ve 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 : >> >>>

Re: where do I get atscc2js from?

cussion 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_source=footer> > . > --

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

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

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

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. &

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

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.

Re: GADT question

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

Re: ATS3: Parsing

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

Re: An "I suck at ATS" screencast

gt; 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_source=footer>

Re: An "I suck at ATS" screencast

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

Re: Postiats and C errors with array

m 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 > http

Re: Cross-compiling for Windows

, 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

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

le (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,

Re: Nix

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: >> >> htt

Re: Nix

ogle.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_source=footer> > . > -- Cheers, Artyom Shalkhakov -- You receive

Re: Functions from datasorts to datasorts

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_source=footer> > . &

ATS/C programming: a book

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.

Re: Intro to ATS - How to code productively

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 feedb

Re: Intro to ATS - How to code productively

d 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:

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

Re: ATSPackage: a build tool/package manager for ATS

Hi, On Sunday, February 18, 2018 at 12:50:54 PM UTC+6, vamc...@gmail.com wrote: > > Hi all, > > I have been working on atspkg for > some time now, and it finally has a stable configuration format, so I > figured the wider ATS community could benefit. > > It's

Re: ATS3: ATS/Xanadu

On Saturday, February 10, 2018 at 12:15:22 AM UTC+6, gmhwxi wrote: > > For the moment, I just want to open a thread for ATS3. > > I decided to pick ATS/Xanadu for the full project name. I like the name > Xanadu > because it is poetic and brings a feel of exoticness. > > ATS3 is supposed to be

Re: ATS3: ATS/Xanadu

If we talk syntax, why not adopt that of C? :-) 13 февр. 2018 г. 8:43 ПП пользователь "August Alm" написал: I second the preference for Haskell-style "let" and "where", which is to say no "end"s and no curly braces. Of course, this requires indentation to be syntactic and

Re: libatscc2js-rt: npm package for the libatscc2js runtime

ll_in_one'. Then > take > a look at the 'output' directory. > > I'll add a package.json into that directory and then submit a PR to you, if you don't mind. > > > On Sat, Oct 28, 2017 at 11:25 AM, Artyom Shalkhakov <artyom.s...@gmail.com > > wrote: > >

Re: libatscc2js-rt: npm package for the libatscc2js runtime

erything (so far) in ATS-Postiats/contrib is under MIT license. On Sat, Oct 28, 2017 at 10:15 AM, Artyom Shalkhakov < artyom.shalkha...@gmail.com> wrote: > Hello all, > > I've published this package here: > > https://www.npmjs.com/package/libatscc2js-rt > > At first

Re: ATStead: in-browser structured editing in ATS

oint me to the datatype that you use for that language? The current object language in ATStead has "lam" an "app" constructs, but not "fix" or "ifnz". On Thursday, October 19, 2017 at 12:09:59 PM UTC-4, Artyom Shalkhakov wrote: >> >> Hello all,

Re: ATS mode indentation

This is awesome! I'll try it on the weekend. Thank you! 14 окт. 2017 г. 1:24 AM пользователь "Andrew Knapp" написал: Both of those test cases should work now, as well as a lot of others. Some of the weird starting errors have been fixed, especially at the top level, but

Simple linear objects in ATSCC2JS

Hello all, Here's an example of a simple linear object in ATS: https://github.com/ats-lang/ats-lang.github.io/blob/master/DOCUMENT/INT2PROGINATS/CODE/CHAP_ABSVTYPE/timer.dats Can this be adapted to work in ATSCC2JS? This code:

Re: implement template based function on dependent type

22 A type is defined on the spot to help with instantiation of templates. > > On Monday, October 2, 2017 at 3:04:00 AM UTC-4, Artyom Shalkhakov wrote: >> >> On Sunday, October 1, 2017 at 7:11:19 PM UTC+6, gmhwxi wrote: >>> >>> I wrote something like this: >

Re: implement template based function on dependent type

On Sunday, October 1, 2017 at 7:11:19 PM UTC+6, gmhwxi wrote: > > I wrote something like this: > > extern > fun > {a:t@ype} > minus(x: a, y: a): a > extern > fun > {a:t@ype} > list_minus > {n:int} > (xs : list(a,n), ys : list(a,n)): list(a,n) > > implement > (a,n) > minus(xs, ys) =

Babelfish (AST parsing)

Hello all, Today I've stumbled upon this project: https://www.gitbook.com/book/bblfsh/documentation/details And we could create a driver targeted to ATS parsing by using their SDK: https://doc.bblf.sh/driver/sdk.html I guess this can be a worthwhile project. -- You received this message

Re: language-ats: ATS Support for Atom Text Editor

Hi Spencer, On Sunday, June 11, 2017 at 2:32:25 AM UTC+6, Spencer Hayes wrote: > > Hello Everyone, > > In case there are any of you who use Atom, I have released a preliminary > version of an ATS language pack for Atom titled "language-ats". You can > find more information about it on its Atom

Re: Handling command line arguments?

ATS-as-a-better-C/C++ idea. > On Sunday, May 14, 2017 at 5:16:08 AM UTC-4, Artyom Shalkhakov wrote: >> >> >> >> On Saturday, May 13, 2017 at 6:38:59 PM UTC+6, gmhwxi wrote: >>> >>> >>> Now, this package is functioning. >>> >>

Re: Handling command line arguments?

in a way that allows the code to work inside ATS and also >> work as >> a stand-alone package. >> >> On Wednesday, May 10, 2017 at 8:59:22 AM UTC-4, gmhwxi wrote: >>> >>> Good point! >>> >>> I have some ideas about this. I will make

Handling command line arguments?

Hi all, Is there a ready-made library for handling command line parameters? So far I found the following: https://github.com/githwxi/ATS-Postiats/blob/master/utils/jsonlst2arr/jsonlst2arr.dats Which sets up an example of what HX thinks should be done to deal with command-line arguments. Would

Re: Packaging ats3d

ges externally, please visit: > > https://github.com/githwxi/ATS-Postiats-test/tree/master/package > > On Thursday, April 27, 2017 at 11:17:50 PM UTC-4, Artyom Shalkhakov wrote: >> >> 2017-04-28 9:11 GMT+06:00 gmhwxi <...>: >> > >> > I made some cha

Re: Packaging ats3d

ay, April 27, 2017 at 2:56:23 AM UTC-4, Artyom Shalkhakov wrote: >> >> On Thursday, April 27, 2017 at 12:17:02 PM UTC+6, gmhwxi wrote: >>> >>> >>> Packaging ATS code is largely undocumented at this point. >>> >>> I suggest that we use a

Re: Packaging ats3d

On Thursday, April 27, 2017 at 12:17:02 PM UTC+6, gmhwxi wrote: > > > Packaging ATS code is largely undocumented at this point. > > I suggest that we use ats3d (https://github.com/ashalkhakov/ats3d) > as a concrete example to illustrate some key steps involved in forming > an npm-package for ATS

Re: The myatscc utility

Hi Hongwei, On Wednesday, April 26, 2017 at 6:24:19 AM UTC+6, gmhwxi wrote: > > > Often a file of ATS source code has to be compiled with the use of a > Makefile. > This can be quite inconvenient in practice. > > When teaching, I have to answer countless questions regarding the need of >

  1   2   >