m
Но идрис же не столько про ФП, сколько про убер типизацию нового поколения. TS и рядом не валялся
Size: a a a
2020 June 25
🚀🚀
ага ага ага)) но чего она стоит если примитивная математическая операция с успехом грохнулась?
m
ага ага ага)) но чего она стоит если примитивная математическая операция с успехом грохнулась?
Выяснил почему упало?
🚀🚀
да, компилятор идриса слишком беспечно юзал зависимость для мат. вычислений
🚀🚀
у меня в тот момент прям резко прояснилась разница между академической теорией изучающей мир идеальных вещей и кода который работает в неидеальной реальности
🚀🚀
то есть нужно просто понимать: чем строже каноны фп тем больше фокус авторов смещён от программирования к другим индустриям
🚀🚀
к примеру формальная верификация это очень важно и это выглядит как код, но это не проектное программирование и этим пользуются не программисты в обычном понимании. то есть это круто но круто не для нас
🚀🚀
мир очень большой)
m
то есть нужно просто понимать: чем строже каноны фп тем больше фокус авторов смещён от программирования к другим индустриям
Просто еще не научились до конца скрещивать ежа с ужом. В раст например очень хорошо зашли дозированные уколы хацкеля
m
Будущее за убер типизацией
DS
Я правильный вывод сделал?
Чистота функции по книжке гарнтирует отсутствие сайд эффектов, но если функция не чистая то это не гарантирует присутствие сайд эффектов.
Чистота функции по книжке гарнтирует отсутствие сайд эффектов, но если функция не чистая то это не гарантирует присутствие сайд эффектов.
🚀🚀
нет, вывод: количество сайд-эффектов зависит от позиции наблюдателя а «чистота» это просто констатация отсутствия последствий и вообще не особо четко определенный термин
🚀🚀
makoven
Просто еще не научились до конца скрещивать ежа с ужом. В раст например очень хорошо зашли дозированные уколы хацкеля
разумеется, это и есть сотрудничество на равных, оно всегда работает лучше чем лозунги OBEY DEPENDENT TYPES
🚀🚀
нет, вывод: количество сайд-эффектов зависит от позиции наблюдателя а «чистота» это просто констатация отсутствия последствий и вообще не особо четко определенный термин
тут как с графами: если ты захочешь найти общее решение то у тебя большие проблемы, но при этом частные случаи решаются хорошо
m
> OBEY DEPENDENT TYPES
Мы бы и рады, но инструментики пока падают в стэк оверфлоу 😄
Мы бы и рады, но инструментики пока падают в стэк оверфлоу 😄
🚀🚀
makoven
> OBEY DEPENDENT TYPES
Мы бы и рады, но инструментики пока падают в стэк оверфлоу 😄
Мы бы и рады, но инструментики пока падают в стэк оверфлоу 😄
я к тому что с точки зрения фронтенд-разработчика у теоретически безупречного инструмента есть огромные практические проблемы потому что этот инструмент создавался не для них
🚀🚀
тут хорошо подходит пример с purescript авторы которого завезли эффекты ещё пять лет назад но компилировали это всё в потрясающе фиговый и медленный жс код, потому что сами были хаскелистами а жс платформу не уважали, результат не заставил себя ждать
🚀🚀
то есть на бумаге у них было всё хорошо, коллеги-хаскелисты тоже респектовали: там местами типы были круче чем в родном хаскеле, ууух
а фронтендеры просто не шарят
а фронтендеры просто не шарят
🚀🚀
в целом ситуация описывается фразой «в тулу со своим самоваром не ездят»
c
@ZeroBias напомни, пожалуйста.
чтобы передать сюда loc и name, нужно заворачивать в config: { name, loc } или можно напрямую?
createEffect({ handler })чтобы передать сюда loc и name, нужно заворачивать в config: { name, loc } или можно напрямую?