Suchergebnisse für Anfrage "functional-programming"

6 die antwort

Tensorflow "Kartenbetrieb" für Tensor?

Ich passe das @ cifar10 Faltungsbeispiel [https://tensorflow.googlesource.com/tensorflow/+/master/tensorflow/models/image/cifar10/cifar10.py] zu meinem Problem. Ich möchte die Dateneingabe von einem Entwurf, bei dem Bilder einzeln aus einer ...

4 die antwort

Mischen und vergleichen Sie zustandsbezogene Berechnungen innerhalb der Zustandsmonade

Der Status meines Programms besteht aus drei Werten:a, b, undc, von TypenA, B, undC. Verschiedene Funktionen benötigen Zugriff auf verschiedene Werte. Ich möchte Funktionen mit dem @ schreibState monad, sodass jede Funktion nur auf die Teile des ...

4 die antwort

Schreiben einer gewöhnlichen JavaScript-Funktion, die beliebig oft aufgerufen werden kann und beim letzten Funktionsaufruf einen Wert zurückgibt

Ich arbeite zurzeit an einem Programmierproblem in meiner persönlichen Zeit, bei dem gefragt wird, ob ich eine JavaScript-Funktion erstellen möchte, die auf diese Weise aufgerufen werden kann. add(1) // 1 add(1)(2) // 3 add(1)(2)(3); // 6 ...

TOP-Veröffentlichungen

4 die antwort

Was ist '(Apostroph) in Racket?

ch bin ein wenig verwirrt über die Bedeutung des' Anmelden Schläger. Es scheint mir, dass das gleiche Zeichen unterschiedliche Bedeutungen hat. Schauen Sie sich 2 einfache Beispiele ...

8 die antwort

Wann würdest du redu () anstelle von sum () verwenden?

Ich habe kürzlich angefangen, funktionales Programmieren zu lernen und habe mir dieses Beispiel ausgedacht, als ich versucht habe, meinen Quizdurchschnitt für eine Klasse zu berechnen. Das Beispiel, das ich mir ausgedacht habe, ist: scores = ...

2 die antwort

bind erstes Argument der Funktion, ohne seine Arität zu kennen

Ich hätte gerne eine FunktionBindFirst bindet das erste Argument einer Funktion, ohne dass ich die Arität der Funktion explizit mit std :: placeholders kennen / angeben muss. Ich möchte, dass der Client-Code so aussieht. #include <functional> ...

2 die antwort

Was sind kumulative Universen und `*: *`?

n Agda gibt esSet n. Wie ich es verstehe,Set n erweitert die Haskell-artige Hierarchie von Werttypen auf unendliche Ebenen. Das ist,Set 0 ist das Universum der normalen Typen,Set 1 ist das Universum der normalen Arten,Set 2 ist das Universum ...

2 die antwort

Swift Funktion höherer Ordnung (Church Pair aka Cons) mit generischen Parametertypen, die keine Eingabeparametertypen akzeptieren

Ich habe mit der funktionalen Programmierung in Swift 2.1 rumgespielt und versucht, das @ zu implementiereChurch Codierungspaar / Nachteile [https://en.wikipedia.org/wiki/Church_encoding#Church_pairs] function ...

6 die antwort

Eine Variable, die in einer eigenen Definition verwendet wird?

Ein unendlicher Strom: val ones: Stream[Int] = Stream.cons(1, ones) Wie kann ein Wert in einer eigenen Deklaration verwendet werden? Es scheint, dass dies einen Compilerfehler erzeugen sollte, aber es funktioniert.

2 die antwort

Also, was ist der Punkt

Was ist der Verwendungszweck desSo [https://github.com/idris-lang/Idris-dev/blob/master/libs/base/Data/So.idr#L14] Art? Transkription in Agda: data So : Bool → Set where oh : So trueSo hebt einen Booleschen Satz auf einen logischen hoch. ...