Re: glot.io, a code pastebin that can also run your code, now supports ATS.

2016-05-09 Thread Steinway Wu
Sure, but where can I find the source file for the logo? On Saturday, May 7, 2016 at 5:28:38 PM UTC-4, gmhwxi wrote: > > Could you also make ATS logo shown in the entry for ATS? > > On Saturday, May 7, 2016 at 2:18:45 PM UTC-4, Steinway Wu wrote: >> >> Hi, >> >

Re: glot.io, a code pastebin that can also run your code, now supports ATS.

2016-05-10 Thread Steinway Wu
Sure, it is merged. It will be published in the next deployment. On Monday, May 9, 2016 at 9:57:03 AM UTC-4, gmhwxi wrote: > > It is here: > > > https://github.com/githwxi/ATS-Postiats/blob/master/doc/PROJECT/MEDIUM/ats2langweb/theLogo/theLogo.png > > On Mon, May 9, 2016 at

glot.io, a code pastebin that can also run your code, now supports ATS.

2016-05-07 Thread Steinway Wu
Hi, I recently came across glot.io, an online service that lets you run and share snippets. It is open source, so I took the opportunity to add support for our ATS programming language. They use docker image to run ATS code, and the image I provide contains not only ATS, but also

Thinking about moving this group to Discourse.

2016-07-14 Thread Steinway Wu
Hi friends, I'm thinking about moving Google Group to a self-hosted Discourse. Discourse is an online discussion kit, http://www.discourse.org, very much like a forum version of Stack Overflow. It's founded by the founder of StackOverflow. I think it is beneficial for several reasons. 1.

Re: Linear component may be abandoned.

2016-07-14 Thread Steinway Wu
tion > in ATS is to use call-by-reference when linear data is handled. > > 3. The 'xs' on the right-hand side is a variable (with address); its > content needs to be taken out before free@ can be called. > > > > > On Thu, Jul 14, 2016 at 9:20 AM, Steinway W

Linear component may be abandoned.

2016-07-14 Thread Steinway Wu
Hi, In `stream_vt.dats`, I saw the following snippets, fun {a:vt0p} {b:vt0p} stream_vt_map_con (xs: stream_vt (a)) : stream_vt_con (b) = let val xs_con = !xs in case+ xs_con of | @stream_vt_cons(x, xs) => let val y = stream_vt_map$fopr (x) // fopr is of type {a,b:vt@ype}

StackOverflow Documentation Beta

2016-07-21 Thread Steinway Wu
Hi, @Hongwei I received an ad from StackOverflow, introducing their "Documentation" feature in beta, here http://stackoverflow.com/tour/documentation. It seems useful for us, too. You can have a look. It needs at least five requests for the #ats tag to allow us to create documents. Anyone

Re: Embedding differential equations into types

2016-07-17 Thread Steinway Wu
hope is that dReal can be used to solve such constraints effectively > in practice. > > On Saturday, July 16, 2016 at 11:53:42 PM UTC-4, Steinway Wu wrote: >> >> I'm a little confused. This is solved using z3, not using dReal, right? >> So what's the relation with dReal

Re: Embedding differential equations into types

2016-07-16 Thread Steinway Wu
I'm a little confused. This is solved using z3, not using dReal, right? So what's the relation with dReal/dReach here? On Monday, June 13, 2016 at 6:08:13 PM UTC-4, gmhwxi wrote: > > The directory is renamed as follows: > > >

A demo of memorizing functions in ATS

2016-07-10 Thread Steinway Wu
Hi, In a practice, I encountered a problem of memorizing functions. Given a function `f`, a memorized version of `f`, called `memo f` should cache the results of `f` applying on some `input`. I tried a demo here https://glot.io/snippets/egflakau5h, which shows a generic implementation of the

Re: A demo of memorizing functions in ATS

2016-07-10 Thread Steinway Wu
Thanks, I forgot to save it after debug. Now it works. On Sunday, July 10, 2016 at 9:38:49 PM UTC-4, gmhwxi wrote: > > Please change > > memo1 > > to > > memo1<int, int> > > Also, please delete the line "staload .../gorder_int.dats" > > On Su

Re: Declaring a static constant with an external name

2016-06-30 Thread Steinway Wu
This is so cool! On Wednesday, June 29, 2016 at 1:24:12 PM UTC-4, gmhwxi wrote: > > > In ATS2-0.2.8, a static constant can now be declared with an external name: > > For instance: > > stacst sine_of_real : real -> real = "ext#sin" > > This is useful when constraints generated during typechecking

Re: Support in ATS for using external packages

2017-01-19 Thread Steinway Wu
It seems that the change breaks the build of ATS-Postiats-contrib. I can no longer compile atscc2js/2erl/2clj etc. It can not find source files any more and reporting errors like ".PATSRELOCROOT-$USER/SATS/json.sats is not available". On Tuesday, January 3, 2017 at 2:45:09 PM UTC-5, gmhwxi

A demo of Union/Find algorithm in ATS

