https://github.com/astynax/elm-typeclass-records/blob/master/Main.elm получается очень громоздко
Ну, лучше, чем ничего.
parket
Aleksei (astynax)
В Elm ещё и HKT нет, так что совсем грустно получается. У "класса" функтора получается уже 4 типовых параметра
Alexander
а структурки не инлайнятся
NC
Чёрт, никогда не пытайтесь компилить хаскелль под виндой
parket
HKT?
Aleksei (astynax)
Higher Kind Types
parket
Чёрт, никогда не пытайтесь компилить хаскелль под виндой
Чёрт, никогда не пытайтесь *любое действие* под виндой
NC
Да я бы рад, но надо
Alexander
да, там печалька хоть и можно
Alexander
iohk обещали что кросскомпиляцю зоделают
NC
msys вместе со stack настолько устарел, что даже SSL сертификаты от sourceforge уже сменились
NC
сейчас ещё попробую платформу, оказывается она ещё не умерла
Leonid 🦇
@A64m_qb0 же хаскелист виндузятник
Ю ли я? 🤔
Использую платформу на винде - полёт нормальный
Leonid 🦇
Пущай рассказывает
Alexander
да он небось как awson держит свой билд на msvc либах с пропатченным lvm и всем остальным
Alexander
llvm
NC
Всё настолько плохо, что я готов патчить llvm и линковаться с msvc dll
Alexander
он вроде все патчи не выложил
NC
это на винде, как я помню, обычная история
Leonid 🦇
да он небось как awson держит свой билд на msvc либах с пропатченным lvm и всем остальным
Пусть делится с сообществом, а только кибербуллинг сплошной разводит
Alexander
эта неделя объявляется неделей кибербулинга
Alexandr
😄
Alexander
да
Leonid 🦇
Количество астрологов увеличилось вдвое
Alexander
type Hello a = Hello a ?
Alexander
оно вообще собралось?
Denis
не должно взлететь
Denis
это баг же
Alexander
Prelude> type H a = H a
<interactive>:1:1: error:
Cycle in type synonym declarations:
<interactive>:1:1-14: type H a = H a
Alexander
должно быть так
Alexander
или это не haskell?
parket
Это ELM ;)
Alexander
а
Ю ли я? 🤔
Это Elm же
A64m
Я хаскель на виндовс только для развлечения использую, то что я писал на хаскеле за деньги работает не на виндовс
Denis
Ю ли я? 🤔
@parket type Hello m a b = Hello (m a) (m b) нельзя, например
Denis
кому-то _очень_ скучно жить
A64m
потому, когда я с талкиваюсь с проблемой с хаскелем на виндовс, я просто бросаю то что делал и делаю что-нибудь другое
Leonid 🦇
Я хаскель на виндовс только для развлечения использую, то что я писал на хаскеле за деньги работает не на виндовс
Ухты, а я был уверен что ты за деньги Хаскель не писал
NC
Ну вот если платформа не взлетит, тоже закину
A64m
вроде платформа в принципе не позволяла ничего зависящего от сишных либ компилировать без полного перепиливания напильником
A64m
проще наверное просто гхц и мсис2 поставить, с платформами и стеками (снойманиты наплевали на виндовс где-то год назад, 10 лтс на виндовс вообще сломан) не связываться
parket
@parket type Hello m a b = Hello (m a) (m b) нельзя, например
Это как-то связано с ограничениями, которые накладывает автовывод? Или почему так, интересно.
Leonid 🦇
На винде кроме дотнета все сломано
A64m
вообще для виндовс есть нативный хаскельный тулинг (с пропатченым ллвм, да), но не знаю, стоит ли с ним связываться
Anonymous
там ребята из https://github.com/arrow-kt/arrow напилили неплохую библиотечку, уже кажется весь cats портировали на нее
Как они решили вопрос с отсутствием HKT?
NC
Ю ли я? 🤔
Я был бы очень рад, если бы это было так :(
Anonymous
Это как-то связано с ограничениями, которые накладывает автовывод? Или почему так, интересно.
Если речь о Эльме, то там переменные типа прибиты к *
Ю ли я? 🤔
Только макось!
Leonid 🦇
в линуксе только немного посикса сломано
parket
Если речь о Эльме, то там переменные типа прибиты к *
Так это же просто жесть какое ограничение. Зачем оно тогда такое, elm?
A64m
но, думаю, его проблемы даже обсудить можно только с его автором
Anonymous
Так это же просто жесть какое ограничение. Зачем оно тогда такое, elm?
¯\_(ツ)_/¯
Leonid 🦇
@NCrashed ты главное отчитайся помогло ли
Ю ли я? 🤔
> У вас половина посикса сломалась
На задачи налазит, мне норм
NC
@A64m_qb0 спасибо, его пробну тоже
Влод
алсо они пропозал пилят для тайпклассов с НКТ
parket
> У вас половина посикса сломалась
На задачи налазит, мне норм
Ну, так Linux и не заявлен как POSIX - совместимый.
Ю ли я? 🤔
> Так это же просто жесть какое ограничение.
А это как в дженериками в го. Хочешь больше типомагии - бери пурскрипт
A64m
@A64m_qb0 спасибо, его пробну тоже
не думаю, что это серьезный вариант, единственный нормальный это ghc и msys2 не из платформ-стеков
Leonid 🦇
/me помнит древние мемы
parket
> Так это же просто жесть какое ограничение.
А это как в дженериками в го. Хочешь больше типомагии - бери пурскрипт
Я бы взял пурскрипт. Но хорошо бы потом себя макакой заменить.