λO
ну это же глупо добавлять не трогая написанный код.
Size: a a a
2017 December 01
AI
Ок, зачет, с использованием расширений это наверное наиболее оптимальное решение в Хаскеле
Y
罗曼咖士经, 4:45 PM
Кложуристы что-то потихоньку забываются, обрастают религией
Я как-то смотрел доклад верховного кложуриста о нинужности статической типизации, 95% — редкостная ахинея.
罗曼咖士经, 4:52 PM
Вот в этом толке концентрация булшита о типах зашкаливает https://www.youtube.com/watch?v=2V1FtfBDsLU
Кложуристы что-то потихоньку забываются, обрастают религией
Я как-то смотрел доклад верховного кложуриста о нинужности статической типизации, 95% — редкостная ахинея.
罗曼咖士经, 4:52 PM
Вот в этом толке концентрация булшита о типах зашкаливает https://www.youtube.com/watch?v=2V1FtfBDsLU
Aq
Ок, зачет, с использованием расширений это наверное наиболее оптимальное решение в Хаскеле
да и расширений не надо
import Data.List
data ЭтоЗверюшка = ЭтоЗверюшка {
погладить :: IO (),
числоНог :: Int
}
котик = ЭтоЗверюшка {
погладить = putStrLn "мурр",
числоНог = 4
}
пёсик возраст = ЭтоЗверюшка {
погладить = putStrLn $ intercalate "-" $ replicate возраст "гав",
числоНог = 4
}
main = mapM_ погладить [пёсик 1, котик, пёсик 3]
Aq
Объекты - это замыкания для бедных? :)
это не объекты, рекурсии-то нету
Aq
чтоб объекты были надо узел завязывать
AI
Ок, но пока все решения выполнены в стиле "мы заранее знаем что тут наш тип будет расширяться, поэтому заблаговременно напилим 100 костылей для этого"
AI
Но в ляльном мире так никто не пишет и все пихают голые типы
AI
А потом если требуется рашрирения до котиков и страусов - проблема та же самая
Aq
так там специально закладывапется, что расширений без правки всех матчингов не сделать, чтоб компилятор при рефакторинге все матчинги править заставлял
VM
Наверное, никого не интересует, что нет silver bullet.
AI
3 критерий хаскелиста наверное будет по признаку - кто считает что это хорошо )
Aq
скорее что такая фича вообще должна быть, где это не хорошо - можно не использовать
AI
если мне надо 1 раз в 1 месте протащить котика через список собачек, я вынужден править 20 модулей по всему проекту
AI
потому что тайпчекер теперь ни в чем не уверен
Aq
да, но это бай дизайн
AI
собсно, когда я выступаю на стороне против Хаскеля, это одна из моих претензий к этому дизайну