3コメント1KB

《Type System》Γ|- M:τ《型システム》 [転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています

0001デフォルトの名無しさん

2015/02/23(月) 09:21:00.80ID:1DHlU1Bq

いろんな情報がさくそうしていていまいちわからん。
情報が散らばりすぎ

このすれにまとめてくれ。
詳しい型回答よろしく。

0002デフォルトの名無しさん

2015/02/23(月) 09:25:03.23ID:1DHlU1Bq

とりあえず質問

scala で

scala> val s = "sss"
s: String = sss
と
scala> final val fs = "fss"
fs: String("fss") = fss

の違いがわからんぐぐってもわからん。
何でこんな違いがあるかもわからん。

よろしく。

0003デフォルトの名無しさん

2015/03/08(日) 16:00:41.19ID:B9BAdcqA

型は同一です(:t sや:t fsの結果は一緒)。型システム以外の、Scala特有の違いです。型システムとは関係ありません。
又、REPLではconstant expressionとそれ以外の違いは作れません。

繰り返しますが、型システムとは関係無いです。

■ このスレッドは過去ログ倉庫に格納されています