Если искусство — это творчество, апеллирующее к эмоциям, значит ли, что Снойман — это художник оригинального жанра?
а есть какие-нибудь человеческие методы из мономорфного типа сделать полиморфный, и касты/коершены между ними где можно?
Обнаружен древний код на хаскеле, исполнение которого дарует секрет вечной жизни Prelude> data Data = Data Data Prelude> let d = Data d Prelude> show d
Почему вместо очевидного sum . filter (>0) я сделал fold? Изголодался после кложуры что ли? Ну хоть явную рекусию не стал городить.
чет туплю: если у меня есть Maybe FilePath, как прочитать этот файл в IO (Maybe ByteString)?
cyber.sci-hub.tw — кажется Шура о чём-то подозревает.
сегодня написал больше кода похожего на компилятор, чем в любой другой день, прикольно.
что-то невероятно простое здесь очень подходит, но в то же время ускользает от меня в 6 утра.
f a -> (a -> f a -> a) -> f a
а какой оверхед (в ассемблерных струкциях/тиках процессора/наносекундах) у unsafe FFi вызова?
а известно, куда будет смещаться центр хаскельного общения(и будет ли) после блока телеги?
Где мои юникодные инфиксные конструкторы? Когда я уже смогу сделать data a × b = a × b?
Смотрю перед сном лекции по теории категорий. Лектор просто офигенен. Благодаря ему моего внимания хватает на академический час и при этом не теряю мысль через 5 минут, а лишь изредко перематываю назад непонятные места. При этом это не доклады в стиле "смотрите дети, это функтор". Но на втором академическом часе я начинаю клевать носом и наступает крепкий и здоровый сон. youtube.com
А куда переползли juick'о-хаскелисты?
blog.discus-lang.org — интересно они серьёзно переименовали дисциплину или это затянувшееся первое апреля?
github.com — вот мы и дожили до того, что стали появляться проекты которые без стакана не соберёшь.
Мой язык пишет на твоём языке!
hackage.haskell.org
А как я могу поименовать List по имени типкласса чтоб использовать его в констрейнах? Например типа такого: instance List a => Foo a where ... Использовать [] справа единственный вариант? Хочу указать слева аналогично Num a =>
Хочу в деталях понять как работает система типов, пока нет единой модели в голове что конкретно делает конкретный нетривиальный систаксис при программировании на типах. Если ли вменяемый гид по реализации System F в Хаскелл, который можно порекомендовать? Я наверно не убоюсь матлогики в ограниченных объемах, но хотелось бы не сколько про теоретическое лямбда счисление, сколько про конкретную реализацию в Хаскелл в его терминах.
а реально ли в STM сделать аналог канала, но который выдает данные пачками, которые были записаны в рамках одной транзации:
write :: TQChan a -> a -> STM ()
read :: TQChan a -> STM [a]
?
я где-то так себе и представляю первотег pbs.twimg.com
Внезапно, после очередного обновления всё сломалось. Оказалось поломали API MonadMask в exceptions: ввели обобщённый bracket и выразили через него небо и аллах. В целом идея хорошая. Непонятно только почему для него не написали дефолтную имплементацию.
Открываю свежую статью — lexi-lambda.github.io — по названию думаю, что наконец-то все станет понятно! Первые три абзаца налито воды про мудохание с их пакетными менеджерами, закрыл статью...
Загадка #2896973 решена. Раньше у меня была 32битная система, а теперь 64. То есть гхц оперирует длинными интами, а в сишке по-прежнему int, то есть 32битные. Я попробовал там поменять на long — стало в 2 раза медленнее, то есть разница уже ближе к той что раньше.
Непонятно что делать с хаскелом. Ставить весь гхц 32битный я не пробовал, я даже не уверен как это сделать в 64битной системе. Менять тип с Int на Int32 не помогло.
что-то проебались полимеры по сравнению с #1628193 — в ghc-8.0.2 самый быстрый вариант раз в 5 медленнее чем сишка. Интересно, это си так улучшилось или гхц ухудшилось? Даже не знаю как проверить, всё уже другое.
получить accept на патч в ghc — unlocked
Закинул удочку в Serokell, которые вроде б то под руководством Дарта Вейдера^W^WPhilip Wadler пишут свой альткойн на Хаскеле. Питерские, но ищут remote чуваков.
Они созрели и прислали тестовую задачу зафигачить распределенный леджер на блокчейне на хаскеле, с указанным криптоалгоритмом и простеньким API.
Говорят, что работы на 8-9 часов, прислали небольшую заготовку, которая по юникс сокетам коммуницирует, API неможко парсит, таймауты там тестовые имплементит, которые нужны по ТЗ, молодцы.
Бросаться в это? Кто пропустил и хочет, могу зафорвардить, они раскидали тем, кто выразил интерес в середине декабря.
Что у нас сейчас принято для generic programming: syb, uniplate, еще что-то о чем я не слышал?
А добавить баг в ghc и патч к нему с описанием "Marlow сказал, что это должно бы работать так, а не как сейчас" — это халяль или пацаны не поймут? :)
hackage.haskell.org
Пакет с тайпсейфной реализацией графов.
Не смог заставить квикчек не генерировать гигантского размера данные и взял смоллчек. Я думаю, надо smallcheck брать по дефолту вместо квикчека уже давно.
А если мне надо написать instance Arbitrary (Foo a b c d), можно как-то этому Foo a b c d присвоить короткий алиас, чтобы внутри вместо Proxy (Foo a b c d) писать Proxy t?
Что-то в stack намудрили такого, что я не могу теперь ghc 7.8.4 на ubuntu использовать. Только несколько вариантов 8.x предлагает. Накатил системный 7.8.4 и пытаюсь понять, как заставить его использовать.
--ghc-options="-j +RTS -A128m -n4m -RTS"
и компиляция резкая аки диарея.
Что-то я не понял. vector-algorithms зависит от mwc-random, а stack собирает первый, не дождавшись второго. И все летит в пизду: travis-ci.org
Ищу утечку памяти в программе, где ее в принципе не должно быть: нет рутов, за которые можно было бы зацепиться. Будет или очень глупо, или очень интересно.
У меня проблема. Мне почему-то кажется, что если для типа t можно сделать (а -> b) -> t a -> t b, то и Applicative f => (a -> f b) -> t a -> f (t b) тоже можно и любой Functor — всенепременно Traversable.
