Pinned
たまに載せていたんですが、λCCの実装にチャレンジしていて、ようやくブラウザで動かせる状態にできました。
画像はさっそく 1 + 1 = 2 , x = y ⇒ y = x , そして帰納法で n + 0 = n を証明しているところ。
他にも例を色々用意しています。
スマホでも動きます。
lambda.luma.dev/cc
るま
るま
28.7K posts
るま
@lumc_
るまとよぶのだ。
型を！つけろ！
ウニ: 17.00↑ (VERSE)
好きなもの: 猫/冬/ﾊﾑ/雨/雪
ZEN大学 B1
日常系はあっち
※引リツは返信等の意味は無いよ
※すべてのツイートはフィクションで予約投稿です
るま’s posts
yabai一択なんだよね(エンジニアしか使いこなせそう) x.com/Atuatu_Hhakuma
This Post is from a suspended account. Learn more
指摘したら修正されることになったっぽい。
ECMAを…変えるきっかけに…！
github.com/tc39/ecma262/p
Quote
るま
@lumc_
え？？
#ECMAScript、Array#sort も TypedArray#sort も安定でなければならないという要請があるが、 toSorted 側には両方ともなくないか？
いや、意図的かもと思ったけど周辺issue等みる感じ、抜けてるだけっぽそうじゃない？
他の引用でもあるけど、これは避けたほうがいいという記事を前に書いた。
あとは、no-floating-promiseで拾えるという意味もある。
zenn.dev/luma/articles/
Quote
javascripter
@javascripter
APIのフェッチ時、直接await/Proimse.all使う人が多いけど
まず最初にdataPromiseみたいな変数に一度代入するようにした方がミスを減らせると思う
コードが複雑になったりデータ取得の依存関係が生じた時に、先にpromiseをアサインしないと並列に実行できる箇所をawaitしてしまいやすい
例のダイクストラがグラフをつまむだけで計算できます，みたいに現実世界にはモデル化した世界上に存在しないテクが存在する可能性はまだ否定できなさそう（やっかいなことをいう） x.com/penguineeer/st
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
> へその穴は、皆それほど真剣に洗わないし、比較的外界から隔離されているがために、各人の穴の中で独自の生態系が進化し、新種の細菌が大量に見つかるらしい。
c.u-tokyo.ac.jp/info/about/boo
zenn.dev/luma/articles/
タイトルは悩みましたが
「
TypeScriptから構造体を奪って、関数だけでまた構造体を得るまでの道のり (チャーチ・エンコーディング)
」
としてみました
