search

racket / htdp

Other
91 stars 70 forks source link

Inconsistent signatures for varaiable arity HOFs in ISL (and above) #82

Closed dvanhorn closed 5 years ago

dvanhorn commented 5 years ago

There are some inconsistencies with the signatures given for HOFs with variable arity in ISL (and above). For example:

(andmap p? [l]) → boolean
p? : (X ... -> boolean)
l : (listof X) = ...

(ormap p? l) → boolean
p? : (X -> boolean)
l : (listof X)

(map f l ...) → (listof Z)
f : (X ... -> Z)
l : (listof X)

andmap should use the map style notation and ormap should be revised to reflect its variable arity.

mfelleisen commented 5 years ago

closed with 97e63b33