Pinned toot

Keybaseのアレ Show more

Pinned toot
Pinned toot

これが次世代のCコンパイラ兼アセンブラ兼リンカaqccです!(大嘘
github.com/ushitora-anqou/aqcc

Pinned toot
Pinned toot

RTのボタンの横に :wwo: ボタンほしくないですか。

テキスト3.2.5にlvalue/rvalueの話があるな

艮 鮟鱇 boosted

トップ環境と束縛下の環境と…ってあるあれではなく?

環境に書いている自体は正しいはずだが、梅さんの言う環境と俺の言う環境の意味がずれている気がする

艮 鮟鱇 boosted

それ環境に書いてる気がしてる(環境って言葉が無限に合ってない気がする)

ところでサイコムから見積もりメールがきた

全部破棄されると変数作れなくない?

艮 鮟鱇 boosted

実質ocamlは全部破棄されうる、式の評価結果の値。(だからこそ変数の結果や型が一回一回インタプリタに表示される。)
例外は参照型。(ポインタ)
あとトップ環境に置かれる定数系。(これも実質ポインタ?)

艮 鮟鱇 boosted

意味とか式ではなく値って感じ?

少なくともさっきのVTbの
a = a + 1
に2という値が出てくるのはおかしいはずで、というのはこれ自体のlvalue/rvalueの判断はaの値によらないはず。

ぬーちゃんと理解してないのがまるわかりな回答をしているなこれ

a = 1
なら1はrvalueでaはlvalueでa = 1という式「全体」はrvalueのはず(代入は式なので)。これは普通に間違ってそう。

exvalとかdnvalとかが意味を持つというのは違和感。えーっと

ヌッ? それは微妙に違う気がする

艮 鮟鱇 boosted

え、それって結局、
a=1;
a=a+1;
なら、a=a+1;のexvalは2であって、dnvalは変数aの値に1を加算するという意味になるからexvalは2という定数で、dnvalはa+1という処理の意味を持つということでおk?

refに関してはそう。ただしあれはC言語のポインタに近いもの(というかほぼそれ)なので問題が発生しない。なんで問題が発生しないかというと、えーっと、うまい説明が思いつかない。

Show more
わくわく鮟鱇ランド

わくわく鮟鱇ランドは、住民が皆わくわくしているマストドンです。登録は艮鮟鱇の身内に制限されています。