Что такое лямбда-выражения в Haskell и как они используются?

Что такое лямбда-выражения в C# и как они используются?

Что такое лямбда-выражения в Java и как они работают?

Что такое регулярные выражения в Java и как они используются?

Что такое категории в Haskell и как они используются?

Что такое типы в Haskell и как они используются для обеспечения безопасности типов?

Что такое ленивые вычисления в Haskell и как они работают?