Avatar
generic signatureの設計的なところはわかったが、実際にtype checkする時にどういう手順で評価していくのかがよくわからないなあ
8:21 PM
型推論との兼ね合いもよくわからない
8:22 PM
全ての部分式にcontextual generic signatureが存在している?
8:24 PM
式に付随してるsignatureはスキーマの方で、applyされてる方はsubstituionか?うーんよくわからない