functional-programming function-composition lean

How to do function composition in Lean 4?

If I have two functions f and g, in Haskell I can compose them by writing g.f. How do I do the same thing in Lean 4?

Solution

The symbol in Lean is the unicode ∘, which is notation for Function.comp.

LanguageExt - How do I avoid a double await when the Match lambda is async?
Implementing reduce in Scala (Scala FP)
Currying a function that takes infinite arguments
Is there some literature on this type of programming?
Pass a typed function as a parameter in Dart
List comprehension vs. lambda + filter
What exactly is meant by "partial function" in functional programming?
Explanation of lists:fold function
Index inside map() function
Problem using select and filter when used in purrr::compose with purrr::partial in R
Difference between flatMap, flatTap, evalMap and evalTap
Haskell how to instanciate all elements of two classes?
Returning `nil` from a `compactMap()` closure fails result type check
What is tail recursion?
functional programming in python - using map(), filter(), and sum() together - java .stream() equivalent?
Python fluent filter, map, etc
Elegant way to search an PHP array using a user-defined function
Is there a PHP equivalent of JavaScript's Array.prototype.some() function
Why does Haskell function tails include the whole list?
How to prepare a proguard file and whats included in it?
What's the status of current Functional Reactive Programming implementations?
Variable capture: How variables behave in function closures
Efficiency of purely functional programming
jQuery .map into array
Java lambda returning a lambda
What are my options for configuration files that contain a function in python?
What is wrong with this code for creating lists in OCaml?
When and why to map a lambda function to a list
Doing cartesian product the functional way in C++17
Use ramda to create nested object array from previous object array