а читал про экзистенциальные типы? полиморфные контейнеры, что-то такое
Только слышал четвертью края уха
Нурлан
Dmitry
https://wiki.haskell.org/Heterogenous_collections
Dmitry
да например
Dmitry
но не уверен, что это единственный способ, есть еще всякое кунфу на типах, тут есть умельцы
Ilya
А с этим я вообще не знаком :)
ну по названию функций должно быть очевидно, по-моему =) Set это множество, оно по определению из уникальных элементов состоит
Нурлан
При беглом просмотре это чит с созданием общего типа.
Нурлан
ну по названию функций должно быть очевидно, по-моему =) Set это множество, оно по определению из уникальных элементов состоит
Там ещё указывалась библиотека какая-то. Суть-то set'а понятна :)
Dmitry
экзистенциальные типы нет
Dmitry
ну и вообще - что значит "чит"
Dmitry
если тайпчек проходит, значит ок
Нурлан
Ну тип то все равно один у всех элементов списка
Нурлан
После тайпчека
Нурлан
И здесь уж точно сложно будет ввести Ord
Dmitry
ну прочитайте уже про экзистенциальные типы
Dmitry
там все написано. и про Ord и про прочее.
Ilya
у нас с типами всё ок было
Ilya
Нурлан
а есть в хаскеле встроеные средства для получения уникальных членов списка? предположим однотипных
например [[1,1,1,1],[1,1,2],[1,1,2],[1,1,2],[2,2]] => [[1,1,1,1],[1,1,2],[2,2]]
что-то гуглю гуглю, все не то
Здесь в формулировке подразумевается что список может быть из элементов разного типа создан, неявно.
Ilya
а, пропустил слово "однотипных"
Ilya
понял:)
Ilya
Насчёт телеграм-бота
Может лучше портировать GHC (или какой-нибудь другой компилятор, полегче) под android и iOS? Чтобы всегда иметь под рукой полноценный REPL. В Google Play ничего нет, только убогий клиент для http://tryhaskell.org/
Это сложно сделать?
Ilya
Я вижу много преимуществ такого решения по сравнению с ботом, и ни одного недостатка
Ilya
А на компе всё равно у всех есть ghc
Dmitry
"другой компилятор" это hugs что ли? оно еще живо? давно никто не упоминал этого слова
Ilya
ну я слышал, что их много:) но работал только с ghc
Dmitry
ajhc, jhc, uhc - все это или уже не живо, или еще не живо
Ilya
когда я изучал C, у меня на планшете стоял TCC, например
Ilya
удобно
Dmitry
так что надо привыкать к реальности, в которой есть пока только ghc
Ilya
ок, это не суть
Ilya
ghc можно портировать?
Quet
"пока"? )
Dmitry
ну uhc вроде официальн не закрывали
Dmitry
или закрыли? давно не заходил
Quet
вроде ничего не намечается даже
хотя если purescript будет уметь в нативный код...
Quet
но это фантастика все конечно
Dmitry
две недели назад коммиты. еще держатся, не сдались
Dmitry
pure это же не хаскел
Quet
ну близок к нему
история с рекордами там лучше хаскеля
Dmitry
если бы он имел хотя бы более-менее формальную спецификацию, можно было бы поговорить про нативный код, мне на мипсы нужен какой-то язык
Dmitry
purescript я бы может смог спортировать, хотя бы c C-бэкендом.
Dmitry
но по моему там нет никакой спецификации
Quet
да, спеки четкой вроде не было
Ilya
забавно, как одно предложение в скобках может направить разговор совсем в другое русло 🤔
Quet
ты кстати как, от отсутствия норм рекордов не страдаешь? линзы в продакшене и все такое?
Dmitry
кстати, ios это ж бсд + arm ?
Dmitry
в таком окружении пускали ghc и и кажется, даже ghci
Dmitry
но там всякие джейлбрейки и вот это всё, в общем, нешуточная задача.
Quet
нене, джейлы это ад
должно работать без них
Quet
из стора )
Dmitry
вопрос кому про линзы? если мне, то есть немного, да
Dmitry
но терпимо
Quet
к тебе, да
Ilya
какие джейлбрейки, вы о чём
Dmitry
и линзы в продакшене, куда ж без них
Dmitry
ну т.е последний проект пока без них, но думаю временно
Quet
тут прод у тебя да у александра
Ilya
сейчас на телефонах по 3 гигабайта, можно хоть виртуалку с полноценным линуксом (с ghc) запустить, и туда интерфейс пробросить
Ilya
да, это будет тормозить по сравнению с нормальной реализацией, но раз никакой нет...
Dmitry
а не проще я не знаю - ноутбук купить?
Dmitry
ну так, в порядке идеи
Ilya
кстати, VirtualBox в google play находится
Dmitry
я даже не знаю как вы на планшетах программируете - на экранной клавиатуре?
Dmitry
не, ну я на военной кафедре в ЦВК-5М программы вводил тумблерными регистрами
Dmitry
но мне кажется с тех пор прогресс должен был шагнуть вперед
igo
я даже не знаю как вы на планшетах программируете - на экранной клавиатуре?
Подключают внешнюю мышь и клаву.
Ilya
ноутбуки сейчас у всех есть, не об этом речь
Dmitry
чем ждать, пока какой-то вася в эппл стор ghc положит (никогда)
Ilya
Ilya
я говорил про сравнение телеграм-бота и полноценного приложения
Dmitry
ну телеграм-бота можно прямо завтра написать, наверное быстрее, чем мы этот вопрос обсуждаем
Dmitry
правда непонятно зачем
Ilya
это мы поняли
Dmitry
ну вряд ли в телеграмм бота получится что-то существенное, и вряд ли "работа" в нем будет существенно отличаться по мучительности... ну я не знаю даже с чем сравнить
Ilya
да, телеграм-бот это шляпа