interface A { string Name {get;set;}}
interface B { string Name {get;set;}}
class C : A, B { string A.Name {get;set;} string B.Name {get;set;}}
var c = new C();
((A)c).Name = "a";
((B)c).Name
我有一個類型Action其中: MUST包含一個字段type {String} CAN包含一個字段{Object<string, any> } CAN包含字段error {Error} 約束: IF contains fieldTHEN it cannot contain fielderror IF contains fielderrorTHEN it cannot contain fie
我正在與Idris語法打交道,看來。 module Test
data Nat = Z | S Nat
Eq Nat where
Z == Z = True
S n1 == S n2 = n1 == n2
_ == _ = False
這抱怨,出現以下錯誤(V1.1.1): .\.\Test.idr:5:8: error: expected: "@",