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

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

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

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

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

Что такое каналы в Golang и как они используются?

Что такое нейронные сети и как они используются в машинном обучении?