Ukicode @opaupafz2@fedibird.com

PureScriptに入門したって言う記事を書いた

はてなブログに投稿しました
PureScriptに入門した - なんか考えてることとか https://opaupafz2.hatenablog.com/entry/2024/05/12/192026
#はてなブログ #fedibird #PureScript

まず、純粋関数型言語では、副作用が発生する部分とそうでない部分は極力分けて考える、といったことを強いられるわけですが、これはまさしく「HTMLとロジックは切り分ける」というベターな手法とマッチしていると思うんですよね。PHPだと、HTMLとロジックをぐちゃぐちゃに混ぜることができてしまう。これはPHPが手続き型言語であるから故なのではないかなと

PHPのマスコットキャラクターをアイコンにしている俺が言うのもなんだけど、純粋関数型言語を学べば学ぶほど、PHPのようなHTMLに直接埋め込める言語って手続き型プログラミングと相性が悪くて、純粋関数型プログラミングのほうが相性良かったりするんじゃないかなーって思ってしまうのよね #fedibird

どうでも良いけど、PureScriptの生DOM操作のgetElementByIdがEffect (Maybe Element)を返すの、単純に要素が存在するかしないかっていう外部的要因によって結果が左右されるからか #fedibird #PureScript

JavaScriptとTypeScriptにはビット演算をするときだけ32bit整数型という、表面上は見えない型に型強制されるんだけど、PureScriptでは、その型がInt型としてちゃんと表面化されている #fedibird #PureScript

だからずっと調子に乗っている未経験者は永遠に成長できないんだと思いますね #fedibird

丸投げしたのは、俺が別のプロジェクトに携わることになったから、っていうのもあるけど

ん～？すぐに追い抜かされるんじゃなかったんですか～？って思わず言いそうになったけど、我慢した。俺偉い子

もう面倒見切れんかったから、ソフトウェア開発未経験者に全部丸投げしたんだけど、その際に「未経験者でもソフトが書ける！お前なんかすぐに追い抜かされちゃう！」とか言ってましたけど、未だにコードも触れてなくて #fedibird

むしろあのコードで今まで動いていたことが奇跡だし、極力不具合を出さずに保守してくれただけ感謝してほしいぐらいだわ。なんかまだソフトウェア開発を馬鹿にしたような発言を繰り返していて、本当に救えない人たちだよ。
自分らが一度開発を経験したからって、完全に調子に乗っている。まさしく馬鹿の山だね

なんかソフトウェア開発未経験者がまたコードを保守してほしいとか言ってきたんだけど、そんなん断るに決まってるだろ。あんなクソコード誰が保守するか #fedibird

先ほど間違いを指摘してくれて、Lazy Listのほうのmapは末尾再帰じゃないことがわかった。ありがてぇ

PureScriptの再帰、Lazyだと余再帰でも問題ないのかな、と思ったけど、結局全部末尾再帰にすることを意識して書いたほうが良さそうね。現に、Lazy Listでもmapとかの実装が末尾再帰になっている #fedibird #PureScript

PureScriptに入門したって言う記事を書いた

はてなブログに投稿しました
PureScriptに入門した - なんか考えてることとか https://opaupafz2.hatenablog.com/entry/2024/05/12/192026
#はてなブログ #fedibird #PureScript

いや本当に今さら気づいたんだけどさ・・・

TypeScriptのany型、解釈にもよるけど、その部分型のプロパティがダウンキャストなしにアクセスできているのだとしたら、それはおかしいから、⊤型ではないということもできるのよね #fedibird

TypeScriptはJavaScriptを実行したらエラーになるというのを未然に防ぐという点ではまだマシだけど、ちょっと静的型付き言語としては弱すぎるかな・・・ #fedibird

申し訳ないが、TSの型強制は型理論に中指を立てているようなもんだ。

TS「型理論 F*** you! 🖕 」

TypeScript、もはやどこが「Type」Scriptなのかわからなくなってきた。TSでも二項演算をする際に無理やり型変換して正しい結果にするらしい #fedibird

なんですぐ国際問題にしたがるんだ、この人たちは・・・
NAVERがすぐに情報漏洩するから、信用できませんねっていう、すごく単純な話じゃん。これはたとえNAVERが日本の会社であっても起こっただろうよ #fedibird

韓国、日本が圧力かけたと遺憾表明（共同通信） - Yahoo!ニュース
https://news.yahoo.co.jp/articles/e82565f58899f8762fceeca6da2cdafdf27477f8

まぁHaskellはHaskellで、余再帰で表現できない場合にスタックオーバーフローが発生するので、余再帰にするか、末尾再帰にして正格評価にする必要があるんだけどな