История изменений

не знаю, «вещи которые вообще никакого смысла в реальном мире не имеют», это , например, операция сложения, и вообще цифры. т.е. можно говорить о двух пальцах, можно говорить о двух грушах. Но если брать просто «два» то в реальном мире это никакого смысла не имеет, т.е. вообще - нельзя назвать такой объект реального мира который будет соотвествтовать мат. понятию «два». Нельзя назвыать такой объект который будет соотвестовать понятию сложения. Всё это абстракции и они живут только в математике. Но исключительное преимущество мат абстракций в том, что если ты поставил без ошибок в соотвествие какому то набору предметов эту абстракцию, то она гарантировано даст (ожидаемый) результат. так, если поставить в соотвествие объекту два два пальца, а объекту три - три пальца, потом применить опреацию сложения - то получишь пять пальцев. И в действительности их пять. Т.е. дальше хоть группы, хоть монады, хоть транформеры монад, главное - верно поставить в соотвествие реальрности.

Меня смущает что человека смущает что в реальрности нет монад. Их нет в реальности в том же смысле в котором в реальности нет чисел. Однако, это не мешает нам успешно пользоваться абстракциями. Если бы математика не натягивалась на реальный мир, ни ракеты бы не летали в космос, ни телефоны бы сотовые не работали.

Я понимаю что он набрасывает, но я так же понимаю что корректность важна в любой более-менее долгосрочной перспективе. Более того при рефакторинге важна возможность быстро проверить корректность, и кажется ничего лучше типов для этого не придумано.

Однако, его рассуждения о размере кода (после 20 минуты) меня впечатлили. Однако, для серьёзного сравнения маловато.

Было бы интересно сравнить хаскель vs closure, может быть 5 сотен «одинаковых» библиотек (т.е. библиотек которые друг другу соотвествуют,т..е ну напримре работа с json и т.п) , но два аспекта:
- количество строк кода (с удалениями и добавлениями и без удалений)
- количество багов в багтрекере (закрытых и открытых)
- количество пользователей

за ссылку спасибо, посмотрел до конца. (правда, с 10 минуты, по отзыву тейлганнера) )

не знаю, «вещи которые вообще никакого смысла в реальном мире не имеют», это , например, операция сложения, и вообще цифры. т.е. можно говорить о двух пальцах, можно говорить о двух грушах. Но если брать просто «два» то в реальном мире это никакого смысла не имеет, т.е. вообще - нельзя назвать такой объект реального мира который будет соотвествтовать мат. понятию «два». Нельзя назвыать такой объект который будет соотвестовать понятию сложения. Всё это абстракции и они живут только в математике. Но исключительное преимущество мат абстракций в том, что если ты поставил без ошибок в соотвествие какому то набору предметов эту абстракцию, то она гарантировано даст (ожидаемый) результат. так, если поставить в соотвествие объекту два два пальца, а объекту три - три пальца, потом применить опреацию сложения - то получишь пять пальцев. И в действительности их пять. Т.е. дальше хоть группы, хоть монады, хоть транформеры монад, главное - верно поставить в соотвествие реальрности.

Меня смущает что человека смущает что в реальрности нет монад. Их нет в реальности в том же смысле в котором в реальности нет чисел. Однако, это не мешает нам успешно пользоваться абстракциями. Если бы математика не натягивалась на реальный мир, ни ракеты бы не летали в космос, ни телефоны бы сотовые не работали.

Я понимаю что он набрасывает, но я так же понимаю что корректность важна в любой более-менее долгосрочной перспективе. Более того при рефакторинге важна возможность быстро проверить корректность, и кажется ничего лучше типов для этого не придумано.

Однако, его рассуждения о размере кода (после 20 минуты) меня впечатлили. Однако, для серьёзного сравнения маловато.

Было бы интересно сравнить хаскель vs closure, может быть 5 сотен «одинаковых» библиотек (т.е. библиотек которые друг другу соотвествуют,т..е ну напримре работа с json и т.п) , но два аспекта:
- количество строк кода (с удалениями и добавлениями и без удалений)
- количество багов в багтрекере (закрытых и открытых)
- количество пользователей