@nezumi@kaznak.work
Haskell 最近触ってないから忘れてるんだけど、型シグニチャから関数を引ける検索サイトがあったんだよね
あれがすごく便利で配管作業やるときは本当にあれだけで何とかなるレベルだった
多分静的型付けがこのまま普及してAIコーディングが一般的になると、あの検索システムがあるとあらゆるコーディングが爆速で進むようになると思う
Haskell 最近触ってないから忘れてるんだけど、型シグニチャから関数を引ける検索サイトがあったんだよね
あれがすごく便利で配管作業やるときは本当にあれだけで何とかなるレベルだった
多分静的型付けがこのまま普及してAIコーディングが一般的になると、あの検索システムがあるとあらゆるコーディングが爆速で進むようになると思う
Hoogle、すごく便利ですよね。個人的には、他の強い型付け言語にも一つずつ有れば良いのにと思うほどです。
mstdn.kaznak.work
Haskell 最近触ってないから忘れてるんだけど、型シグニチャから関数を引ける検索サイトがあったんだよね あれがすごく便利で配管作業やるときは本当にあれだけで何とかなるレベルだった 多分静的型付けがこのまま普及してAIコーディングが一般的になると、あの検索システムがあるとあらゆるコーディングが爆速で進むようになると思う