[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[jfriends-ml 13248] Re: Scala 第一回議事録
- From: "T.Murayama" <locutus1701e@xxxxxxxxx>
- Date: Thu, 26 Nov 2009 03:29:17 +0900
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=H2F7cmRFEF3SHEnZxrY1IuekBc72XCdcNsDEfwKhzeg=; b=KN951k1FpBqvxAnHuc5mtCdl9Zdfpu76YpM9e9PZKHOt3STYlVzSt8yLon+OCeu1Iq GtismwB8DmamQSlZkg4+nnApAcEhcefB0qee9dUUTweVx8otRe6f3NumL8zbqcpEfpqn XrEqi0QT0nT+YGCmv8NgsdmjxLi80HQ5+pbNY=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; b=Bz3j1HVG6hYthLHQTSCGU9CJRdJEyqVCx5qigaqHk3W8fAVgQfsVwOqVd38DqU4AZG iuM+7q+GOPPryLGhPGKKzYWSpjDDQ666JaXC6wxjFcJ7Wl1mRTQgjLI5OY7gWBrT/YAD qfaudOvWpGoRlC4XDtXn6izzSzY1Dmeh9KL6M=
村山です．
ちょっとだけ．
> trait:トレイト言語の特徴の事
traitを辞書で引くと，以下のような意味が出てきます．
リーダーズ： （生物，遺伝） 形質
NODE： a genetically determined characteristic
Merriam-Webster: an inherited characteristic
つまりは「遺伝形質」．
まさに"inheritance"で継承される特性そのものを表す単語のようです．
ネイティブだったらピンっとくるんでしょうね．
> 型推論 : type inference
型推論のある言語としては Standard MLが有名ですが，書籍は極めて少なく，
SML本としては昔アスキーが出していた奴くらいしか心当たりがありません．
「プログラミング言語ML」 http://www.amazon.co.jp/dp/4756116418/
あとこれも一応ML関係です．
「最新コンパイラ構成技法」 "Modern Compiler Implementation in ML"
http://www.amazon.co.jp/dp/4798114685/
コンパイラ屋さんにとってはそこそこ有名な本らしいですが，まさか
和訳が出るとは思ってもみませんでした．
--
Toshikiyo Murayama <locutus1701e@xxxxxxxxx>