新しいものを表示

石器使ってた人がスナップオンの工具使って「やっぱ作業するならスナップオンだわ」って言っても、「その話、ほんとにKTCとかマックツールズとかじゃダメなの?><; 下手すると100円ショップの工具ですらいいような話も含まれてない?><;」ってなるでしょ?><;
なんで石器(この場合動的型付け環境の喩え)とスナップオンの工具(この場合Haskell)で比べちゃうの?><;

「Ada使っててHaskellも使うようになった」みたいな人の話ならすごくわかる><
両方ともそれぞれ全く違う意味でそれぞれ「型ありき」だから><
でも、動的型付けな環境との比較で「これがHaskellだったら・・・」ってそれほんとにHaskellに限った話なの?><; って謎過ぎるかも><

この話もそういう意味で、型がガバガバな環境との比較なのか、純粋な『関数型ならではの話』に近い話なのかさっぱりわからない><(というか混ざってる?><)
mstdn.jp/@siphilia_rn/10262833

オレンジは「合わないかも><;」って思った方だけど、それはオレンジが世の中の仕組みをとらえるモデルと違うからなんだけど、それはそれとして、

特にHaskellの話題がそうだけど、ネット上のHaskell使いはじめて感動したって体験記的に勧めてるHaskellerの記事って、大半が動的型付けな言語からの移行の話じゃん?><
一番有名かもしれないあれもRubyから移行の話だし><
それだと、型がガバガバな環境から引っ越したからこその話と関数型だからこその話がぐちゃぐちゃになってて、型がガバガバな論外レベルな環境から型がきっちりしてるまともな環境になるのはそりゃ当たり前だし、
「そうじゃなく別の型がきっちりかっちりの環境にどっぷり浸かってた人が移行した話を聞きたいんだよ><;」ってなる><;

orange さんがブースト

動くもの第一主義はスタートアップの段階とか、受託で作った後の事なんか知らねーというスタンスなら理解できるんだけど、Haskellみたいな型システムがあれば起きなかったバグの後始末とか何回もやらされてるとさすがに。

orange さんがブースト

私も論理回路やアセンブリ言語や C しか知らない時代には気付かなかったんだけど、「制約をエンコードする」というのはプログラミングにおいて割と本質的な部分なので、単に手続き型的思考で「何をするべきか」だけを書くのは、一見楽ではあるんだけど甘すぎるのよね

orange さんがブースト

よーするに、「手を動かす前によく考えてみる」をしたくない人には自分に向いてない言語に見えるのだろうなと

orange さんがブースト

両者に共通なのは、

「(設計や論理面での) 正しさ」が重視される言語であること (それゆえ開発自体の高速性は担保されないこと)、
ある程度、理論的背景や問題のモデル化手法への相応の納得や理解を要求されること (それゆえ学習曲線も急峻であること)、

あたりなのかな

orange さんがブースト

まあ Haskell に実際に手を出してみるのは単に「何かを作りたい」という成果物指向の学習では起きづらいイベントなのだろうと思う (逆に数学界隈の人が Haskell に手を出してみたなどの話は聞いたことあるし、理論的興味が強い人でないとそっち方向には行かないのだろうなと)

orange さんがブースト

本当に心の底から分からないんだけど、なんでこんなにRustとHaskellが書ける人少ないの???

やまいが、新しいレポ雷電トンネルの旧道の完全閉鎖部分っぽい><(まだ導入だけど)

道路レポート 国道229号 雷電トンネル旧道 (ビンノ岬西口攻略) yamaiga.com/road/raiden1/main.

orange さんがブースト

Q:その鳥、歌を忘れてどれくらいになるんや?
A:かなりや。

こういう感じで自分でカクテル作れる所あったらおもしろそう><

orange さんがブースト

監視カメラ対策用ナンバープレート柄アパレル、日本でやった場合、道路運送車両法第九十八条的にはどうなるんだろ?><;((人間じゃなく)監視カメラにクルマと認識させるのはこの条文上の"行使"なのかな?><;)

「監視カメラの画像認識をだます服」をハッカー兼ファッションデザイナーが発表 - GIGAZINE gigazine.net/news/20190816-fas

2019年7月は「史上最も暑い7月だった」とアメリカ海洋大気庁が発表 - GIGAZINE gigazine.net/news/20190816-rec

ほんっっとに一貫性が無い><
Mozilla、Firefox QuantumをFirefox Browserに名称変更か | スラド IT it.srad.jp/story/19/08/15/1615

ちょっと高いけどこのコネクタ入手性もいいみたいだし、このコネクタで5V/12V両方&どちらか給電できるIoT向けの電源規格あったらかなり便利そう><
mstdn.nere9.help/@orange_in_sp

古いものを表示
:realtek:

思考の /dev/null