singleton-type

ein einfach bewohnter Typ, speziell im Zusammenhang mit abhängig typisierter Programmierung in Sprachen wie Haskell und Scala. Bei Fragen zum Singleton-Entwurfsmuster in der objektorientierten Programmierung verwenden Sie stattdessen [Singleton].
1
Antwort

Gibt es eine Verbindung zwischen 'a: ~: b' und '(a: == b): ~: True'?

Gibt es eine Verbindung zwischen propositional und < a href="https://hackage.haskell.org/package/singletons-2.2/docs/Data-Singletons-Prelude-Eq.html"> Gleichstellung gefördert? Sagen wir, ich habe %Vor% im Bereich für einige Symbol s...
20.06.2016, 13:09