polymorphism

https://gyazo.com/fd519998513a950a958b5c669f5ed34f

静的な多相

動的な多相

アドホック多相と、パラメトリック多相の差異

程度問題なので真面目に考えるべきではないが、その程度を圏論的に見よう、というもの

アドホック多相は単一のシニフィアン、パラメトリック多相は単一のシニフィエ

メッセージの「配送」とか

ポリモーフィズムのない単純な型システムの場合に起きる問題点

code:ml

let id = fun x -> x in if id true then 1 else id 2

このidは、引数をそのまま返す関数

単純型システムの場合、上のコードではidに型を付けられない

本当は安全に実行できるプログラムのはずなのに、型エラーを起こす

code:ml

let id = fun x -> x in if idBool true then 1 else idInt 2

参考