хм

не работает

Может, в чем другом дело? Назовите другим именем, на пробу

официальный чат для флуда @haskell_blah

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

теперь непонятно стало

а, я кажется понял, в чем проблема

моя переменная типа упоминается только в констрейнтах, но не в основной части типа

это проблема, надо прокси добавлять?

можно TypeApplications использовать

это проблема, надо прокси добавлять?

да, это традиционное (но не единственное решение)

можно TypeApplications использовать

так не у чему применять

да, это традиционное (но не единственное решение)

а какие еще есть?

а какие еще есть?

AAT/TA, как выше подсказали

AllowAmbiguousTypes + TypeApplications

моя переменная типа упоминается только в констрейнтах, но не в основной части типа

странно. покажи, как это выглядит

хм, Ambiguous я что-то не хочу.. Там реально один тип

а, кажется, это работа для FunDep|TypeFam

сейчас покажу, там как раз пока еще ничего нет ?

https://github.com/yanok/queLam/blob/master/src/QueLam/Example/Q2.hs

это я пытаюсь https://bitbucket.org/knih/quel имплементировать с полиморфизмом и суперрекордом

https://github.com/yanok/queLam/blob/master/src/QueLam/Core.hs#L20 здесь не хватает FunDep типа class HasTable schema (t :: Symbol) r | schema t -> r

да, действительно, спасибо!

там все равно почему-то не работает с типом Record, который советуют использовать в документации superrecord... но по крайней мере с Rec работает...

о, ты всё-таки это реализовывать стал, надо бы присоединиться, а то я неполное решение в нашем коде оставил

да, вот дошли руки

у меня как раз тоже дойдут, я правда не знаю нужно ли мне superrecord

ну рекорды вроде естественно использовать для представления строк

насчет именно superrecord я не знаю, какие сейчас рекорды самые модные

библиотечные рекорды сейчас одна другой хуже

для компайлтайма и структуры нормально

или тупли

или векторы фикседы генерики

для компайлтайма и структуры нормально

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

причем у меня желания на самом деле очень ортогональные

хотя синглтоны тоже нужны

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

причем с дополнительной операцией zip

которая не из SQL, но нужна

Привет, решил после раста вкатиться в haskell чтобы лучше понимать теркат и зачем нужны HKT

Какую IDE посоветуете?

emacs

https://github.com/rainbyte/haskell-ide-chart

Какую IDE посоветуете?

ed

Почему все хотят знакомиться с языком, начиная с _IDE_, а не с книг и статей?

по теоркату @ru_catheory

emacs

А из человеческого?

vim

5 people are typing...

Я вон вышел скинул сравнения иже для хаскеля

Почему все хотят знакомиться с языком, начиная с _IDE_, а не с книг и статей?

Потому что где-то надо писать код и желательно с подсветкой типов итд

Я вон вышел скинул сравнения иже для хаскеля

Спс

Привет, решил после раста вкатиться в haskell чтобы лучше понимать теркат и зачем нужны HKT

Хаскель мало поможет теоркату. для теорката лучше теоркат изучать. может даже больше запутать

https://github.com/rainbyte/haskell-ide-chart

Уфф, только подсветка синтаксиса, остальное не готово. Мда.

вообще все те же что для раста подойдут

А из человеческого?

VCode

а про Раст вы знаете

Уфф, только подсветка синтаксиса, остальное не готово. Мда.

так ведь больше ничего и не нужно

Какую IDE посоветуете?

а на расте вы в чем пишете?

Хаскель мало поможет теоркату. для теорката лучше теоркат изучать. может даже больше запутать

Меня только практическая сторона вопроса интересует)

а на расте вы в чем пишете?

Idea

https://github.com/rainbyte/haskell-ide-chart

а чего там только intero к емаксу? haskell-mode зэ бест

Потому что где-то надо писать код и желательно с подсветкой типов итд

Для первого знакомства хватит возможностей любого редактора. А еще есть Haskell онлайн

Меня только практическая сторона вопроса интересует)

тогда лучше забить на теоркат, и учить Хаскель

Idea

не повезло

тогда лучше забить на теоркат, и учить Хаскель

Ну да, возможно я неверно выразил что хочу.

ERROR: S client not available

не повезло

Мне норм, почти не тормозит

потроллить про ide?

Idea

там и Хаскель работает. целых 2 плагина есть. или было

они убогие по сравнению с hie

Idea

https://github.com/ruHaskell/ruhaskell/wiki/Настройка-редакторов-для-поддержки-Haskell#intellij-idea

Ну да, возможно я неверно выразил что хочу.

среди тех, кто плохо знает Хаскель и теоркат, распространено мнение о том, что это одно и то же

Среди тех, кто плохо знакт Хаскель и теоркат, распространено мнение о том, что теоркат хаскеллисту не нужен.

Я из таких

да и хаскель, если так прикинуть, не очень хаскелисту нужен

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

почему же гоферы не спешат узнать про генерики?

Среди тех, кто плохо знакт Хаскель и теоркат, распространено мнение о том, что теоркат хаскеллисту не нужен.

Ну смотря какому хаскелисту, the олег же юзает его, чтобы прилумывать новые либы

почему же гоферы не спешат узнать про генерики?

Потому что 99% гоферов это жависты?

главное, задачи уметь решать! С этим, говорят, ТРИЗ помогает

Потому что 99% гоферов это жависты?

Я слышал, что они phpшники. Кому верить?

Ну смотря какому хаскелисту, the олег же юзает его, чтобы прилумывать новые либы

Согласно моему определению, the олег хорошо знает Хаскель и теоркат

Кстати, что за Олег?

http://okmij.org/ftp

http://okmij.org есть один олег?

Олег это аббревиатура от названия коллектива авторов же

Олег это аббревиатура от названия коллектива авторов же

А киселёв это что?

он еще иногда выступает под псевдонимом Чак Норрис

Видел про него локальный мем, что он пришел к нам с другой планеты и несет добро и свет. Или что-то в этом роде

А киселёв это что?

А это у них шутка такая

Пусть @qnikst скажет, наверняка у него не более одного хопа до олега

http://okmij.org есть один олег?

нет

И пророк его кметт

А кстати он же вроде больше эмэльщик?

зато Саймонов много

Кстати, это ещё онтопик?

Я из таких

Когда статьи по игре то еще будут?)

теоркат знать не обязательно, мне до Олега далеко, не знаю знает ли он ТК