僕「(前略) LLM専用プログラミング言語を使った方が効率よく開発できるという主張があります。これについて、LLMの学習に用いるコーパスとエントロピーの観点から論じてください」
チャッピー「(前略) 必ずしも「機械語/LLM専用言語が効率的」とは言えないことが分かります。以下、(後略)」
1
1
236
メモリ上でも永続化されたものでも同じだけど、本来は時系列ごとの状態があるものを、単一の状態("現在"の状態)だけでミュータブルに表わそうとすることがそもそもモデリングの誤りで、ごく単純な場合にだけ時系列を無視してモデリングしても破綻しないで済む場合があるだけだと思っている
メモリ上でも同じことなので、永続化の仕方がイミュータブルなのに、ドメインモデルのコード上の表現がミュータブルみたいなことをするとやはりおかしなことになるはず (最適化のために局所的に破壊的操作をすることは許していいと思うけど)
170
なんか元の話は永続化されるデータがそもそもイミュータブルという話か。そこは理想的にはやはりイベントソーシング的(追記的)にしたくて、都度更新かけていくとそりゃ面倒ごとが増えるよなぁという感想しかない
1
251
それはそれとして、Scalaのcopyみたいなのを使って字面上は常にイミュータブルに書くのだけど、Rustで言うところのownedな状態だと分かるときは裏でミュータブルな処理に最適化してくれる、みたいなのがほしい
イミュータブルでパフォーマンスを保つの、まずは『純粋関数型データ構造』に書かれているようなことをちゃんとやってるコレクションライブラリのある言語(ScalaやHaskell)を使いたい (そもそもコレクションにイミュータブル版が用意されてない言語は厳しい)
1
279
RustのchoronoのNaiveDateTimeは {:?} で format! するとISO 8601になるが、 {} だとTじゃなくてスペースにしたやつになってしまう。ISO 8601で文字列化したくて、この仕様になかなか気づかず大変だった
これホントにそうで、仕事で使ったことのあるPerl, Python, TypeScript, Go, Scala, Rustの中ではScalaが優勝。コンパイル遅いとか言われるけど最近はそうでもないし。Rustと同じくらいかRustのが遅いかもしれない。 nitter.gq/j5ik2o/status/18468503…
10
569
