haskell-jp / english-help #2
Previous
Top
Next
sarashino
2019-12-10 13:50:05 +0900
@sarashino has joined the channel
fujiy
2020-01-20 23:47:03 +0900
@fujiy has joined the channel
kafu
2020-01-24 00:12:33 +0900
@kafu has joined the channel
にしたに
2020-01-24 13:51:48 +0900
@にしたに has joined the channel
Daikichi
2020-01-28 15:29:26 +0900
@Daikichi has joined the channel
prsdta
2020-02-15 14:00:23 +0900
@prsdta has joined the channel
2020-02-17 15:07:34 +0900
@ has joined the channel
telaoki
2020-02-17 18:32:33 +0900
@telaoki has joined the channel
kuono
2020-03-14 22:06:57 +0900
@kuono has joined the channel
kanimum
2020-03-25 21:54:27 +0900
@kanimum has joined the channel
hexirp
2020-04-09 14:53:33 +0900
コンパイラーの状態みたいなものを表すしっくりくる英単語ってありませんかね。ライブラリをフォークして書き直ししている途中で Snapshot という型を見つけました。それは Compiler というモナドの中で使われている型であって、 Compiler モナドには Snapshot の値を送出する機能と、指定した値の Snapshot を指定した別の Compiler モナドの値が既に送出しているかどうか確かめる機能がありました。この設計から分かるように Snapshot というのは Compiler の計算の途中の値を保存するものではなく、どうやらコンパイラのフェーズの進みを確かめるマーカーに近いようなのです。そうすると Snapshot という名前には違和感があるのですが、別の名前が思い浮かびません。
gksato
2020-04-10 14:47:03 +0900
…ピンときていないのですが、CompilationPhaseではピンとこないのですか?
hexirp
2020-04-10 14:54:09 +0900
Phase の名前と Phase が終了したというマーカーの二つの役割がある状態なので、どんな名前を付けてもしっくり来てない状態なんだと思います
gksato
2020-04-10 15:04:30 +0900
…`PhaseSignal`?
gksato
2020-04-10 15:07:16 +0900
と言うか、「マーカー」という日本語の使用に違和感を感じないような状況なんであれば、安直に
PhaseMarker
はどうか、とか思ってしまうんですが。
hexirp
2020-04-11 12:00:51 +0900
PhaseMarker = PhaseMarker { ..., phaseName :: ...}
みたいな設計にしようかと思います。答えていただきありがとうございます!
cutsea110
2020-05-13 19:49:57 +0900
@cutsea110 has joined the channel
aiya000
2020-05-24 12:39:23 +0900
@aiya000 has joined the channel
HiB
2020-05-26 10:06:28 +0900
@HiB has joined the channel
Dora
2020-06-15 11:55:00 +0900
@Dora has joined the channel
Shota
2020-07-01 12:48:34 +0900
@Shota has joined the channel
gege251
2020-08-30 21:07:22 +0900
@gege251 has joined the channel
niszet
2020-09-04 09:05:30 +0900
@niszet has joined the channel
nuoun
2020-09-22 16:10:54 +0900
@nuoun has joined the channel
mds_boy
2020-10-01 20:41:24 +0900
@mds_boy has joined the channel
khibino
2020-10-02 11:41:51 +0900
@khibino has joined the channel
zeronone
2020-10-10 13:08:33 +0900
@zeronone has joined the channel
lagenorhynque
2020-10-23 22:52:12 +0900
@lagenorhynque has joined the channel
addokoda
2020-11-17 04:54:56 +0900
@addokoda has joined the channel
sh9
2020-11-30 13:41:23 +0900
@sh9 has joined the channel
hatsugai
2020-12-07 10:40:06 +0900
@hatsugai has joined the channel
2020-12-08 01:38:16 +0900
@ has joined the channel
Aumy
2021-01-02 23:12:27 +0900
@Aumy has joined the channel
keigon
2021-02-19 20:28:29 +0900
@keigon has joined the channel
koyama41
2021-03-19 11:16:08 +0900
@koyama41 has joined the channel
TH
2021-05-16 00:12:59 +0900
@TH has joined the channel
Yoshikuni Kato
2021-07-07 23:43:13 +0900
@Yoshikuni Kato has joined the channel
Kouji Okamoto
2021-07-20 10:38:19 +0900
@Kouji Okamoto has joined the channel
ひて
2021-08-14 22:39:54 +0900
@ひて has joined the channel
igrep
2021-09-28 23:06:06 +0900
今スライドの英訳を作っていて分からなくなったんですが、型推論の文脈で、型変数に具体型を当てはめることを英語でなんていうんでしたっけ?
kakkun61
2021-09-28 23:08:31 +0900
bind a type variable to a concrete type かな
2021-09-28 23:10:52 +0900
「型代入」に対応する語として、substitution が使われることがあるように思います。Typing Haskell in Haskell でも、たしかそう呼んでました
igrep
2021-09-28 23:11:22 +0900
それだ! :bulb:
2021-09-28 23:11:32 +0900
わーい
igrep
2021-09-28 23:22:41 +0900
余談ですが思わず「そうだそうだ、束縛でもこの場合充分良さそうだけど置換の方が適切だった」などと文脈を知らない人が聞けば妙に物騒な独り言が出てしまいましたw
fumieval
2021-09-29 19:49:59 +0900
instantiateではないですか?
igrep
2021-09-29 20:01:14 +0900
言われてみれば確かにその方が確かに適切な気がしてきた...!(揺れる心)
akira ishiguro
2021-12-05 22:37:46 +0900
@akira ishiguro has joined the channel
naokij
2022-01-24 00:14:30 +0900
@naokij has joined the channel
atled
2022-02-01 12:12:48 +0900
@atled has joined the channel
Previous
Top
Next