In an effort to consolidate some resources around github, the new wiki can
be found at:
It now has over 35 articles on ATS (that aren’t complete stubs). To be
fair, most of them could still use a lot of work.
A new feature that has been put on the wiki to help facilitate
review/additions is the TODO;
Happy friday and happy editing.
In an effort to consolidate some resources around github, the new wiki can
be found at:
Just wanted to say I don’t forget your mail. If I’m long, this is just that
I’m still investigating ATS2… does not mean I forget the wiki.
Well, I spoke too soon, the diffs still look pretty bad, but I don’t know
why.On Thu, Oct 2, 2014 at 9:16 AM, Brandon Barker brandon...@gmail.com wrote:
I re-cloned the wiki at GitHub - bbarker/ATS-Postiats-wiki: A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki,
mainly as a convenient place to view diffs. Previously, the diffs were
pretty bad at times due to not handling end-of-lines correctly in the
merge, but this should no longer be an issue.On Mon, Sep 29, 2014 at 1:24 PM, Hongwei Xi gmh...@gmail.com wrote:
Thanks for your effort!
It is a wiki, so feel free to write down what you think is the best
interpretation of these keywords.On Sun, Sep 28, 2014 at 4:37 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le dimanche 28 septembre 2014 22:36:41 UTC+2, Yannick Duchêne a écrit :
Le vendredi 8 août 2014 23:43:32 UTC+2, Brandon Barker a écrit :
In an effort to consolidate some resources around github, the new wiki
can be found at:As keywords and their summarized meaning is an important entry point to
the knowledge and understanding of a language (as much important as the
language’s grammar), I wanted to start completing the already started page
on keywords. But I’m always afraid of making errors, so would feel a bit
better is anyone would have even a quick review of it.Oh, sorry, I forget the link:
https://github.com/githwxi/ATS-Postiats/wiki/keywords–
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqnn--ZyWVSV4PjxaP2dtUw1q84KZ8p--bfgScyHuY0Qw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqnn--ZyWVSV4PjxaP2dtUw1q84KZ8p--bfgScyHuY0Qw%40mail.gmail.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brandon...@gmail.com
Brandon Barker
brandon...@gmail.com
Hi Kiwamu,
This is very cool; I was a bit worried about how the wikis might stay
synchronized:
“The po4a (PO for anything) project goal is to ease translations (and more
interestingly,* the maintenance of translations*).”
Github’s notification system and lack of diff view for wiki changes is
currently not so great; hopefully that will change. This probably puts you
in a better position than most to track changes (i.e. catch my mistakes :)).
I added a clone for this just now (
GitHub - bbarker/ATS-Postiats-wiki: A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki), but the downside is that it
requires me to manually update fetch, merge, and push, though I can
probably find a way to automate it.
Brandon Barker
brandon...@gmail.com
Hi Brandon,
In an effort to consolidate some resources around github, the new wiki
can
be found at:We start to translate it into Japanese, today.
(Using http://po4a.alioth.debian.org/.)GitHub - jats-ug/ATS-Postiats-wiki: ATS公式Wikiの翻訳リポジトリ
The wiki includes the information what I did want to know half a year ago.
I believe beginners can learn ATS language more easily and speedily on
side of your work.Thank’s for your great work!
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmGDPQk-U3EQ4DsugiAiXFG88pF4QUAaXrKbBiUR_qz_A%40mail.gmail.com
.
In an effort to consolidate some resources around github, the new wiki can
be found at:
Broken link detected on
Frequently asked questions · githwxi/ATS-Postiats Wiki · GitHub.
The sentence “For ATS, there is an unofficial (and incomplete) reference
available” ends with a link which leads to a 404 error page.
Happy friday and happy editing.
Is the wiki to be edited on‑site or using SVN? (I’m asking about it,
because there is a link to locally clone the wiki).
Thanks, that helps (also I like this style of figure). In may try in the
next few days to set it up so I can track the novel jats-ug wiki additions.
I added it to an internationalization page
https://github.com/githwxi/ATS-Postiats/wiki/internationalization in case
other parties are interested, though I have to admit, I would be
(pleasantly) surprised if it is the case in the next few years.
Also, thank you and everyone else who has started editing the wiki. I think
it is starting to be a usable resource.
Brandon Barker
brandon...@gmail.com
Hi Brandon,
Umm… I think it has no problem. Because my work flow is:
I write a figure to explain the workflow.
Thank’s,
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dnaVq0ca9hg3PAFGQ59LYOMf%3DkMygCFf8rXs6CUiRrc%2Bw%40mail.gmail.com
.
No problem - it is a great type of activity to do while not having
quite enough sleep :).
Depends on why one does not have enough sleep 
(just teasing, nothing bad)
Another possibility is to copy examples from the ATS book (if you
don’t mind, though of course a reference is good), in order to have a
different way of finding relevant topics.
So with a link to the original, otherwise people will get lost (wondering
what’s the authoritative reference).
Sure. Please feel free to copy examples from the ATS book.On Friday, August 8, 2014 6:36:27 PM UTC-4, Brandon Barker wrote:
No problem - it is a great type of activity to do while not having
quite enough sleep :).I actually think there is probably a fair bit of content on this forum
I’ve missed in adding, since there have been periods recently where I
haven’t been as diligent as I would like.Another possibility is to copy examples from the ATS book (if you
don’t mind, though of course a reference is good), in order to have a
different way of finding relevant topics.Brandon Barker
brand...@gmail.com <javascript:>On Fri, Aug 8, 2014 at 6:00 PM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:
That’s a great effort. Thanks a lot!
On Friday, August 8, 2014 5:43:32 PM UTC-4, Brandon Barker wrote:
In an effort to consolidate some resources around github, the new wiki
can
be found at:Home · githwxi/ATS-Postiats Wiki · GitHub
It now has over 35 articles on ATS (that aren’t complete stubs). To be
fair, most of them could still use a lot of work.A new feature that has been put on the wiki to help facilitate
review/additions is the TODO;TODO · githwxi/ATS-Postiats Wiki · GitHub
Happy friday and happy editing.
–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
Hi Brandon,On Fri, Aug 15, 2014 at 2:40 AM, Kiwamu Okabe kiw...@gmail.com wrote:
Umm… I think it has no problem. Because my work flow is:
I write a figure to explain the workflow.
Thank’s,
Kiwamu Okabe at METASEPI DESIGN
No problem - it is a great type of activity to do while not having
quite enough sleep :).
I actually think there is probably a fair bit of content on this forum
I’ve missed in adding, since there have been periods recently where I
haven’t been as diligent as I would like.
Another possibility is to copy examples from the ATS book (if you
don’t mind, though of course a reference is good), in order to have a
different way of finding relevant topics.
Brandon Barker
brandon…@gmail.comOn Fri, Aug 8, 2014 at 6:00 PM, gmhwxi gmh...@gmail.com wrote:
That’s a great effort. Thanks a lot!
On Friday, August 8, 2014 5:43:32 PM UTC-4, Brandon Barker wrote:
In an effort to consolidate some resources around github, the new wiki can
be found at:Home · githwxi/ATS-Postiats Wiki · GitHub
It now has over 35 articles on ATS (that aren’t complete stubs). To be
fair, most of them could still use a lot of work.A new feature that has been put on the wiki to help facilitate
review/additions is the TODO;TODO · githwxi/ATS-Postiats Wiki · GitHub
Happy friday and happy editing.
–
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/a41cd796-92c4-401f-9bcf-e66a25e26c8b%40googlegroups.com.
I believe that missing pdf is from Chris Double, so I’m replying to
him for advice. I’m guessing that removing it may be the best thing,
since I think it is for ATS1.
I believe editing on site is probably easier in most cases than I can
think of. The git repo may be good for doing full text searches of the
wiki, which are sadly not an option using github’s web interface at
the moment (but I sent them an e-mail to request the feature).
Thanks!
Brandon Barker
brandon…@gmail.comOn Sat, Aug 9, 2014 at 8:21 PM, ‘Yannick Duchêne’ via ats-lang-users ats-lan...@googlegroups.com wrote:
Le vendredi 8 août 2014 23:43:32 UTC+2, Brandon Barker a écrit :
In an effort to consolidate some resources around github, the new wiki can
be found at:Broken link detected on
Frequently asked questions · githwxi/ATS-Postiats Wiki · GitHub. The
sentence “For ATS, there is an unofficial (and incomplete) reference
available” ends with a link which leads to a 404 error page.Happy friday and happy editing.
Is the wiki to be edited on‑site or using SVN? (I’m asking about it, because
there is a link to locally clone the wiki).–
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/f1909948-c8af-4ca3-b033-8e1486f41347%40googlegroups.com.
Hi Brandon,On Sun, Aug 17, 2014 at 1:25 AM, Brandon Barker brandon...@gmail.com wrote:
I added it to an internationalization page in case other parties are
interested, though I have to admit, I would be (pleasantly) surprised if it
is the case in the next few years.
Ah, great.
I think anyone can translate the wiki into the other language.
Perhaps, I write the detail into internationalization page.
Thank’s for your challenge,
Kiwamu Okabe at METASEPI DESIGN
In an effort to consolidate some resources around github, the new wiki
can be found at:As keywords and their summarized meaning is an important entry point to
the knowledge and understanding of a language (as much important as the
language’s grammar), I wanted to start completing the already started page
on keywords. But I’m always afraid of making errors, so would feel a bit
better is anyone would have even a quick review of it.
Oh, sorry, I forget the link:
Hi Brandon,On Fri, Aug 15, 2014 at 2:06 AM, Brandon Barker brandon...@gmail.com wrote:
This is very cool; I was a bit worried about how the wikis might stay
synchronized:“The po4a (PO for anything) project goal is to ease translations (and more
interestingly, the maintenance of translations).”Github’s notification system and lack of diff view for wiki changes is
currently not so great; hopefully that will change. This probably puts you
in a better position than most to track changes (i.e. catch my mistakes :)).I added a clone for this just now
(GitHub - bbarker/ATS-Postiats-wiki: A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki), but the downside is that it
requires me to manually update fetch, merge, and push, though I can probably
find a way to automate it.
Umm… I think it has no problem. Because my work flow is:
$ pwd
/home/kiwamu/doc/ATS-Postiats-wiki.jats-ug
$ git branch -a
$ git branch
$ make updatepo
po4a-updatepo -M utf8 -f text -m compiler-errors.md -m
Scientific-Computing.md -m Built-in-operators.md -m
Building-and-installing.md -m Internal-types.md -m tutorials.md -m
Strings.md -m safety.md -m ATSLF.md -m Stack-and-heap-allocation.md -m
Rosetta-Stone.md -m atslib.md -m Home.md -m code-generation.md -m
typechecking-errors.md -m Contributed-Libraries.md -m FAQ.md -m
dataviewtype.md -m runtime-errors.md -m staload.md -m
Built-in-constraint-solving.md -m overload.md -m char.md -m
Memory-leaks.md -m Typechecking-directives.md -m README.md -m type.md
-m effects.md -m atspkgreloc.md -m Built-in-datatypes.md -m TODO.md -m
loops.md -m dynload.md -m Error-messages.md -m Code-optimization.md -m
sort.md -m Frequently-asked-questions.md -m atsdoc.md -m template.md
-m Contrib.md -m Compiling-ATS-code.md -m Style-guide.md -p po/ja.po
… done.
$ git diff|tail -20
#. type: Plain text
-#: char.md:37
-#, no-wrap
+#: Contrib.md:25
msgid “”
-“ocaml\n" -"(*\n" -" HX: the return is dynamically allocated\n" -"*)\n" -"fun tostring_char\n" -" (c: char):<> strnptr(1) = \"mac#%\"\n" -"overload tostring with tostring_char\n" -"\n”
+“In order to switch between using these various packages, [[atspkgreloc|”
+"atspkgreloc]] is a useful tool that may automate the process. It can "
+“additionally be used with other repositories or forms of code storage.”
msgstr “”
#. type: Plain text
$ make
po4a-translate -M utf8 -f text -k 0 -m compiler-errors.md -p po/ja.po
-l ja/compiler-errors.md
po4a-translate -M utf8 -f text -k 0 -m Scientific-Computing.md -p
po/ja.po -l ja/Scientific-Computing.md
po4a-translate -M utf8 -f text -k 0 -m Built-in-operators.md -p
po/ja.po -l ja/Built-in-operators.md
–snip–
po4a-translate -M utf8 -f text -k 0 -m Contrib.md -p po/ja.po -l ja/Contrib.md
po4a-translate -M utf8 -f text -k 0 -m Compiling-ATS-code.md -p
po/ja.po -l ja/Compiling-ATS-code.md
po4a-translate -M utf8 -f text -k 0 -m Style-guide.md -p po/ja.po -l
ja/Style-guide.md
$ git status
On branch translate_ja
Your branch is ahead of ‘origin/translate_ja’ by 21 commits.
(use “git push” to publish your local commits)
Changes not staged for commit:
(use “git add …” to update what will be committed)
(use “git checkout – …” to discard changes in working directory)
modified: ja/Building-and-installing.md
modified: ja/Frequently-asked-questions.md
modified: ja/TODO.md
modified: ja/atsdoc.md
modified: ja/atslib.md
modified: po/ja.po
Untracked files:
(use “git add …” to include in what will be committed)
ja/ATSLF.md
ja/Contrib.md
ja/Contributed-Libraries.md
no changes added to commit (use “git add” and/or “git commit -a”)
$ git diff ja/Building-and-installing.md | tail
+If that does not work, it is worth trying to clean up ATSLIB as well:
make -f codegen/Makefile_atslib cleanall
The above make rule should be executed whenever one wishes to use updated
-[atslib] code from the upstream github repository.
+[ATSLIB] code from the upstream github repository.
$ git add .
$ git commit -m update
[translate_ja 4c55ee8] update
9 files changed, 466 insertions(+), 293 deletions(-)
create mode 100644 ja/ATSLF.md
create mode 100644 ja/Contrib.md
create mode 100644 ja/Contributed-Libraries.md
$ git push
Counting objects: 58, done.
Delta compression using up to 4 threads.
Compressing objects: 100% (57/57), done.
Writing objects: 100% (58/58), 11.82 KiB | 0 bytes/s, done.
Total 58 (delta 35), reused 0 (delta 0)
To git@github.com:jats-ug/ATS-Postiats-wiki.git
1c3b274…4c55ee8 translate_ja → translate_ja
Then, we can track you!
Thank’s,
Kiwamu Okabe at METASEPI DESIGN
Fixed it.On Sun, Sep 28, 2014 at 12:14 AM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le vendredi 8 août 2014 23:43:32 UTC+2, Brandon Barker a écrit :
In an effort to consolidate some resources around github, the new wiki
can be found at:Broken link on that page:
ATSLIB · githwxi/ATS-Postiats Wiki · GitHubThe link to
doc/EXAMPLE/ATSLIBends into a 404 Error (can’t fix it
myself, as I don’t know what the correct location is)–
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/3eb0781e-c7dd-4492-bafd-fa1a6eb4835d%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/3eb0781e-c7dd-4492-bafd-fa1a6eb4835d%40googlegroups.com?utm_medium=email&utm_source=footer
.
In an effort to consolidate some resources around github, the new wiki can
be found at:
As keywords and their summarized meaning is an important entry point to the
knowledge and understanding of a language (as much important as the
language’s grammar), I wanted to start completing the already started page
on keywords. But I’m always afraid of making errors, so would feel a bit
better is anyone would have even a quick review of it.
I will try to complete it again later (it’s a very important page to me,
and I believe, to some others too).
I feel a page for the grammar would be worth too (but I’m not sure it’s
actually feasible).
I re-cloned the wiki at GitHub - bbarker/ATS-Postiats-wiki: A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki,
mainly as a convenient place to view diffs. Previously, the diffs were
pretty bad at times due to not handling end-of-lines correctly in the
merge, but this should no longer be an issue.On Mon, Sep 29, 2014 at 1:24 PM, Hongwei Xi gmh...@gmail.com wrote:
Thanks for your effort!
It is a wiki, so feel free to write down what you think is the best
interpretation of these keywords.On Sun, Sep 28, 2014 at 4:37 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le dimanche 28 septembre 2014 22:36:41 UTC+2, Yannick Duchêne a écrit :
Le vendredi 8 août 2014 23:43:32 UTC+2, Brandon Barker a écrit :
In an effort to consolidate some resources around github, the new wiki
can be found at:As keywords and their summarized meaning is an important entry point to
the knowledge and understanding of a language (as much important as the
language’s grammar), I wanted to start completing the already started page
on keywords. But I’m always afraid of making errors, so would feel a bit
better is anyone would have even a quick review of it.Oh, sorry, I forget the link:
keywords · githwxi/ATS-Postiats Wiki · GitHub–
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqnn--ZyWVSV4PjxaP2dtUw1q84KZ8p--bfgScyHuY0Qw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqnn--ZyWVSV4PjxaP2dtUw1q84KZ8p--bfgScyHuY0Qw%40mail.gmail.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com
Thanks for your effort!
It is a wiki, so feel free to write down what you think is the best
interpretation of these keywords.On Sun, Sep 28, 2014 at 4:37 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le dimanche 28 septembre 2014 22:36:41 UTC+2, Yannick Duchêne a écrit :
Le vendredi 8 août 2014 23:43:32 UTC+2, Brandon Barker a écrit :
In an effort to consolidate some resources around github, the new wiki
can be found at:As keywords and their summarized meaning is an important entry point to
the knowledge and understanding of a language (as much important as the
language’s grammar), I wanted to start completing the already started page
on keywords. But I’m always afraid of making errors, so would feel a bit
better is anyone would have even a quick review of it.Oh, sorry, I forget the link:
keywords · githwxi/ATS-Postiats Wiki · GitHub–
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/f0618788-5e7e-4cd7-b634-790bea6c2d3a%40googlegroups.com?utm_medium=email&utm_source=footer
.
In an effort to consolidate some resources around github, the new wiki can
be found at:
Broken link on that page:
The link to doc/EXAMPLE/ATSLIB ends into a 404 Error (can’t fix it
myself, as I don’t know what the correct location is)
Hi Brandon,On Sat, Aug 9, 2014 at 6:43 AM, Brandon Barker brandon...@gmail.com wrote:
In an effort to consolidate some resources around github, the new wiki can
be found at:
We start to translate it into Japanese, today.
(Using http://po4a.alioth.debian.org/.)
The wiki includes the information what I did want to know half a year ago.
I believe beginners can learn ATS language more easily and speedily on
side of your work.
Thank’s for your great work!
Kiwamu Okabe at METASEPI DESIGN