Телеграмм чат группы haskell

и во многих случаях, если не можешь разобраться в какой-то формуле нетипизированного ЛИ, помогает натянуть типы

так что Хаскель хорошо подходит в качестве автоматического вычислителя — полигона для изучения нетипизированного ЛИ

источник

10:55пожаловаться #14

[

[BRM]White Rabbit in Haskell Start

и System F (расширением которого является корка) это уже несколько этапов расширения ли

источник

10:55пожаловаться #15

Jerzy Syrowiecki in Haskell Start

точно

источник

10:56пожаловаться #16

Peelsotemit in Haskell Start

Прочёл всю ветку, единственное, что извлёк из всего рассуждения, что
a b - это не преобразование, а описание преобразования

источник

23:56пожаловаться #17

Peelsotemit in Haskell Start

Я взялся сперва сначала за лямбда-исчисление, так как на нём ФП основывается. Но весьма тяжело пробираться через это дело не имея математического аппарата, приходится его отстраивать по ходу дела.

источник

23:58пожаловаться #18

2021 December 06

Peelsotemit in Haskell Start

И за 2 дня в голове не сказать, что многие концепции отпечатались на должном уровне.
Понимаю в целом что такое аппликация, абстракция, альфа, бета-преобразования, каррирование.
Но за всем этим пониманием не столько способность это формально выразить, а скорее интуитивное представление что это такое

источник

00:00пожаловаться #19

Ilya Baryshnikov in Haskell Start

А зачем пробераться к фп через теорию типов?

источник

00:01пожаловаться #20