Haskellのカインド、「型の型」と説明している人が結構いるけど、「型の型」よりかは「型の形」のほうがしっくり来る気がするのだが・・・「型の形」だと何か不都合があるのかしら? #プログラミング #Haskell
Haskellのカインド、「型の型」と説明している人が結構いるけど、「型の型」よりかは「型の形」のほうがしっくり来る気がするのだが・・・「型の形」だと何か不都合があるのかしら? #プログラミング #Haskell
@lotz84_ いろいろ拡張をセットしまくって試してみましたが、確かにカインドは型に型が存在するような感じになっていますね。 ありがとうございます。
突然だけど、Javaのメソッド、呼び出す/実行するとか言ってる?それとも、メッセージを送信するとか言ってる?
あー、その他とかも入れれば良かったかな。もしその他であれば、一応リプライとかでもOKということで。する気力もないかもしれないけど。
#PHP による参照の受け渡し($ref =& $var)が #参照渡し であるとすれば、たとえば #Fortran (90以降)のpointerをtargetに指し示す場合もPHPの参照のようにするのでそれも参照渡しということになってしまう。やはり参照渡しと呼ぶべきではないのだろうか。(画像はその疑惑コード) #プログラミング
ちなみにFortranではサブルーチン及び関数の仮引数に実引数を渡す場合のみ参照渡しとなっております。