トップページ⇒tech
14コメント2KB

polymorphic recursion って？

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさんNGNG
let-polymorphism との違い知ってる？
0002デフォルトの名無しさんNGNG
知りません
0003デフォルトの名無しさんNGNG
存じません
0004デフォルトの名無しさんNGNG
聞いたことありません
0005デフォルトの名無しさんNGNG
知りまへんなー
0006デフォルトの名無しさんNGNG
I don't know.
0007デフォルトの名無しさんNGNG
知らんでごわす
00081NGNG
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■

ではこの辺でこのレスを終了させていただきます
すべて自作自演でした
本気で知りたいわけではないのでこれ以降レスを
付けないでください
短い間アリガトウございました

■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
0009デフォルトの名無しさんNGNG
本物の1です

本気で知りたいです

そんなんでよろしく。

（ところでレス無しで自作自演ってあるのか？）
0010デフォルトの名無しさんNGNG
age
0011デフォルトの名無しさんNGNG
>>1
polymorphic recursion
let-polymorphism
なんのことか説明してください。
0012デフォルトの名無しさんNGNG
1っす

説明と言われても　自分も知らないので聞いたんで。
でもなんか皆知らないみたいで　結局自分で調べるつもりです

まあプログラミング言語に関する言葉なんすけど　ちょっと板違いだったかも。
ちなみにpolymorphismってのは多態性のことです。OO指向言語でよく使われてるやつです。正確にはsubtyping polymorphismじゃん？
で
polymorphic recursion
let-polymorphism
なんすけどこいつらはsubtypingじゃなくてparametric系の多態性を指す言葉です（多分）。
let-polymorphismはStandardMLなんかの関数系言語に有りますよね。polymorphic recursionはlet-polymorphismにrecursive定義を加えた物だと思うんですがこいつがあるとtype inferenceが決定不能になるとか言われて　なんでか分からなかったのでカキコしちゃいました。
0013デフォルトの名無しさんNGNG
daremotsuiteikemasen.
0014デフォルトの名無しさんNGNG
用語が無茶苦茶。もっと勉強しろ。
こんなもんgoogleで引けばぼろぼろ出てくる。
■ このスレッドは過去ログ倉庫に格納されています