Sabitlenmiş Tweet
しらそら
60.5K posts
しらそら
@silasolla
プログラミング言語や人に優しい技術・ツールがすき．今は 💻🌐 の仕事をしています．修士 (帰納法回し学) で，計算機科学と数理論理学と Standard ML のファンです．Nominal Sets 完全理解したい．奇を衒わない．DevOps に関心があります．🔑: https://t.co/uu3m5T4dut
みんな笑顔のインターネット Katılım Ekim 2016
443 Takip Edilen1K Takipçiler
SNOBOL のパターンマッチは別物だし，構造的パターンマッチを代数的データ型とセットで整備して，それをメインストリームに押し上げたのは普通に ML 系言語です
Miura Hideki@miura1729
それを言うなら、型推論は確かにMLの功績だけど、パターンマッチはSNOBOL、代数データ型はAlgol68など先例があるのでは？
日本語
しらそら retweetledi
61億通りの性格診断MBTIもどきを作った
あなたがオンリーワンで、ありふれたパーソナリティではないことを証明しよう！
pdmi.ls8h.com
日本語
しらそら retweetledi
見なくて良いインターネット：
・前提が顕らかでない技術選定の話題 ← Web で Rust を採用する必要がある vs. ない
・算数教育における乗算の順序の話題
・男女間の奢り奢られの話題
有益なインターネット：
・smlfamily.github.io
日本語
