Y
Тетрадка тайпчекать не умеет
Size: a a a
2020 September 29
AS
Завтипы никто тайпчекать не умеет
AS
Тетрадка ничем не хуже
AS
И вообще, типы это просто доказательства теорем
Y
Гранин выпустил книгу и выгнал академиков из хаскеля
Прям как Иисус торговцев из храма
AS
Доказываешь теорему и никакой тайпчекер не нужен
Y
Доказываешь теорему, а там ошибка
Y
Вон Мотидзуки уже сколько лет тайпчекнуть не могут
AS
Доказываешь теорему, а там ошибка
Естественно там ошибка, Hask is not a Category, следовательно в денотационной семантике можно доказать теорему хаоса
Y
Так не на Хаске надоть!
AS
Дак на любом полном по тьюрингу языке
AS
Читал недавно статью о том, что промисы в js это не монады
AS
Так что бы вы думали? Те же самые игры с ленивостью и порядком применения эффектов завернутых в эти промисы грязных функций
AS
Люблю академиков, защищают не-тотальные языки от всех этих монад
AD
SK
И что лучше?
Книга лучше.
Так то в Америках Европах, 4 класса отучился, а дальше делай что хочешь. У нас ты обязан школу закончить.
да у нас тоже можно после 4 классов работать фронтендером, кто ж запретит
AS
Я запрещаю вам работать фронтендером после 4 классов
к
до этого зумер нас уверял как много у него ценного времени для великих свершений по сравнению с дедами
да это ты прочитал что захотел. Я ничего подобного не говорил
к
Просто твоя установка на то что я зумер меняла восприятие моих слов