В общем, буду считать, что подобные нагромождения типов - ад и содомия (собственно, это было ясно уже 4 года назад, но тогда по-другому просто не умел), и что дублирование type-ов - единственно доступный сейчас кривой хак.

ну никто не запрещает сделать интсанс instace SomeClass (BaseT A B C)

или даже instance (a~A, b~B,c~C) => SomeClass (BaseT a b c) where

констрейнты можно в один type записать

да, так можно. В моём случае проблема в изначально кривой структуре программы - много мелких модулей, наслаивающих функционал друг на друга через этот BaseT, и то, что работает с SomeSession, не должно ничего знать о BaseT.

а мне сейчас всего-то и надо, что отделить от этой помойки "бизнес-логику", чтобы воткнуть её без изменений на новую, так сказать, платформу (servant). Собственно, я это решил через class HasAPI m where type API (m :: * -> *) :: * ...; makeAPI :: ... -> API m и, чтоб старый код продолжал работать, instance HasAPI SomeSessionP where API SomeSessionP = OldApiType .... В принципе, мемя смущала только невозможность частичного применения для type synonyms, но вроде разобрался теперь, почему оно так.

(ну только class HasAPI m where type API (m :: * -> *) :: * ...; makeAPI :: Proxy m -> ... -> API m, конечно)

можно с стандартное MonadSession и её типами

и метод MonadSession m => тогда он ничего не будет знать о BaseT

http://kittenlang.org/

какой странный парсер https://github.com/evincarofautumn/Toody

Про этот парсер был пост на реддите и про то, для каких кейзов это всё нужно

меня нет на реддите(

можно было просто ссылкой поделиться

https://www.reddit.com/r/haskell/comments/6hjsvf/requesting_feedback_on_2d_parser_combinator/

там в тестах прикольные матрицы

и я все равно не могу понять зачем это)

чтобы матрицы записывать в Аски

и только для этого?)

нет, ты можешь придумать что-нибудь ещё

Мне больше понравился пример с математическими формулами в ASCII

там матрички еще математические

схемы можно в Аски рисовать

Двухмерный парсер подойдет для языков типа BeFunge, всяких клеточных автоматов и поделок типа https://github.com/aaronduino/asciidots

где-то был ещё квазицитатник двумерного синтаксиса для стрелок

кто-нить уже читал https://arxiv.org/pdf/1708.03486.pdf ?

ого

это ТО САМОЕ?

не знаю, мне не хватает моих знаний, чтобы быстро оценить

Товарищи, а liquid haskell так и не сделали под ghc 8?

Слышал, что сделали

Просто там issue не закрыто

GHC 8 support... · Issue #919 · ucsd-progsys/liquidhaskell https://github.com/ucsd-progsys/liquidhaskell/issues/919

всем срочно заполнять. и там есть Хаскелл!

https://t.me/DevHubBot?start=8H548nF5OA

реферальная ссылка detected, надо помочь получить гироскутер

:)

разве где-то написано, что реферральность повышает шансы на гироскутер?

хм, похоже на то

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

> .. Чем больше людей перейдут по твоей ссылке, тем выше твой шанс на победу в розыгрыше

я уже прошёл по прямой ссылке так что помочь не могу

=)

я уже прошёл по прямой ссылке так что помочь не могу

Зажал гироскутер. Расстроил человека на ровном месте

: (

если у @qnikst будет гироскутер, я буду только рад

у меня местность не гироскутерфрендли

https://twitter.com/vorona_karabuta/status/897439944918151173

у меня Haskell был вроде с момента анонса в FPConf2016 боте

интересно сколько они статистику собирать будут

пару недель

Ты можешь помочь сделать это быстрее! Кинь ссылку друзьям, чтобы они тоже прошли опрос. Чем больше людей перейдут по твоей ссылке, тем выше твой шанс на победу в розыгрыше. Гироскутер будет разыгран после завершения опроса, через пару недель. Не отключайся!

я думаю если я кину в этот чятик то ничего не изменится =)

а больше мне некому репостить

ну разве что в жуйк или поинт

там же не только по хаскеллистам статистика

кидай везде

да меня не хацелисты все равно не читают

Есть в конфе кто с xmonad и 4k моником?

Screen 0: minimum 8 x 8, current 3840 x 2160, maximum 32767 x 32767 eDP1 connected primary 3840x2160+0+0 (normal left inverted right x axis y axis) 350mm x 190mm оно или нет?

У тебя были проблемы с гиганским размером курсора?

красная конзина - роутер на 4 пентиуме

и вопрос, как поменять размер курсора в qt проложениях?

у меня сейчас 4k в сумме и курсор был просто огромным, в xsetroot и dconf исправил размер курсора до 16px

но в qt приложениях курсор все равно огромный

вот такой в телеге курсор

а такой в гтк

может у кого была такая проблема с огромным курсоров при 4k

@meryborn наоборот у меня сверх мелкий

но проблему пока не решал

я уже знаю как в xorg и гтк проиложениях решать, а вот с куте вообще не знаю

в конфигах не нашел

Расскажите что делает эта функция on :: (b -> b -> c) -> (a -> b) -> a -> a -> c

Расскажите что делает эта функция on :: (b -> b -> c) -> (a -> b) -> a -> a -> c

делает из бинарного оператора для b бинарный оператор для a, применяя к нему заданную функцию