GitHub_4CT_Ruby
今日も CRedu を書いた。 reduce の正常動作を確認しました。 実行には 2.5h ほどかかります。 4CT_Ruby はこれにて完了となります。
今日も CRedu を書いた。 だいぶ動いてきた。
今日も CRedu を書いた。 まだちゃんと動いてない。
今日も CRedu を書いた。
今日は CRedu を書いた。 残りは C可約性チェックのみだ。
今日も update() を書いた。 Steep を通した。 次からは Haskell をやる。
今日も update() を書いた。 D可約 までは分かるようになった。
今日は strip() のリファクタリングをおこなった。
今日も update() を書いた。 今回の変更で、少しだけ画面に出力するようになった。
今日も update() を書いた。
今日も update() を書いた。 UpdateR クラスが巨大になったので、一部のメソッドを別モジュールに移した。
今日も update() を書いた。
今日も update() を書いた。
今日も update() を書いた。
今日も update() を書いた。
今日も update() を書いた。
今日は update() を書いた。 久しぶりの Ruby だ。 Steep が動かなくてあせったが、activesupport のバージョンを 6.1.4.3 に下げる事により対応した。
今日も findlive() の RBS を書いた。NG を全て消した。 経過はここに。
今日も findlive() の RBS を書いた。 経過はここに。
今日は findlive() の RBS を書いた。 NG がいっぱい出てもう分からん。Issue を立てた。
今日も findlive() を書いた。
今日も findlive() を書いた。
今日も findlive() を書いた。
今日も findlive() を書いた。
今日も findlive() を書いた。
今日も findlive() を書いた。
今日は findlive() を書いた。
今日も Findlive を書いた。
今日は Findlive を書いた。
Angles の RBS を忘れていた。 Ruby の型チェックは、RBS を書いて、steep check という流れだ。 エラーの始め 5つ は仕方ないとして、最後 1つ が解決できなかった。 /4CT_Ruby$ steep check program/app/reduce.rb:31:10: NoMethodError: type=(::Array[::…