https://mastodon.cardina1.red/@lo48576/103091602564215768
私の場合こういう言語は手を出す気になれないなぁ。「高度な抽象化をさせないことにより『シンプルな表現』の幅が狭まり、低レベルな共通解に落ち着きやすい」みたいな思想のやつ。
プログラミング、要件は存在しているんだから (性能を考えなければ) 愚直に泥臭く書けば何かしら動くものができるのはある意味で当然で論ずる価値の低い話であって、そこをいかに綺麗に、あるいは意味付けして記述できるかというのがプログラミングという作業の本質的な価値の一部だと思うのよね。
なので、「オメーらは頭が足りてないので抽象化をできないという前提でやっていきましょう、表現力を下げたので馬鹿でも読み書きできます」みたいな知性への期待を捨て去ったような思想の言語は好きになれないし学ぶつもりがない
Lazy K とか unlambda とかアセンブリみたいなのはむしろ中間言語とか機械処理用の表現に近いという感覚なので、また別の評価軸になるけど。