кана

вот что я называю implicit handle pattern описываем интерфейс какого-то сервиса data DBConn = MkDBConn { select :: Query -> IO [Row] , hello :: IO String , kill :: IO ...

задача: конкуретность текущая реализация: рантайм написан на си, состоит из очереди процессов и апишки в виде void yield() yield берет текущий rsp, сохраняет в конец очереди,...

рассуждать "каиндами" будет просто невалидно, потому что вот f :: forall a (b :: a). a -> () f = () f @Bool @True False "a" тут каинд, тип? Или сразу и то и то?

> Как мне их достать обратно и разобраться кто есть кто? > Дружище, это же основы основ. Это полиморфизм типов.

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

так, а я уже спрашивал, но забыл ответ а зачем собирать никсом? Почему бы просто в никс-шеле не вызывать cabal build и использовать любые кабал фичи

а что значит “микро” в данном случае? Чем он не должен заниматься а чем должен?

такc, обсуждение уже завершилось, но я к сожалению был занят какой-то фигней (работал) вместо того чтобы поучавствовать, очень сожалею есть два вида онлайн песочниц. Пример п...

в хаскеле есть нульарные функции?

it is possible to forward a bot message to another chat by same bot (i mean bot can send message to chat A and forward it to chat B ) but is it possible to forward message fr...

так, повторю свой пример с PLC, он же убогий вот это (а это популярнейший пример, когда мне нужен zip) [ x + y | (x, y) <- zip xs ys, pred x ] через PLC не написать, так заче...

у нас по сути есть два моноида, первый это Applicative и можно выразить как unit :: f () unit = pure () combine :: f a -> f b -> f (a, b) combine = liftA2 (,) combine unit ...

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

@cblp_su ты какой-то язык с околохаскельным синтаксисом скидывал образовательный, можешь напомнить? там еще юнит-тесты писались прямо в определении функции, типа inc x = x +...

где-то можно увидеть правила типизации и определение отношение подтипирования оберона?

вручную пишешь парсер от чаров или что?

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

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

такой вопрос, что для вас лучше, отсутствие какой-то фичи целиком (при этом ее отсутствие не сильно будет мешать, а местами без нее и лучше), или частичное присутствие фичи, ч...

Зигоморфизм — генерализация параморфизма, которая повзволяет фолдить структуру с помощью вспомогательной функции zygo :: Functor f => Algebra f b -> (f (a, b) -> a) {- следо...