https://ghc.haskell.org/trac/ghc/ticket/1496 баг

так все таки долго жило

значит я с другим случаем путаю

я как-то уже писал, но я правильно понимаю, что тайп алиасы по сути являются семействами, где аргументы "патаметрические" (инъективны, мб так лучше)?

type alias все же не семейство, там нету вычисления, а только переименование

это конкретно в текущией реализации

меня не покидает мысль, что можно выразить алиасы через семейства и упростить язык

я не понимаю почему иньективны, но ладно

семейств иньективных у нас нету

к сожалению

я не понимаю почему иньективны, но ладно

ну то то, про что он говорил, что тело инстанса одинаково для любых 'a' (с учетом замены 'a') то есть type alias T a = G a -- вроде как то же самое (возможно не в -- текущей конкретной реализации), что и type family T a where T a = G a нужно только понимать компилятору, что a тут параметрический

type families во всяком случпе

инъективными только с TFFD будут

а они и близко не запилены

Простите за глупый вопрос, мне сказали что xmonad умер, это актуальная информация?

у меня работает

Как проект умер и больше не развивается, я так понял, меня это очень сильно удивило и обеспокоило, вот и спросил ибо ближе группы чем эта к данному проекту у меня нет

так все сделали

еще пять лет назад

Состояния умер и больше не развивается это разные состояния. Судя по активности репы, xmonad мейтенится активно. А умрёт только когда им перестанут пользоваться.

последний релиз был в феврале 17-го

у меня работает

А у меня не работает.

Состояния умер и больше не развивается это разные состояния. Судя по активности репы, xmonad мейтенится активно. А умрёт только когда им перестанут пользоваться.

Спасибо!!! Значит не умрет в ближайшие годы))

А у меня не работает.

Работает даже в дефолтном состоянии без настройки

Просто конфигурации копируешь дефолтный к себе в папку

Работает даже в дефолтном состоянии без настройки

Но у меня не работает. Хотя, может, его сначала стоит установить

Но у меня не работает. Хотя, может, его сначала стоит установить

Простите не правильно Вас понял)

А мне вспомнить, что сегодня день юмора)))

Да, сегодня мой день

Всех с праздником!!!

Как сделать что-то подобное: mListFix :: MonadFix m => (a -> m [a]) -> m [a]?

import Control.Monad (join) import Control.Monad.Fix (MonadFix, mfix) import Data.Traversable (traverse) mListFix :: MonadFix m => (a -> m [a]) -> m [a] mListFix f = mfix (fmap join . traverse f)

Спасибо, попробую

https://mail.haskell.org/pipermail/haskell-cafe/2018-April/128845.html а мне норм

Чот перетолстили

Как шутка? А я уже на лекции новые времена анонсировал!

аванс взял?

PoW требует, чтобы верификация работы была гораздо проще самой работы, так что довольно очевидно, что шутка

И салат "рекурсивный"

https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Linux оказывается там куча всего для nixos в билд е

Ребят, подскажите, пожалуйста, чем вы пользуетесь в качестве среды разработки? Может кто-то подскажет _нечто_ такое, что легко настроить и начать писать код, не заботясь о том, что завтра выкатят новую версию Java, нужно искать ставить нужную версию компилятора Scala и т.п.

запустил чистый вим, открыл текстовый файл и начал писать код

emacs + haskell-mode

запустил чистый вим, открыл текстовый файл и начал писать код

К нему есть плагины?

есть и много, но я ими не пользуюсь

если хочется плагинов, то соответственно емакс, там плагины на (немного) более вменяемом языке

Спасибо за совет)

vim так vim :)

http://www.stephendiehl.com/posts/vim_2016.html

набор плагинов для vim

Извините, продублирую сюда

Народ, как можно пройтись по списку тремя предикатами одновременно?

У меня есть код просто вида foo x = case (res1, res2, res3) of ... where res1 = any p1 x res2 = any p2 x res3 = any p3 x

То есть список проходится три раза. А хотелось бы проходить только один раз

Я, конечно, мог бы записать свою свёртку, но это слишком громоздко выходит

с помощью пакета foldl

с помощью пакета foldl

Это шутка?

нет

Он говорит что может запилить функцию для фолдл но лень

а ты предлагаешь ещё и либу со своим типом для фолдл

в чем противоречие-то?

Есть такой пакет. Про красивые "свертки". Там как раз композятся функции, которыми сворачивание производится

foldl, это он и есть вроде

От Гонзалеса пакет

> L.fold ((,,) <$> L.all even <*> L.all odd <*> L.all (>0)) [2,4 .. 10] (True,False,True)

Спасибо. Правда, это было для решение каты на Codewars, не уверен, что там можно подключить этот пакет

https://medium.com/@Serokell/our-gift-to-cardano-community-9ad2d581598e

Ребят, привет. Начал учить недавно. Есть вопросы новичковые. Тут можно задавать или есть более приспособленные каналы/чаты/слаки для этого?

Ага, спасибо, пошел туда

Спасибо. Правда, это было для решение каты на Codewars, не уверен, что там можно подключить этот пакет

какой смысл решать какие-то задачи на хаскеле там, где сторонние библиотеки использовать нельзя?

К синтаксису привыкнуть

Не убегать в ужасе

Много причин возможно.

Для первоначального обучения -- вполне.

Или чтобы попрактиковаться в выразительности конструкций.

Чтобы потом и монады фиксить без бумажки)

"конструкции" в хаскеле - библиотечные функции обычно

лучше тут

какой смысл решать какие-то задачи на хаскеле там, где сторонние библиотеки использовать нельзя?

для обучения можно

чтобы сторонние библиотеки не были магией

А подскажите, как быстро преобразовывать из Text в Vector Char? Как-то t2v = V.fromList . T.unpack нехорошо выглядит.

должно зафьюзиться и быть норм

Хмм. А у него ж внутри Array, нельзя его как-то в Vector закастить?

а так через Internal API текста доставать структуру Array что внутри и из нее через Bulk создавать вектор

может стрим в стрим перегнать можно

но я бы особо не загонялся пока не будет видно, что проблема там

Хм, ну ладно, попрофилирую.

А где этот Bulk, кстати?

в вектор.стрим.балк

Спасибо!