Напомните, cabal позволяет указать в пакете другой модуль вместо стандартной прелюдии?
Какой линзой сделать asks (f . _someField)?
А хаскель тогда для чего? Если на нём тоже чуть менее чем все вакансии на блокчейны
Вопрос по стат. анализу. Есть switch по енуму. Если в нём не сделать default-ветку, компилятор даёт ворнинг. Если сделать, ворнинг даёт анализатор (Svace), мол, все варианты е...
Для некоторого рекорда генерируются TH-линзы, и из-за этого TH нельзя поставить функцию, работающую с этим рекордом, перед его определением — ругается, мол, ещё не определено....
Чё-то я не так делаю. Мне нужно зафигачить несколько обработчиков однотипных исключений, которые умеют красиво рендериться какими-то своими форматтерами. Вопрос 1: можно ли ка...
[[smallptr]] attribute In many algorithms that use a large number of pointers, a large amount of memory can be consumed on 64-bit processors, since a normal pointer is 8 bytes...
Системы сборки приходят и уходят (ocamlbuild, oasis, dune, что там ещё?), а opam вечен 🗿
Да блин, неужели я многого хочу?
Как найти, где у меня программа зацикливается?
Какие есть не слишком сложные компиляторы на хаскеле? Элм, пурскрипт?
Так что не работает-то?
А если хаскельные функции – это не (совсем) математические функции, то может, и хаскельная тотальность/частичность – это не (совсем) математическая тотальность/частичность?
Что там нынче есть для компайл-тайм рефлексии? Чтобы нагенерировать некоторое количество однообразного кода для однотипных (но не POD) структур
Кто такие скуфы?
У нас сейчас для pp используется prettyprinter. Есть ли какая-нибудь более новая модно-молодёжная фигня?
А есть ‘а non_empty в либе?
А нет ли какого-то сахарного расширения, чтобы одним махом объявлять несколько связанных инстансов разных классов? Ну типа instance Semigroup Foo, Monoid Foo where (<>) = .....
Можно ли у HLS (в VS Code) вырубить кодолинзу, которая предлагает подставить сигнатуру у метода в инстансах?
Можно ли организовать хранение древовидной структуры, чтобы все узлы плоско хранились в векторе и у каждого был номер, но у каждого узла мог быть набор ссылок на потомков? Узл...