https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @mandel59 Rustの型システムで停止しない計算は先人に既に書かれているので https://t.co/tAxHi5wGJD その辺りふまえての一文なのではないでしょうか | |
| @mandel59 なるほど。ありがとうございます | |
| そういえば電卓アプリって一度も作ったことがない気がする | |
| Adaって https://t.co/f8sqlNR3ul 言語規格に、各行レベルでその文面が決められた時の議論のスレッドがリンクされてるものがあるんですね。めっちゃ羨ましい | |
| （overrideされたメソッド呼ぶとき事前条件Contractは実体の型のではなく静的型に従うべきという変更がD言語であったときAdaについてもytさんが調べてらしたよなー https://t.co/jyRIjlWG0jという件を掘り返す必要が生じたので見ていた） |