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

так и скажу

😊

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

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

> типы это же не фича которая строго больше отсутствия

Верно. Это фича, которая строго лучше отсутствия. 😊 Впрочем, я замолкаю, ибо этот чат не для подобных дискуссий, их было предостаточно в @fprog_spb...

Кстати, наши дискуссии с Николаем были очень добрые, заканчивались всегда на позитивной ноте. Просто он мастер тонких набросов. 😊

звучишь примерно как чувак из статьи про то что ооп лучше фп потому что кода меньше)

Я звучу так потому, что нахожусь в добром обмене мнениями в добром чате, у меня хорошее настроение, что видно из обилия смайликов.

Не одному же Николай тонко набрасывать...😊

А почему статическая типизация мешает REPL?

теоретическая может и не мешает, но практически у нас ghci

удобный репл это нелексическая видимость в репле? ну это багофича, так-то

удобный репл это в том числе когда я работаю кодом с модулями, выгружаю их, загружаю, перезапускаю части систем, не стопая что-то

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

(это про нелексическую видимость, но и для перезагрузок верно)

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

так, где тут инженеры?

посоветуйте либу для форматирования даблов в строки

чтобы можно было настраивать десятичный разделитель, хотя бы

или брать локаль