スパスパハスケル、声に出して読みたい日本語
26.02.2026 14:08
👍 0
🔁 0
💬 0
📌 0
スパスパハスケル、声に出して読みたい日本語
昔の自分が予備の Yubikey のデバイス名を "Yobikey" にしていて、やかましすぎ
当時は C++ しか書いたこと無かったと思うけど、list に対するパターンマッチを見ながら（これは C++ の template metaprogramming みたいだな）と思った記憶があり、ヘンすぎ
ふと思い出したけど、始めて触った関数型言語が SATySFi だったのってヘンすぎかも
野菜をきつく包んだ生春巻を食べていると効率的に栄養を摂取できているような気分になるため、好きだ
Haskell、「型環境を持ち回りながらエラー付きで typecheck したいな～」と言っていると自然に ReaderT の構造が出現して、型が決まると型を合わせていくだけでスパスパ Haskell らしいコードが書けていくのが楽しい
www.lambdanote.com/products/typ... を読んだので Haskell で TS の型検査器を書いている 正直型検査器を書くよりも parser を書く方が難しい
github.com/atree4728/ts...
UnicodeやシフトJISの話が話題なので、「文字コードの話」というスライドを公開します。
文字コードについて一通りちゃんと理解するぞ！という気持ちで作りました。特に Unicode やシフトJISの議論の前提になるような説明は頑張って書いたので、ぜひ目を通してもらえれば！
https://speakerdeck.com/qnighy/encoding
※ 本当はまだ未完成です。変なところがあったらすみません
普遍代数とか型理論を触っているにつれ、プログラムとは代数学であるという気分が徐々に膨らみつつある
？「コードを書かなくても幸せになれるこの時代に、私は、コードを書きたいのです」
Seravek 好きだなあ 特に italic
節分 ← テクニカルタームっぽい
> ソーシャルプラットフォームが自らを「ワールドワイドウェブの主役」だと思い込み始めた時から、インターネットはおかしくなり始めました。
> しかし、もし人間の選択によってインターネットが悪くなったのであれば、人間が別の何かを選択することで、インターネットを再び良くすることができるはずです。
bsky.social/about/blog/0...
テンソル、商空間、直和の普遍性をやったあたりで、（普遍性というのはなにか未知の対象から well-defined な射を生やす便利なツールということですね）というイメージが出来つつあったわけだけど、自分が便利だと思っていたものは普遍性ではなくて余極限の普遍性だったらしい
『線型代数の世界』、記号の overload が多くて混乱する 双対と随伴を * で書くのはまだ許せるけど annihilator と直交をどっちも ⊥ で書くのが微妙
最近のラムダノートすごくて購入しまくり
AZIK を使っているんだけど、「帰省」と入力したつもりがアルファベットモードになっていて 𝙠𝙞𝙨𝙨 と表示されてしまい、𝙠𝙞𝙨𝙨 だと思った
Scheme、最初は（こんな不自由な言語！）と思っていたけど、書いているうちに Simple is better という気分になってきた やっぱり静的型付けは欲しいけど
そのウェブページが書かれたオリジナルの言語で閲覧したくてブラウザの言語に英語を優先的に設定しているのだけれど、たまに日本語のサイトが勝手に英語になってしまって切り替えようとしてもまた英語になってしまうということがあって、でもどう解決すればよいのかわからない
人前で喋るときに本当にフィラーが多くてびっくりする 意識してやめようとすると全く喋れなくなってしまう
複素関数なんてパソコンに使わないでしょ！って思って取っていなかったのだけど、なんと形式言語理論で出てきてしまった：https://www.jstage.jst.go.jp/article/jssst/34/3/34_3_3/_pdf/-char/ja
Obsidian、軽量かつローカルファイルを扱うというので気に入っているんだけど LaTeX がたくさん入ったりそもそもファイルサイズが大きくなると動作がモッタリしてくるのが惜しいところ
型のしっかりしたプログラミング言語が好きなんだと思っていたのだが、自分が好きなのは型がしっかりしていて、代数的データ型とちゃんとしたパターンマッチのある関数型パラダイムの言語らしい（TypeScript を横目に）
あけましておめでとうございます 今年の目標は X をやめること
🎍関数型まつり 2026 開催決定！🎍
新年あけましておめでとうございます。今年も関数型まつりを開催します🎊
日程：2026年7月11日(土) - 12日(日)
会場：中野セントラルパーク カンファレンス
最新の情報はXとBlueskyでも発信していきます！ #fp_matsuri
2026.fp-matsuri.org
紅白観てるとこの国の人口ピラミッドに思いを馳せざるをえないな
join と meet っていつまで経っても覚えられる気配がない
近況：理情に進学しました 主に集合と位相及び代数と幾何（線型代数のこと）と格闘しているところで、学部の今のうちに数学をちゃんとやりましょうという気持ちでガシガシやっております
