ШН
Т-34 85
шарпист один
Может он гофер?
Size: a a a
2020 August 01
AZ
Т-34 85
ценишь эффект? А какая альтернатива эффекту?
под эффектом подразумевают тип который этот эффект обеспечивает
AZ
то есть писать в консоль можно и в ФП и нет
AZ
вопрос только то что в ФП ты в типе видишь у функции "могу писатьв консоль", а в си - нет
AZ
ты уже начал учить хаскель?
AZ
Т-34 85
упрощающий сахар завозить
это все равно усложнение, его нужно учить
p
Он интерпретируемый
ну и
p
вопрос только то что в ФП ты в типе видишь у функции "могу писатьв консоль", а в си - нет
foo :: IO ()
AZ
foo :: IO ()
ну вот. А когда функция с видом foo :: () пишет это уже неприятно
Т8
вопрос только то что в ФП ты в типе видишь у функции "могу писатьв консоль", а в си - нет
можно писать в идентификатор функции постфикс _can_write_to_console
ШН
ну и
Что и? Что тебе не понятно?
AZ
Т-34 85
можно писать в идентификатор функции постфикс _can_write_to_console
1. и ты нигде ни разу не ошибешься?
2. ты не сможешь такие эффекты композировать
2. ты не сможешь такие эффекты композировать
AZ
например, если у тебя 10 вызовов функции которые печатают на консоль ты можешь захотеть выполнить их 10 раз и записать все результаты одним батчем
AZ
типы как раз дают такие возможности
Т8
это все равно усложнение, его нужно учить
можно его учить, а низкоуровневые штуковины, которыми можно это повторить - нет. Кроме тех, без которых не обойтись
Т8
типы как раз дают такие возможности
ну это да. Просто хз, когда это может понадобиться
p
ну вот. А когда функция с видом foo :: () пишет это уже неприятно
сразу все стало понятно что делает функция
AZ
Эммм... А при чём тут интерпретатор?
интерпретатор обычно работает построчно, а компилятор - со всем файлом или проектом
AZ
Т-34 85
ну это да. Просто хз, когда это может понадобиться
постоянно. filterM как базовейший пример
AZ
который ты кстати обещал сделать и пропал