@its_out_of_tune 一日で余裕で見終わる！
posted at 02:15:25
| Stats | Twitter歴 4,501日（2009/01/11より） |
ツイート数 101,720（22.5件/日） |
表示するツイート :
2021年05月05日(水)2 tweetssource
@its_out_of_tune よかったよ！
posted at 02:12:35
2021年05月04日(火)5 tweetssource
@keita44_f4 プルリクチャンスでは！
posted at 15:18:04
@keita44_f4 そういえばよんたさんってLSP的な研究してたんじゃなかったでしたっけ？ https://github.com/smlsharp/forum_ja/discussions/4…
posted at 14:57:19
SML#にLSP対応とDAP対応入ってくれたらなぁ、というお気持ちを書いた https://github.com/smlsharp/forum_ja/discussions/4…
posted at 14:30:57
@_midoliy_ なるほど。*xxx*と**xxx**の変換結果が別なら、それを使ってCSSで表現したほうがいいように思います。同じになってしまうなら自分ならHTML埋込してでもコード片をそこには使わないですが、あくまで自分なら、と言う話です。
posted at 10:00:51
@_midoliy_ アンダースコアや浮動小数点数とちゃんと使っているところに好感を持ちました！
スタイルに関して、強調とコード片を用語みたいな意味で使っているのは気になりましたが、これは何か意図があってのものなのでしょうか？
posted at 09:45:09
2021年04月27日(火)2 tweetssource
@rf0444 私有地であるからこそ出来るアレコレを、市が主体でやれるのか？というのは見ていきたいところですね
posted at 14:59:19
@rf0444 工場跡地の広大な土地を使ってやるので
posted at 14:55:45
2021年04月26日(月)1 tweetsource
@_midoliy_ 興味深いですね。forが早いのは、ループ変数がintだから、ループごとのインクリメントや比較が早いからでしょうか。downtoだと遅くなるのはよくわかりませんが・・・
posted at 10:53:51
2021年04月25日(日)17 tweetssource
@_midoliy_ 最終的にはループになるんですけどね・・・
相互再帰のループ変換、二度とやりたくない
posted at 23:55:13
@rf0444 それ。 https://bleis-tift.hatenablog.com/entry/cps
posted at 23:41:45
@_midoliy_ それはそれとして、非末尾再帰をCPS変換すれば機械的に末尾再帰版が手に入りますが、ループに変換するのは自明でない事も多く、対象が複雑であればあるほどループから書く、というのが辛い気がします。ASTの変換処理のことなんですけどね。
posted at 23:38:24
@_midoliy_ あー、F#固有の話ですかね?
posted at 23:33:26
@_midoliy_ お、なぜ好きじゃないか気になります。
posted at 23:27:50
@nagise 1-100を表すパターン(ビットパターンでもなんでもいい)から、fizzbuzz関数に通したときのパターンに変換可能であればいいと思います。あとはそのパターンを表示するような環境の上で実行してしまえばいいです。
posted at 23:27:07
そういえば、「JSON返してブラウザ側でHTML(DOM)に変換して表示」っての、XSLTチックですね。時代がXSLTに追いついたのかもしれない(違
posted at 11:33:18
@pokarim @naka_aki_spl IP的にはforを書いてズームアウトするとΣ表記になるとかだったかな・・・
読んだのがだいぶ昔のことなので、うろ覚えで「なんかIPってあったなー」くらいのことなので、違ったかもしれません。
posted at 10:54:39
そろそろ例の4択に出掛ける準備するか
posted at 10:41:09
@pokarim @naka_aki_spl シグマがforに見える、みたいな話もTLで見かけたこともあり、インテンショナルプログラミングっぽさを感じました
posted at 10:35:12
COBOLの冗長さとは全く違う、完全に不要な冗長さだけど
posted at 10:22:20
XSLT、単に文法が死ぬほど冗長な関数型プログラミング言語ってみなせるから、ある意味COBOL的なのかも。
posted at 10:20:44
XSLT、思ってたよりも素直に書けてしまって、そういう意味ではSQLの方が楽しい。表現力が高すぎるんだよなぁ。
posted at 10:18:52
クッソ久しぶりにXSLT書いたけど、結構覚えてるものですね
posted at 10:05:07
https://twitter.com/bleis/status/1386122795487141890…
posted at 10:01:15
プログラミング言語としてのSQL、プログラミング言語としてのXSLTの意味するところを説明しました。
プログラミング言語の構文って大事だよね、という話 - ぐるぐる～
https://bleis-tift.hatenablog.com/entry/syntax-is-important…
posted at 10:00:02
@k_matsuzaki boostのxpressiveとかですかね？
posted at 02:20:21
2021年04月24日(土)21 tweetssource
@callmekohei 行動が早い！
posted at 11:32:02
CVS, CSV
CPS, CSP
posted at 10:41:49
継続と繋がってくれると個人的にはやる気が出て嬉しいのですがー
posted at 10:35:46
ところで、CSP全然わからんなんだけど、他の別の表現で置き換えたりとかってないんですかね？
posted at 10:32:42
プログラミングの基礎派です。 https://www.amazon.co.jp/dp/4781911609 https://twitter.com/beinteractive/status/1385762637078691845…
posted at 10:20:00
パラダイムの違うやつ10個というやつ、全てが独立している必要はないし、並行並列のパラダイム(スレッドとかアクターとかCSPとか)もあるし、「たくさん」の比喩的表現としてとらえられませんかね？
posted at 10:17:32
@haljik ただ、書きにくくてイケてないのはそのとおりです。コード補完も効かせられないですしね・・・
posted at 10:08:01
@haljik 書きやすさを重視するか読みやすさを重視するかの判断で、当時は(英文のように)読めるものが人気だった、ということかと。欲しい物が先頭に来るの、まさに「宣言的」って感じがしませんか？
posted at 09:59:07
COBOLもありましたね。固定幅、命名に制約受けるのでつらみが・・・
posted at 09:49:40
FORTRAN IVとかガチガチの固定フォーマットのFORTRANもオヌヌメ
Retweeted by ぐるぐる系SQL
retweeted at 09:47:38
プログラミング言語としてのSQL(select)とか、プログラミング言語としてのXSLTとかやると、構文大事って実感持ててオススメ。オススメはしない。
posted at 09:45:04
最終更新が2019かー
https://github.com/mozart/mozart2
posted at 09:15:37
お気持ち的にはこれに同意なんですよ。どうしても一つ選ばないとだめ？どうしても？だったらO...Scalaじゃないですかね(Oz、ちゃんと触ってるわけじゃないから詳しくはないし、という)。
https://twitter.com/todesking/status/1385526502574366725…
posted at 09:10:37
ので、末尾呼び除去の最適化は人権です。
posted at 08:57:51
@nagise パラダイム違うのに自分の知ってるパラダイム(多くの場合手続き型)でやろうとする人は観測範囲内では多くて、それを矯正するのは言語ごとの罠をレビューで指摘するのとは比較にはらない時間が必要ですよね、という主張です。
posted at 08:56:49
ASTをトラバースして変換するみたいな処理、相互再帰になるじゃないですか。あれを末尾呼び除去の最適化が効かないからってループに変換したときは大変だった。大変だったんですよ。
posted at 08:52:07
@nagise 言葉が足りていませんでしたが、後者はパラダイムの話をしているつもりでした。当然、言語ごとに細かな違いはあれど、そのあたりって問題が起きてからでも十分リカバリー可能だと思っているのであまり問題視していませんでした。
posted at 08:47:39
末尾自己再帰は人力除去する気にもなるけど、末尾相互再帰の人力除去は辛いですよ？？？という気持ちがある。
posted at 08:43:51
CTMCP、絶版なの？ https://www.amazon.co.jp/dp/4798113468/
posted at 08:29:49
よく聞く(聞いた)「プログラミング言語は1つやればあとは同じ」という言説はさすがにアレだけど、「この言語やっておけばあとはだいたい同じ」と言えるようなものもあるよね、という
posted at 08:25:04
パラダイ厶の違いが云々という話、Oz(Mozart)という存在があるのでなぁ。
とりあえず、Oz1つやっておけば実用的なところでは他の言語はどうとでもなるのでは、という気がしないでもない。
Scalaも割とそこに近いとは思う。
posted at 08:21:47
2021年04月23日(金)1 tweetsource
@gakuzzzz (細かい話ですがC#に検査例外はありません)
posted at 12:55:36
2021年04月08日(木)2 tweetssource
念のため: SML# は C# や F# とは関係ないです。.NETなSMLというわけではありません。
posted at 09:38:13
SML#で始める実践MLプログラミングをご恵贈いただきました！社内で読書会します！
https://www.amazon.co.jp/dp/4320124715/ https://pic.twitter.com/4xDxmwMNl4
posted at 09:20:52
