вот что я называю 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" тут каинд, тип? Или сразу и то и то?
> Как мне их достать обратно и разобраться кто есть кто? > Дружище, это же основы основ. Это полиморфизм типов.
такc, обсуждение уже завершилось, но я к сожалению был занят какой-то фигней (работал) вместо того чтобы поучавствовать, очень сожалею есть два вида онлайн песочниц. Пример п...
кажется что весь каеф программирования на типах это удовольстве от натягивания асболютно неподходящего инструмента под задачу через тысячу костылей, и понимание того что ты ПО...
так, а я уже спрашивал, но забыл ответ а зачем собирать никсом? Почему бы просто в никс-шеле не вызывать cabal build и использовать любые кабал фичи
Расскажу я вам сейчас одну офигенную историю, что со мной произошла. Итак, коллега решал для себя простенькую задачу по реализации интерпретатора бреинфак-подобного языка на ...
так, повторю свой пример с 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 ...
а что значит “микро” в данном случае? Чем он не должен заниматься а чем должен?
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...
в хаскеле есть нульарные функции?
есть утверждение: нехвостовую рекурсию без стека не сделать в любом случае есть контрутверждение: сделать, есть алгоритм который позволяет в некоторых случаях это сделать, ес...
Зигоморфизм — генерализация параморфизма, которая повзволяет фолдить структуру с помощью вспомогательной функции zygo :: Functor f => Algebra f b -> (f (a, b) -> a) {- следо...
такой вопрос, что для вас лучше, отсутствие какой-то фичи целиком (при этом ее отсутствие не сильно будет мешать, а местами без нее и лучше), или частичное присутствие фичи, ч...
@cblp_su ты какой-то язык с околохаскельным синтаксисом скидывал образовательный, можешь напомнить? там еще юнит-тесты писались прямо в определении функции, типа inc x = x +...
такс ребят, кто-нибудь наверняка же фана ради реализовывал интерпретаторы какого-нибудь минимального лиспа с макросами? Киньте ссылочками
вручную пишешь парсер от чаров или что?
а какие конкретные фреймворки ты подразумеваешь? из своего опыта, чет писать на акторах голых в принципе не очень удобно, я бы даже сказал очень неудобно, сложно дебажить и п...