partial-functions

1Hitze

1Antwort

Idris: Funktion arbeitet mit Nat-Parameter und Fehlertyp Überprüfung mit Integer-Parameter

Ich bin neu bei Idris. Ich experimentiere mit Typen und meine Aufgabe ist es, eine "Zwiebel" zu machen: eine Funktion, die zwei Argumente akzeptiert: eine Zahl und was auch immer und setzt alles in Li

idris partial-functions 2016-05-27

---

28Hitze

2Antwort

Warum sind nicht erschöpfende Muster in Haskell keine Kompilierungsfehler?

Dies ist ein Follow-up von Why am I getting "Non-exhaustive patterns in function..." when I invoke my Haskell substring function? ich, dass mit -Wall verstehen, GHC gegen nicht-erschöpfende Muster war

haskell functional-programming non-exhaustive-patterns partial-functions 2010-09-27

---

6Hitze

1Antwort

swift - Teilfunktion Anwendung mit Generika

Ich arbeite mit einem Observer API (ObserverSet), die die folgende Funktion haben: public func add<T: AnyObject>(object: T, _ f: T -> Parameters -> Void) -> ObserverSetEntry<Parameters> Es ist einfa

ios swift generics currying partial-functions 2015-02-05

---

5Hitze

1Antwort

Wie bestimmt Scala Cons Mustervergleich den Kopf und den Schwanz einer Liste?

Wie ist der Kopf und Schwanz in der folgenden Aussage bestimmt: val head::tail = List(1,2,3,4); //head: 1 tail: List(2,3,4) Sollte es nicht irgendein Stück Code sein, der das erste Element als Kopf

scala pattern-matching partial-functions 2014-09-20

---