-
masterq_mogumog
- 3220
- 0
- 0
- 3
-
- いいね！3
Japan ATS User Group
@jats_ug
#ATS2 にJSバックエンドができたので、Try ATS的ななにかが公開されたじゃなイカ #TryATS /... fb.me/1pH1MqMVn
2014-10-12 13:49:12
Japan ATS User Group
@jats_ug
INT2PROGINATS-CODEのページを開いてみるでゲッソ #ATS2 #TryATS /... fb.me/3v1lI6zxD
2014-10-12 13:49:54
Japan ATS User Group
@jats_ug
すると、Webブラウザにサンプルプログラムのリストが表示されるじゃなイカ #ATS2 #TryATS / flickr.com/photos/masterq… fb.me/6O2dGtsNo
2014-10-12 14:02:39
Japan ATS User Group
@jats_ug
"queens.dats(js)" をクリックするとこんなIDEが起動するでゲッソ！ #ATS2 #TryATS / flickr.com/photos/masterq… fb.me/6KiNgcPA8
2014-10-12 14:03:42
Japan ATS User Group
@jats_ug
さっそくコンパイル/実行してみようじゃなイカ。"Patsopt2js"ボタンをマウスでクリックするでゲソ #ATS2 #TryATS /... fb.me/3deK74G3S
2014-10-12 14:04:38
Japan ATS User Group
@jats_ug
すると、じゃじゃーん。実行結果がWebブラウザ上に表示されたでゲソ。すごいじゃなイカ！ #ATS2 #TryATS / flickr.com/photos/masterq… fb.me/6GUTbvboh
2014-10-12 14:05:18
Japan ATS User Group
@jats_ug
その秘密は #ATS2 のコンパイラパイプラインにあるのでゲソ / jats-ug.metasepi.org/draw/flow.png fb.me/4t7M2vQCH
2014-10-12 14:06:36
Japan ATS User Group
@jats_ug
#ATS2 ではプログラムの内で、実行評価される動的な部分と、静的な型を、完全に分離して扱うのでゲソ。 / jats-ug.metasepi.org/draw/flow.png fb.me/6PBcNSvsS
2014-10-12 14:07:30
Japan ATS User Group
@jats_ug
そのため、静的な型の都合とはまったく関係なく、動的な実行評価される言語をすげかえることができるのでゲソ！！！ #ATS2
2014-10-12 14:08:08
Japan ATS User Group
@jats_ug
現段階では #Javascript の他に #Python のプログラムも #ATS2 から吐き出すことができるでゲソ /... fb.me/3S3sRYvLc
2014-10-12 14:11:11
Japan ATS User Group
@jats_ug
これからも赤い動的なλと青い静的な型の織り成す #ATS2 の豊かな世界に注目でゲソー #関数型 #依存型 #線形型 #ATSロゴ / ats-lang.org/images/theLogo… fb.me/6ILJ3CXbn
2014-10-12 14:12:21
Japan ATS User Group
@jats_ug
#ATS2 言語についての詳細は JATS-UG - Japan ATS User Group jats-ug.metasepi.org を参照してほしいでゲッソ
2014-10-13 06:28:38