触った範囲では、erlangよりも扱いやすくelixirよりもモダンでいい感じだった。ただちょっとデファクトのwebフレームワークが不安定だったり、エコシステムが未熟だったりと実用には程遠い印象
View quoted note →
鎌倉
_@0m1.io
npub1f5uu...jmug
Gustatus similis pullus
ocamlとか?
altjsは選択肢が色々あって、reasonとか purescriptとかelmとかある
View quoted note →
フラットにみると関数型言語そのものよりも関数型言語的思考・思想のほうが価値が高いと思ってるので、関数型言語自体を使う必要性は低くなったと思ってる
IOとか付く言語好き
View quoted note →
今やってるタスク、なんかピントズレてるような気がしてもやる
なお最初agdaやろうとしたときは圏論の勉強の題材として取り組もうとしてたんだけど、書かなあかんことが多すぎて諦めた (外部のモジュール使うとそれはそれで勉強にならないし…)


今見たら意味論の証明課題が増えてる。健全性とか妥当性とか
Programming Language Foundations in Agda – Table of Contents
ハーゲンダッツは冬の季語じゃないの…?
vimmerなのにagda書くためだけにemacs入れてる程度には好き
一時期agda勉強してたときのやつ
定理証明支援系だけでなくプログラミング言語全体でみても上位で好き


agda楽しいですよ。いっぱい自分で書く必要あるけど
今日もAIを上限まで使い切った。お疲れちゃん
ぺぇっちぺぇちざん
インドネシアのoffkaiとかコンベンションでもDJがふわふわ時間流してておもろかった
動物化するポストモダン「グオオオ」
研究者らしい試験管🧪
なお流行語大賞はキエーに投票しませんでした。
生卵…♠️
みんな逃げろ!!uchijoのレスバが始まるぞ!!