Dmitriy Mozhevitin

спасибо, стало ясно имеется еще пара вопросов тогда: 1) почему instance {-# OVERLAPPING #-} (KnownSymbol name, name ~ "") => Cls name where f = "empty symbol" instance {-#...

Добрый день! Подскажите, есть ли аналог подобной вещи в окамле https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Type-Equality.html? Юзкейс: имея 2 полиморфных типа ...

Всем добрый вечер Подскажите, есть ли в какой-либо из библиотек C# функционал создания json объекта из строки при помощи InterpolatedStringHandler-ов? К примеру, $"{ name: ...

Господа, копаюсь вот в Data.Constraint и увидел там занимательнный тип newtype a :- b где :k a :: Constraint и :k b :: Constraint Судя по описанию, он представляет собой сле...

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

Добрый день Подскажите плз по тайпклассу Buildable У меня есть его инстанс для оберточки, которая представляет собой ошибку, который выглядит как newtype MyError = MyError (N...

Всем добрый вечер Есть ли в чатике эксперты reflex? Я не сильно знаком с этой замечательной библиотекой, поэтому прошу подсказать по поводу одного юзкейса. Имеется что-то в ду...

Здравствуйте. Хочу написать аналог своего строкового интерполятора s из стандартной библиотеки. Как известно, для этого нужно создать implicit обертку над StringContext и опр...

Всем добрый вечер Имеется вопрос по профайлингу: собираю проект с помощью cabal new-build all --enable-profiling --enable-library-profiling , и затем после завершения исполне...

Господа, подскажите пожалуйста, есть ли в хаскелле аналог функции collect из скалы? У меня есть список ADT-шек, хочу как-то элегантно оставить только один вид из них и сразу ж...

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

Добрый день Подскажите, могу ли я как-то за бесплатно получить instance Alternative (Either MyError) ? На данный момент при использовании Either MyError как альтернативы ругае...

Господа, подскажите пожалуйста: имеется f :: x -> Either a y g :: y -> Either b z h :: z -> Either a z' хочу максимально не мерзким образом получить что-то в духе h . g . f ,...

а слово visible добавляет какой-то доп.смысл?

про -XStrictData слышал, про -XStrict нет он неявно везде форсирует вычисления, а не только в мемберах даты, как StrictData ?

Подскажите, каким образом лучше с практической т.з изучать язык после прохождения курса на степике и по мере прочтения "Scala для нетерпеливых"? Обычно берется несколько попул...

Вы хотели привести оба массива к строке и найти подстроку?

А когда stack при исполнении stack test пишет *матерные ругательства и ошибки* Logs printed to consoleкуда он пишет эти логи и как их посмотреть?)

Добрый вечер. Подскажите, есть ли возможность чтобы в одной вьюхе были переопределены и корректно работали сразу onClick и onTouchEvent ?

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