haskell-jp / english-help #2

@sarashino has joined the channel

@fujiy has joined the channel

@kafu has joined the channel

@にしたに has joined the channel

@Daikichi has joined the channel

@prsdta has joined the channel

@ has joined the channel

@telaoki has joined the channel

@kuono has joined the channel

@kanimum has joined the channel

コンパイラーの状態みたいなものを表すしっくりくる英単語ってありませんかね。ライブラリをフォークして書き直ししている途中で Snapshot という型を見つけました。それは Compiler というモナドの中で使われている型であって、 Compiler モナドには Snapshot の値を送出する機能と、指定した値の Snapshot を指定した別の Compiler モナドの値が既に送出しているかどうか確かめる機能がありました。この設計から分かるように Snapshot というのは Compiler の計算の途中の値を保存するものではなく、どうやらコンパイラのフェーズの進みを確かめるマーカーに近いようなのです。そうすると Snapshot という名前には違和感があるのですが、別の名前が思い浮かびません。

…ピンときていないのですが、CompilationPhaseではピンとこないのですか？

Phase の名前と Phase が終了したというマーカーの二つの役割がある状態なので、どんな名前を付けてもしっくり来てない状態なんだと思います

…`PhaseSignal`?

と言うか、「マーカー」という日本語の使用に違和感を感じないような状況なんであれば、安直に PhaseMarker はどうか、とか思ってしまうんですが。

PhaseMarker = PhaseMarker { ..., phaseName :: ...} みたいな設計にしようかと思います。答えていただきありがとうございます！

@cutsea110 has joined the channel

@aiya000 has joined the channel

@HiB has joined the channel

@Dora has joined the channel

@Shota has joined the channel

@gege251 has joined the channel

@niszet has joined the channel

@nuoun has joined the channel

@mds_boy has joined the channel

@khibino has joined the channel

@zeronone has joined the channel

@lagenorhynque has joined the channel

@addokoda has joined the channel

@sh9 has joined the channel

@hatsugai has joined the channel

@ has joined the channel

@Aumy has joined the channel

@keigon has joined the channel

@koyama41 has joined the channel

@TH has joined the channel

@Yoshikuni Kato has joined the channel

@Kouji Okamoto has joined the channel

@ひて has joined the channel

今スライドの英訳を作っていて分からなくなったんですが、型推論の文脈で、型変数に具体型を当てはめることを英語でなんていうんでしたっけ？

bind a type variable to a concrete type かな

「型代入」に対応する語として、substitution が使われることがあるように思います。Typing Haskell in Haskell でも、たしかそう呼んでました

それだ！ :bulb:

わーい

余談ですが思わず「そうだそうだ、束縛でもこの場合充分良さそうだけど置換の方が適切だった」などと文脈を知らない人が聞けば妙に物騒な独り言が出てしまいましたw

instantiateではないですか？

言われてみれば確かにその方が確かに適切な気がしてきた...！（揺れる心）

@akira ishiguro has joined the channel

@naokij has joined the channel

@atled has joined the channel