配列のサイズの推論 - sumiiのブログ
http://homepage3.nifty.com/mogami/diary/d0701.html#06t3 コメントがつけられない（or 僕がつけ方がわからない）のでこちらで。何か自分の知らない背景や別の意図があったらすみません。 まず、一般に「データのサイズが静的にわかる」ことと「そのデータをスタックに確保できる」ことは直交です（C言語のalloca関数など）。たとえばサイズ10の整数の配列をスタックに確保して、それをreturnしたらdangling pointerができてしまいます。 で、「スタックに確保できる」ことの推論は、いわゆる「エスケープ解析」で、型推論の拡張で実現することができます（他のやり方もありますが）。例のMinCaml演習:-)でも課題の一つになっていたり（授業資料にリンクしようと思ったが、大学のマシンが計画停電で停止していて、すぐには出てこない…）。 それとは
nishizuru.bblog.jp – このドメインはお名前.comで取得されています。
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネット(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 ※1 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 ※1 レジストラ「GMO Internet, Inc. d/b/a Onamae.com」のシェア値を集計。 ※1 2020年8月時点の調査。
はてなブログ | 無料ブログを作成しよう
賃貸暮らしのわが家の地震対策【揺れから命を守る編】 以前のブログでも記載した、防災の優先順位に基づいて対策を進めています。まだ手をつけられていない部分もありますが、ある程度まとまってきたのでざっくりとご紹介していきます。 優先順位別に改善していっているため、今回は主に地震の揺れ対策がメインになります。…
はてなブログ | 無料ブログを作成しよう
うまくいかない日に仕込むラペ 「あぁ、今日のわたしダメダメだ…」 そういう日は何かで取り返したくなる。長々と夜更かしして本を読んだり、刺繍をしたり…日中の自分のミスを取り戻すが如く、意味のあることをしたくなるのです。 うまくいかなかった日のわたしの最近のリベンジ方法。美味しいラペを…
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
コピペトレンド - 福冨諭の福冨論
