我在看 user defined exceptions和 system defined derived exceptions 它是正確的，所有（或大多數情況下）的System.Exception派生類，無論是用戶定義或系統定義爲structurally equivalent到它們的基類System.Exception，儘管它們是non nominally equivalent？ 謝謝。
我試圖使用dfold定義here dfold
:: KnownNat k
=> Proxy (p :: TyFun Nat * -> *)
-> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l + 1))
-> (p @@ 0)
-> Vec k a
-> p @@ k
基本上它是摺疊該
我試圖創建一個特質，將提供在子類中添加抽象類型的名稱的名稱： trait T {
type T
def myClassOf[T:ClassTag] = implicitly[ClassTag[T]].runtimeClass
def getType = {
myClassOf[T].getSimpleName
}
}
class TT ext
雖然有這麼多的問題涉及到這個主題，但總覺得我不知道或說我不滿意這些答案，所以我在這裏發佈再次 Integer in=new Integer(4);
Character character=(Character) in; //Cannot cast from Integer to Character
String s="hello";
int j=(int) s;//C
假設有一個身份的功能，那就是： T Id<T>(T t) { return t; }
我應該輸入F？ void F<T>(Func<T, T> f) { // This is not sound!
System.Console.WriteLine("{0}", f(1));
System.Console.WriteLine("{0}", f("one"));
}
st
下面的程序類型檢查： {-# LANGUAGE RankNTypes #-}
import Numeric.AD (grad)
newtype Fun = Fun (forall a. Num a => [a] -> a)
test1 [u, v] = (v - (u * u * u))
test2 [u, v] = ((u * u) + (v * v) - 1)
main =