@nezumi@kaznak.work

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

1 quote

@hongminhee@hackers.pub

Hoogle、すごく便利ですよね。個人的には、他の強い型付け言語にも一つずつ有れば良いのにと思うほどです。

mstdn.kaznak.work

ねずみ (@nezumi@kaznak.work)

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

@hongminhee@hollo.social

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