Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.netこれ、もうちょっとマクロのような何かを導入すればHaskellみたいな見た目になれるのでは、、、それが #ATS3 なのか。。。 / "ReadFromSTDIN (2) · Temptory" https://sparverius.github.io/tmplats-doc/docs/ReadFromSTDIN2
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net#ATS3 が来るまでひたすら暇だからアルバイトでもしていよう。。。何を作ってもATS3波にATS2製品が押し流されしまうことをATS1の経験上知っているのであった。。。
Q · @masterq
110 followers · 6513 posts · Server pawoo.netはよ #ATS3 リリースされてほしい。。。GADTSもGCも使えるんだし。もうHaskell読み書きしたくない。。。 / "Generalized Algebraic Data Types in ATS" https://bluishcoder.co.nz/2018/10/16/generalized-algebraic-data-types-in-ats.html
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.netうーん。よりテンプレート化されている気がする。。。若干フットプリントが悪化するのでは感があるんだけど、また #O3をコンパイルオプションにつければコンパクションされるから大丈夫 と主張する気なんだろうか。。。 #gcc #ATS3 #Hongwei
#hongwei #ats3 #gcc #o3をコンパイルオプションにつければコンパクションされるから大丈夫
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
#選ばれし者 のリストが。。。 #ATS3 / "ATS-Xanadu/contrib at master · githwxi/ATS-Xanadu" https://github.com/githwxi/ATS-Xanadu/tree/master/contrib
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
だいぶスッキリする感じ #ATS3 / "ATS-Xanadu/statics.txt at master · githwxi/ATS-Xanadu" https://github.com/githwxi/ATS-Xanadu/blob/master/docgen/SYNTAX/statics.txt
Q · @masterq
110 followers · 6513 posts · Server pawoo.net
#ATS3 の構文が決まりつつあります。Hongweiちゃんが暴走しないように皆でレビューしましょう! / "ATS-Xanadu/docgen/SYNTAX at master · githwxi/ATS-Xanadu" https://github.com/githwxi/ATS-Xanadu/tree/master/docgen/SYNTAX
Q · @masterq
110 followers · 6513 posts · Server pawoo.net