Нашел новую книгу про лямба исчисление, дошел до альфа, бета и еще какая-то греческая буква (ню?) трасформации/редукции лямбда выражений (картинка). Вопрос - referential trans...
Помогите разобраться с сигнатурой Data.Map.insertWith:: insertWith :: Ord k => (a -> a -> a) -> k -> a -> Map k a -> Map k внутри неё есть k- > a, откуда это a берётся?
https://twitter.com/Federico_claudi/status/1526297003797487616?t=smaI6ZpqT52Gzrp171qAdQ&s=09
Не подскажете, что такое Non-null by default - перевод понимаю, а что это значит в контексте хаскелл?
Это вместо *?