推 macbuntu:謝謝, 我試試看囉 ^^ 03/22 11:53
※ 引述《macbuntu (邀怪)》之銘言：
: ※ 引述《scwg ( )》之銘言：
: : 在 unify 兩個的時候 class part 取 least upper bound, interfaces 取教交集
: : 然後再去 method resolution, 這步沒那麼難,
: : 一樣把名字和 parameter 數目都對的拿出來,
: : 每一個 parameter 跟 class & interface1 & interface2 ...
: : 比較, 可以的留下, 然後再一樣找 most specific method
: : 在這個例子裡兩個 func 都可以 -- 這個 type 是 A 也有 implement N2
: : 但是 A 和 N2 沒有 assignment 關係, 於是可能性不唯一, report error.
: Mmm... 這樣好像比較了解要怎麼做了, 所以基本上一定還是要找出 unify set,
: 也就是 { A, N1, N2 }, 然後在搜尋 compatible methods 的階段,
: 只要 formal paramter type T 跟對應位置的 expression unify set S
: 有 T.isAssignableFrom( anyOf{S} ) 的關係, 那個 method 就算是
: compatible method. 最後再用原本的 algorithm 找出 most specific method,
: 看看是不是唯一. 這樣對吧?
: 這樣還是可以在 linear time 找出 compatible methods, 感覺又變簡單了, 真好.
: 但這也表示所有 expression 的結果型別都不是唯一, 而必須是一個 Set...
: 我的程式有得改了 @_@
不過是個限制比較多的 set, 只能有一個 class, 其他都是 interface
: : 話說越寫越覺得跟我想做但是做不下去的 contraint existential types 很像 XD
: ^^^^^^^^^^^^^^^^^^^^^^^^^^^
: 這是什麼啊?
不容易說 @@
不過差不多是上面 Scala 那串的 base theorem XDw
--
-----BEGIN GEEK CODE BLOCK-----
Version: 3.12
GCS/M/TW d- s:++(+) a--->-- C++$ ULB+>++ P++ L++ E---@
W+ N? o? K? w--(++) O-- !M V- PS-(--) PE- Y PGP- t+ 5?
X R !tv b++ DI+ D+ G e h! !r z
------END GEEK CODE BLOCK------
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.30.54