typed-racket

Typed Racket ist ein statisch typisierter Dialekt der vom Racket Scheme abgeleiteten Sprache, der die Migration von untypisiertem zu typisiertem Code erleichtert.
0
Antworten

Ist eine Funktion, die das erste Argument einer Liste von Funktionen typisiert, die in Type Racket typisiert werden können?

Ich kann eine einfache Funktion im nicht typisierten Racket namens curry-all schreiben, die eine Liste von Funktionen übernimmt, die alle die gleiche Art von Wert für ihr erstes Argument akzeptieren und eine Liste von Funktionen mit ihren ers...
04.03.2015, 08:14