Type-safe data processing pipelines
Tweag
APRIL 26, 2023
Eta-expansion — turning partially applied functions to fully applied ones under a λ-abstraction (so map f becomes λ xs. Monomorphization — applying the types to the polymorphic functions at compile-time (turning map (+ 1) [1, 2, 3] into mapInt (+ 1) [1, 2, 3] , where mapInt only works with Int s). map f xs ).
Let's personalize your content