Pythonは遅い遅い言われてJITとか中途半端なことせずにフルネイティブコンパイラを作ったらどうですか？
回答 (13件中の1件目) JIT方式は中途半端なものではありません。もちろん万能でなんでも優れているわけでもありませんが以下の利点があります。 * プログラムは単一の機械独立、OS独立の形式で配布できる(実行時に実行環境の機械語に変換できる) * 配布形式が小さくなる。マシン中立なバイナリ表現にした場合は特に。 * 全体をネイティブコンパイルするのではなく、速度にシビアに関わる最内周ループや何度も実行される場所に限ってネイティブコンパイルすることで実行に必要なメモリフットプリントを減らすことができる。 * 実行時だけわかる情報を元にした最適化やコード生成が可能。例えば、 *...
激しさ増す教員奪い合い、副校長が土日返上で４００人以上に電話…担任４人交代のクラスも（読売新聞オンライン） - Yahoo!ニュース
［疲弊する教員］＜中＞ 新学期が始まってまもない４月中旬、東京都内の公立小学校に勤める男性副校長（４７）は、職員室でパソコン画面上のリストを見ながら、電話をかけていた。 【イラスト】中学教員はこんなにブラック 「うちに来てくれませんか」。相手は、採用試験で不合格となった「待機組」と呼ばれる教員免許を持つ人や結婚、出産で退職した元教員たち。１週間ほど前にあった始業式の直後、体調不良で休職したクラス担任の代わりを探していた。 副校長が兼務 全校児童約８００人、約３５人の教員が配置されているこの学校では、もともと４月から女性教員２人が育休を取得することが決まっていた。副校長は昨年１１月以降、待機組を中心に電話をかけ続けた。多くは他に仕事を持っており、つながるのは夜がもっぱらだった。遅くまで残り、土日にも出勤して４００人以上に連絡したが、今年３月までに面接までこぎ着けたのは４人だけ。だが、「自宅に
これから流行る言語 | 雑記帳
新言語にできることはまだあるかい なんとかWIMPS 最近（1ヶ月くらい前）、こんな記事が出ました： 新しいプログラミング言語が出てこない(新しく出てた言語を追記) – きしだのHatena Kotlin, TypeScript, Rust, Swift以降にみんなが話題にするような新しい言語が出てこない、それはなぜか、みたいな趣旨です。客観的に見れば「新しい言語は常に出続けている」わけですが、「みんなが話題にするような」というのが多分曲者なんでしょうね。 例え話をすると、新しい若木は常に生えてきているんだけど、大木に成長するには時間がかかるので、大木にしか興味のない人には「この8年間で新しい大木は登場していない」と判断してしまうのかもしれません。 まあ私としても、Web (HTTP) APIを書く言語とか、JSON色付け係が使う言語はもう出揃ってしまったのかもしれないという気はしなくもな
キッチンシンクを皿用スポンジで洗うのが汚いという感情の成立と国鉄型特急の不便な手洗い場の関係について
来客がキッチンシンクを皿用スポンジで洗いやがった、清潔観念がおかしいもう絶縁だとか、旦那がそれやりやがった、もう離婚考えているとか、シンクをスポンジで洗う事で発生するトラブルは多い。 これは畢竟、ケガレの観念の問題だ。シンクは下（シモ）の範疇になっているのである。 実は日本人のこのシンク＝シモの感覚というのは20～30年前に定着したもので結構新しい。それまではシンクは上（カミ）の範疇であり、1990～2000年頃はこれらが混じり合った状態だった。また、調理の現場ではまだシンク＝カミだ。 ところで古い国鉄時代の特急などでレバーやボタンを放すと即座に水が止まってしまって手が洗えない洗面台に困惑した事はないだろうか？ 実はこの二つは密接な関係があるのである。ちょいと説明する。 シンクは水を溜めて使うものだったシンクというのは元の意は「溜め」だ。水を溜めて使うのがシンク。これとは別に「流し」もあっ
プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog)
証明支援系Lean〈リーン〉は、かなり前（2017年くらい）から注目しているソフトウェアです。注目はしているんですが、ちゃんと調べる機会がなかったので、このブログで触れたことはありませんでした。2022年のうちに紹介したい（今は大晦日の夜）。 Leanは現在、バージョン3系とバージョン4系が混在しています。このため情報が錯綜していて、分かりにくい状況になっています。今はバージョン3系が使われていますが、これからLeanを使い始めるならバージョン4をインストールしてもいいかも知れません（ただし、開発バージョンであることは承知の上で）。 Leanは、CoqやIsabelleと同様、証明支援系〈proof assistant〉として設計開発されました。実際、機械可読な定理記述のために広く使われています。 バージョン4になりLeanは、汎用プログラミング言語としての機能・特性を前面に打ち出してきま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
