Wpis z mikrobloga

Mirki, muszę zrobić funkcję wyższych rzędów o sygnaturze:
('a -> bool -> int) -> 'a -> int -> bool
((int -> int) -> int -> int -> int) -> (int -> int) -> int -> int -> int

Ktoś może pomóc? Szczerze mówiąc nie wiem jak się za nie zabrać, próbując jakoś wpaść na drugie zrobiłem jedynie (int -> int) -> int -> int -> int, ale dalej niestety nie udało mi się zajść :(

#ocaml #naukaprogramowania
  • 5