2016-09-09 Thread Steinway Wu
Hi, I was reading a chapter about type inference and constraint solving in ML. It mentioned a quick Union/Find algorithm for testing equivalent classes. I translate the code into ATS, and pasted here at [glot.io: Union/Find]( https://glot.io/snippets/eiaoq3icf1) Just for fun. -- Steinway Wu

Re: A demo of Union/Find algorithm in ATS

2016-09-09 Thread Steinway Wu
Updated, thanks! On Friday, September 9, 2016 at 7:07:55 PM UTC-4, gmhwxi wrote: > > > I suggest: > > fun{} addr_of{a:t@ype} (pt a): ptr > > Casting a pointer(64bit) to an integer(32bit) is a bit dangerous. > > > On Friday, September 9, 2016 at 5:36:35 PM UTC-

Share a Link: a Lisp Machine

2016-09-09 Thread Steinway Wu
Just share a link from hacker news, a lisp machine. http://www.technoblogy.com/show?1GX1 -- Steinway Wu Sent with Airmail -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving e

Sublime Text - Build/Type Check with hot key

2016-10-06 Thread Steinway Wu
Hi, https://gist.github.com/steinwaywhw/27d8fbb569cf178d08d9465aa92c741e I’m sharing my SublimeText script for building/typechecking ATS files. After loading this plugin, and filling the blanks, press the hotkey for Build (on mac, it is cmd+b/cmd+shift+b), it will compile/typecheck the program.

Re: Ask/Answer ATS-related questions on StackOverflow

2016-10-16 Thread Steinway Wu
yes... but not a big issue though. hope we could have more people interested in ATS and ask questions there. On Sunday, October 16, 2016 at 7:02:43 AM UTC-4, Kiwamu Okabe wrote: > > On Sun, Oct 16, 2016 at 3:20 AM, gmhwxi wrote: > > http://stackoverflow.com/tags/ats/info >

Re: Support in ATS for using external packages

2017-01-06 Thread Steinway Wu
I just played with it on my ats-utils package. I published it here, https://www.npmjs.com/package/ats-utils so that others can try out. It is under MIT license. On Tuesday, January 3, 2017 at 2:45:09 PM UTC-5, gmhwxi wrote: > > > > ## > # > # For the moment, I am using ats-lang-users for

Re: Adding join patterns to ATS

2016-12-22 Thread Steinway Wu
Since you already have some experience with JoCaml, would you mind sharing some code examples, or slides that you have? I would like to learn more about it. On Wednesday, December 21, 2016 at 4:23:57 PM UTC-5, Ian MathWiz wrote: > > I've seen some other feature/roadmap ideas on this list, so I

Re: Adding join patterns to ATS

2016-12-22 Thread Steinway Wu
I didn't know Join-calculus before, but this definitely looks interesting to me. It seems that it can encode pi-calculus to some degree, but I haven't fully investigate that paper. But just for your information, ATS supports session types which I think is relevant here. You may want to have a

Re: (Co)monads in ATS

2017-03-17 Thread Steinway Wu
Great note! On Thursday, March 16, 2017 at 11:20:54 AM UTC-4, August Alm wrote: > > Hi all! > > I just wrote down some sketchy thoughts on monads and comonads in ATS. ATS > has a very unique type system, so there are (co)monads in ATS that simply > do not exist in other languages. I'm wondering

Re: pandoc supports ATS syntax highlighting

2017-04-19 Thread Steinway Wu
't tell anyone. Have it spring up from an unrelated > source. You just made my day, thanks, Kiwamu. :) > > >> >> On Apr 18, 2017 7:45 AM, "gmhwxi" <gmh...@gmail.com> wrote: >> >>> author="Kiwamu Okabe (...)" >>> >>> O

pandoc supports ATS syntax highlighting

2017-04-17 Thread Steinway Wu
Hey friends, I just came across this, https://github.com/jgm/skylighting/blob/master/xml/ats.xml, when I was writing a latex documents indirectly by using markdown/pandoc. I found that Pandoc natively supports ATS syntax highlighting, which generates pretty LaTex/PDF files. That's AMAZING! I

Re: Deech's talk and slides from StrangeLoop 2017

2017-10-02 Thread Steinway Wu
Hi Aditya, Great talk! You did a great job presenting a difficult system in a easy-to-understand way :) Just wanna point out a detail. Proofs are dynamic terms (of sort "prop"). So they are not really "type-level". But I guess it is ok to say "type-level" in the talk since they will be

Re: Deech's talk and slides from StrangeLoop 2017

2017-10-02 Thread Steinway Wu
Hi Aditya, Your talk is also featured on *The Verge*! Congratulations! https://www.theverge.com/2017/10/2/16404152/strange-loop-2017-programming-talks-youtube On Monday, October 2, 2017 at 3:02:03 AM UTC-4, Artyom Shalkhakov wrote: > > Seen on reddit: > > >

Re: Static Templates

2017-10-22 Thread Steinway Wu
ain of meta-programming. > > In general, it is very difficult to do meta-programming in a typeful > manner. Often one tries to write code to generate code that may > contain type-error and then apply typechecking to the generated code. > > On Friday, October 20, 2017 at 5:45:45 PM UTC-4,

Static Templates

2017-10-20 Thread Steinway Wu
Hi, We now have dynamic templates, parameterized by static terms. Is it possible to have some simple form of static templates like the followings? Or is there any other way to make static functions ad-hoc polymorphic? datasort typelist = | tnil of () | tcons of (t@ype, typelist) #define ::

Re: Best way to handle short-living linear objects

2017-10-20 Thread Steinway Wu
I guess you can define \cross and * as functions that consumes the linear list and return a new one? On Friday, October 20, 2017 at 10:11:00 AM UTC-4, Russoul wrote: > > Let's treat `list_vt(a,n)` as algebraic vector of dim 'n'. Then let's > perform some operations on a bunch of them: > >

Re: ATS3: ATS/Xanadu

2018-02-13 Thread Steinway Wu
Hi Hongwei, just for the record, let me put down some offline discussions. 1. Programmers can decide how a literal is parsed, or even write some plugins to parse some custom literals. For instance, 1 can be interpreted as int, nat, and int(1) etc. Programmers should be able to either turn a