orange @[email protected]

Tom Tugendhat - Wikipedia https://en.wikipedia.org/wiki/Tom_Tugendhat

🇬🇧＞＜b

https://mstdn.nere9.help/@orange_in_space/102612469668693156

香港人に英国籍付与、英議員の提案は香港問題の流れをどう変えるか？ 　WEDGE Infinity(ウェッジ) http://wedge.ismedia.jp/articles/-/17089

・・・・＞＜

米俳優のピーター・フォンダさん死去 | NHKニュース https://www3.nhk.or.jp/news/html/20190817/k10012038891000.html

第七十五条の八　自動車（これにより牽けん引されるための構造及び装置を有する車両を含む。以下この条において同じ。）は、高速自動車国道等においては、法令の規定若しくは警察官の命令により、又は危険を防止するため一時停止する場合のほか、停車し、又は駐車してはならない。ただし、次の各号のいずれかに掲げる場合においては、この限りでない。
一　駐車の用に供するため区画された場所において停車し、又は駐車するとき。
二　故障その他の理由により停車し、又は駐車することがやむを得ない場合において、停車又は駐車のため十分な幅員がある路肩又は路側帯に停車し、又は駐車するとき。
三　乗合自動車が、その属する運行系統に係る停留所において、乗客の乗降のため停車し、又は運行時間を調整するため駐車するとき。

高速道路以外では、単に停車させただけでは難しいけど、高速道路の本線上は停車してるだけで危険と見なされてるからあれかもって＞＜

ていうかたぶん、高速道路上で意図的に妨害して停車させて中の人がゴルァって出てきた場合、ちょっぴり轢いても正当防衛の範囲っぽさが＞＜(殴られる前でも停車してる時点で十分に危険な状況に追いやられている＆明確に道交法に違反してる＆それらが一応殺人未遂として検討はされる行為ではある　のであれかもって＞＜)

-----切り取り-----
それはそれとして、HaskellやRustの『正しい』って『数学的に正しい』であって『工学的に正しい』では無いっぽい気がするのがなんかオレンジ的にはちゃんと使ってみようにならない・・・＞＜
型云々も、オレンジは型推論すら嫌うし、プリミティブな型をそのまま使う事も好きじゃないのである意味正反対かもって＞＜
数学が本質的に型が無いかのように振る舞う(よく言うと『純粋』で中立らしいけど)事を是としてるのも嫌いだしあれかも＞＜
(気軽に暗黙に抽象化するのが嫌い＞＜)

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

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

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

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

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