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.

jQuery .map into array
How to build a good data structure for a react state, that allows me to easily update deeply nested array of objects?
Understanding fmap with a monad
Chronomorphisms in Scala
What should be the domain of a 'minimum' function in functional programming?
Can Bird-Meertens be used to calculate a linear-time solution to this longest valid parentheses problem in Haskell?
How to enumerate a recursive datatype in Haskell?
How to reduce iterations when chaining map reduce filter?
Equivalent of Scala View in JavaScript
Optimization of tail recursion in R
Transpose Vector Matrix in Idris2 With Dependant Types
Difference between initial and terminal objects in a category
Python equivalents to LINQ
Why doesn't this code type-check in Haskell, given that ((forall b. [b]) -> Bool) is more polymorphic than ((forall a. a) -> Bool)?
Are there any purely functional Schemes or Lisps?
Truly understanding the difference between procedural and functional
How can I get this expression to be of type string instead of string -> string?
Simple dependent type example in lean4
Is assignment with "let" not against the idea of functional programming in Clojure
Can iterate be written with a fold?
How to use (->) instances of Monad and confusion about (->)
Finding the subsets of an array in PHP
Partition a Java 8 Stream
Does JavaScript have a method like "range()" to generate a range within the supplied bounds?
Haskell parse error on input `<-'
How can I count occurrences with groupBy?
How to do timeout and then clear timeout in react functional component?
Why doesn't contravariance apply in certain cases like [b] → Int < a → Int
How can I make a functional chaining operator in Raku?
Is there a PHP equivalent of JavaScript's Array.prototype.some() function