24 августа 2026
Dima | No AI clubдомучают поддержку спустя еще 10 лет и будет висеть техдолгом параллельно ковырянию гарантий специализации "для всех"?
почему техдолгом? кажется сейчас чем быстрее компиляция тем лучше
Ilya Baryshnikovпочему техдолгом? кажется сейчас чем быстрее компиляция тем лучше
потому что будет требовать поддержки и при этом использоваться одним из двух калек в проде
Dima | No AI clubпотому что будет требовать поддержки и при этом использоваться одним из двух калек в проде
все мы ментал ишуе аниме девочки
Ilya Baryshnikovвсе мы ментал ишуе аниме девочки
я себя идентифицирую как PhD дядька (я без образования)
Ilya Baryshnikovдумаю надо больше примеров и туториал поразжованей 🤔
И чтобы крэктро показывало пока компиляет
We are happy to announce the first public release of a paper we wrote about modularizing GHC!
Having some familiarity with Domain Driven Desing, I found two things which sounded a bit odd, while skimming fastly through the paper:
not finding a mention of Bounded Contexts, which could be a great tool to untangle a bit of complexity;
the proposal to use a layered architecture instead of an hexagonal one, which generally provided better decoupling
Leonid 🦇 OnokhovWe are happy to announce the first public release of a paper we wrote about modularizing GHC!
Having some familiarity with Domain Driven Desing, I found two things which sounded a bit odd, while skimming fastly through the paper:
not finding a mention of Bounded Contexts, which could be a grea
Сектанты...
Leonid 🦇 OnokhovWe are happy to announce the first public release of a paper we wrote about modularizing GHC!
Having some familiarity with Domain Driven Desing, I found two things which sounded a bit odd, while skimming fastly through the paper:
not finding a mention of Bounded Contexts, which could be a grea
это откуда?
Ссылка
нажмите — покажем
нажмите — покажем
на дискурсе из интересных обсуждений многие хотят поскорее RequiredTypeArguments видеть в новых ревизиях
https://discourse.haskell.org/t/which-extensions-should-be-part-of-the-next-ghc20xx/14579/25
и в целом какое-то будущее языка обсуждают
Ссылка
нажмите — покажем
нажмите — покажем
и в обсуждении завтипов активности немного тоже
https://discourse.haskell.org/t/history-of-dh-dependent-types-in-haskell-contributions/11242/40
Leonid 🦇 Onokhovпришлось локальные функции покрывать аннотациями
А это же и без GADTs проблема? Когда начинаешь с ассоцированными тайпфемели промежуточные переменные типов вводить. Сложно привести точный пример, но помню страдал когда в сервантовский роутер добавлял описание прав на основе подпутей