実は #TaPL 読むまでは大して意識したこともなかったけど、プログラミング言語においては専ら操作的意味論を用いていることを知らないのかな。歴史的には表示的意味論も公理的意味論も技術的に難しいところがあったために、操作的意味論が用いられるようになったわけだが。 #プログラミング

なんか操作的意味論を真っ向から否定するようなツイートを見かけたので、根拠としては薄いかもけど、結局プログラムってのは操作的意味論で語ったほうが技術的には説明しやすいんだよなってことが言いたかった。

ダイクストラのgoto廃止論、確かにむやみやたらにgoto文を用いることは良くないことであるけど、ある場合（本当にごく少数の限られた場合）においてはgoto文を使ったほうがむしろミスが減らせるまであるんだよな。まぁほとんどの場合、その代わりの構文が存在するわけだけど。 #プログラミング

そういう事情もあって、 #PHP でももともと存在しなかったgoto文が追加されたりで再評価されたこともあったわけなんだが。 禁止するのは良いんだけど、何も考えずに禁止するのではなく、「余程のことがない限り禁止」ではダメなのか、議論する必要はあると思う。

#TaPL で構造的帰納法を使った証明をしていて、前は「ただ書いているだけ」だったのが、最近ではどのようにして証明しているのか理解できるようになってきた。 集合のときにも言ったが、証明ってこんなに面白い物だったのか。 #プログラミング

数学者から顰蹙を買う発言をするけど、自分は学生時代、証明のどこが面白いのか、まったく理解できなかった。ただ一つ一つの理論が正しいと示すための道具だとしか思っていなかった。 だがTaPLを読んでからは証明の面白さとは「自分で理論の正当性を示すこと」そのものなのだということを理解した。

ただあくまで理解できるようになったのは構造的帰納法における証明なので、そのほかの証明はまだてんで理解できていないと思う。

あとダニング=クルーガー。

自分がハッシュタグ使うようになった理由がこれですね。検索したときに「プログラミングの話かよ」と落胆させないようにっていうのと、どうせハッシュタグ使うんだからついでに至る所に使っちゃえ、みたいな感じで。 twitter.com/craftgear/stat…

Cとかもアニメの「C」の話だと思うかもしれないし、Pythonもリアルパイソンの話だと思うかもしれないし・・・挙げればキリがないっすよね。

勘違いを見つけてしまったので、言っておきますね。 #Scala におけるトレイトは #型 ですが、 #Rust におけるトレイトは、 型ではありません。 dyn Trait型やimpl Trait型のせいであたかもトレイトそのものが型であるかのように見えているだけです。 #プログラミング

Rustにおけるトレイトと言うのは、いわば #Haskell における #型クラス に近いもので、本来はHaskellの型クラス同様型を分類する機能でしかありません。 したがってRustにおいては「トレイト型」などという表現は明確に間違いであり、dyn Traitやimpl Traitはトレイトとは別物です。

@akkoden_akutoku クソリプしてるところ悪いんだけど、「トイレそのものが公衆トイレであるかのように～」じゃない？

俺は節電のためにテレビ消そう、どころか、PCとモデム・ルータと冷蔵庫しか使ってないぞ。

今のそのプログラミング言語触っているわけでも知っているわけでもないのに、貶して自分の好きな言語を褒めたりするの、なんでなんだろう。 いちいち貶さないと評価を上げられないぐらいダメな言語だと認めているのかな？（この辺りは半分ぐらい冗談だけど） #プログラミング

触らず知らずに叩く人は、本当は美味しいニンジンを食べたことがないのに「ニンジンは不味い」と言っているようなものだということに気づいていないのかな。

俺はよく #JavaScript を批判したりしているけど、「触ったり知ったりしたから」こそ批判する権利があると俺は思っているので、批判しているのね。その一方で、触らず知らず叩く人は、何度も言っているけど、ぶっちゃけあまり説得力がないんだよね。実際に触ったり知ったりしてから叩くべき。