ну никто не запрещает сделать интсанс 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, применяя к нему заданную функцию

on op f x y = op (f x) (f y)

полезно для compare `on` field

спасибо, вроде понял

А в prelude есть функция, которая ищет тебе работу?

Ахах

haskell не про работу

лол

она всегда возвращает false

Скорее Nothing или [], ведь функция возвращает работу, а не статус ее наличия.

у меня одного haskell.org/news выдает internal error?

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

база лежит, если кому интересно

вообще, хаскелльных вакансий много

в том числе в этой стране

вообще, хаскелльных вакансий много

И в какой сфере? Веб бэкенд?)

чаще всего, да

а у нас системное ПО