羽毛重量【JST・京大機械翻訳】

Griesemer Robert; Hu Raymond; Kokke Wen; Lange Julien; Taylor Ian Lance; Toninho Bernardo; Wadler Philip; Yoshida Nobuko

プレプリント

J-GLOBAL ID：202202200194185085 整理番号：22P0150835

羽毛重量【JST・京大機械翻訳】

Featherweight Go

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (8件)： , , , , , , ,
資料名：
発行年： 2020年05月24日プレプリントサーバーでの情報更新日： 2020年10月19日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

著者らは,Igarashi,Pierce,およびWadlerによるFeatherwe Javaに関する以前の研究によって触発されたGoにおけるジェネティクスの設計について述べる。Javaにおけるサブタイピングは名目であるが,Goにおいては構造であり,一方,Javaにおけるジェネリックは,モノモルフィケーションを用いるGoにおいて,消去によって定義される。モノモルフィケーションは広く用いられているが,まず,それを定式化する最初の1つである。本設計は,また,表現問題に対する解決策を支持した。【JST・京大機械翻訳】

, ,

応用プログラミング言語 , 汎用プログラミング言語 , 計算機システム開発 , 計算理論 , システムプログラミング一般

前のページに戻る