Zulip Chat Archive
Stream: Is there code for X?
Topic: composing functions
Robert Osazuwa Ness (Sep 22 2022 at 22:10):
I'm new to Lean (and Zulip, sorry if I should have posted elsewhere).
Was wondering if there is a way to compose functions in Lean 4, like g . f in haskell or g compose f in Scala? I went through the Functional Programming in Lean book and the manual but didn't find anything.
Yaël Dillies (Sep 22 2022 at 22:11):
It's docs#function.comp with notation ∘ (type \comp)
Robert Osazuwa Ness (Sep 22 2022 at 22:14):
Yaël Dillies said:
It's docs#function.compose with notation
∘(type\comp)
404 error on that link?
Mario Carneiro (Sep 22 2022 at 22:14):
Last updated: May 02 2025 at 03:31 UTC