morte

8गर्मी

1उत्तर

`रेफ्ल` चीज?

ऐसे Agda, Idris, या प्रकार एक्सटेंशन के साथ Haskell जैसी भाषाओं में, वहाँ data a :~: b where Refl :: a :~: a a :~: b मतलब यह है कि a और b ही कर रहे हैं की तरह निम्नलिखित के = प्रकार प्रकार है।

haskell functional-programming equality dependent-type morte 2016-03-23

---