-
rene_murakumo
- 21067
- 30
- 1
- 0
-
- いいね！0
村雲ルネ
@rene_murakumo
97. Rockstar 「1980年代ハードロック・パワーバラードの歌詞に大きく影響を受けた、歌詞として通用するプログラムが書ける」言語。こちらの解説が大変親切だった。 labs.cybozu.co.jp/blog/akky/2018…
2022-03-25 19:52:03
村雲ルネ
@rene_murakumo
112. ArnoldC アーノルド・シュワルツェネッガー氏の語録でプログラムを記述するネタ言語。パッと見ターミネーターの台詞が多いみたいなので後で観る。 113. bhai-lang 多分ヒンディー語で記述するネタ言語。いちいち"bhai (兄弟)"とつけるのでちょっと冗長かも。bhailang.js.org/#playground で試せる。
2022-03-27 21:04:18言語そのものの研究
村雲ルネ
@rene_murakumo
129. ISWIM 学術誌で発表されたきり実装されることはなかったが、MLやHaskellといった関数型プログラミング言語に影響を与えた存在。ラムダ計算を読みやすくしたものなんだそう。 名前は"If you See What I Mean" の略。「おわかりいただけるだろうか」みたいなニュアンス？
2022-04-10 15:25:59
村雲ルネ
@rene_murakumo
115. Streem RubyのパパことMatz氏が著書『言語のしくみ』で自ら設計しながら解説している言語。この本も読みたいけどまだ手を出せてない。 シェルスクリプトのようなパイプラインを取り入れているのが特徴。
2022-03-27 21:05:31
村雲ルネ
@rene_murakumo
121. Bosque Microsoft Researchが2019年に発表した「正規化プログラミング」言語。 人間や読みやすいだけじゃなく、ソフトウェアからも解析しやすい設計にして、IDEやVS Codeからコーディング支援をしやすい言語を作ろうとしているみたい？
2022-03-31 22:49:45
村雲ルネ
@rene_murakumo
134. F* (F-star) Microsoft Researchによる「検証指向」言語。記述したソフトウェアに対して形式的検証を行って数学的にプログラムの正しさを確かめる仕組みを持つ。 これでTLSプロトコルスタックを実装するプロジェクトがあるみたい。
2022-04-10 15:31:03反響など
皆様ほんとにありがとうございます
三島彩子@植物好きVtuber
@botany_tan
本日の地獄だ……頑張ってください…… twitter.com/rene_murakumo/…
2022-03-16 20:05:35
Rene Murakumo@おやすみ中
@rene_murakumo
「プログラミング言語」がトレンド入りしているのを見て、 #1いいねごとにプログラミング言語を解説する とかいう地獄みたいなタグを思いついてしまいました (無謀)
2022-03-16 13:19:35
ヴェスティジアル 🐝
@vestigial
#1いいねごとにプログラミング言語を解説する 人を呪わば穴二つ 共にこの地獄に落ちようぞ、Rene あ、70いいねとか来られても技術的にというか物理的に無理です twitter.com/rene_murakumo/…
2022-03-16 19:24:13
mattn
@mattn_jp
現時点で190個近いプログラミング言語の解説を目指すスレを見つけてしまった。(無謀) twitter.com/rene_murakumo/…
2022-03-17 11:56:14
ソネケン
@sonken625
250以上のプログラミング言語が解説される素晴らしいスレッドを見つけてしまった twitter.com/rene_murakumo/…
2022-03-17 12:10:14
さぼてんてん
@rami2076
en.m.wikipedia.org/wiki/List_of_p… 700以上あるらしいからいいね押してもいいはず 困ったら作って欲しいです。 twitter.com/rene_murakumo/…
2022-03-17 12:01:34
村雲ルネ
@rene_murakumo
私のしょーもない思いつきに、Twitterにいる方々が便乗なさってくださるという経験が初めてだったので、ここ数日なんだか不思議な心持ちでおりました😇😇😇 この場をお借りして御礼申し上げます～ ……私のこのスレですか？ ええ、走れる限りは 無理なくゆっくり走りますとも…… twitter.com/rene_murakumo/…
2022-03-20 21:44:50