сделать циклический список

со всеми свойствами цикличности, учитывая модификации

Нет, каков смысл такой конструкции?

я не понимаю..

вообще смысл чтобы явно был терминатор списка, и мы знали что дальше по кругу идти не надо

при всяких модификациях списка и т.п.

Ты в коде везде отбрасываешь значение внутри конструктора E. Зачем внутри тогда значение типа Cycle?

везде написанных методах

там же только мутации

давай напишу toList ?

не, лучше unroll назову

unloop

хм.. хотя для unroll он тоже не нужен

Почему нельзя в объявлении типа заменить E (Cycle a) на E?

для зиппера какого-нить нужен, или uncons

потому, что у тебя в руках может не быть головы

E нужен для tail & Co

представь цикл [1,2,3,<loop>]

если ты его раскручиваешь то будет [1,2,3,1,2,3...

если я тебе дам его начиная с двойки

то после раскручивания должно быть [2,3,1,2,3...]

uncons :: Cycle a -> (a, Cycle a) uncons (a :> as) = (a, as) uncons (E as) = uncons as

О. Я понял. Спасибо.

но если честно я не знаю ни одного юзкейса для такой структуры

если найдется, то нужно ввести ещё forceSpine метод

который будет форсить структуру, чтобы не утонуть в персистентности

но если честно я не знаю ни одного юзкейса для такой структуры

Интернет тоже, кроме как в качестве структуры данных для очередей, и т.п.

в мутальном языке для всяких циклических буфферов я смысл вижу

кстати, а почему нельзя было просто сделать newtype конечного списка и прописать Functor и прочие инстансы?

А как отличить бесконечный список от конечного?

За бесконечное время

Cycle может использоваться для генерации бесконечного циклического списка квантов планировщика. Вот пример на Rust https://gist.github.com/5HT/6a9923c78c1e1c3d358b271b882dfa1e

ну для cycle я вижу много использований

но то, что создается в haskell с помощью cycle - это просто бесконечный список в компактной форме

кстати, а почему нельзя было просто сделать newtype конечного списка и прописать Functor и прочие инстансы?

тогда модификация - развернёт представление в памяти

блин я был побит coerce-ом

который safe

предполагается что кто-то из чатика ставил этот пакет, или попробует поставить или попытается угадать что за ошибка? ;)

Да я вчера уже сам раскурил.

Вообще я правильно понял, что всякие манипуляции над любыми синтаксическими структурами - это типовые задачи для Haskell?

Хаскель - общего назначения. На нём всё можно :)

Но да, околопарсерное на нём пишут часто

Как и на OCaml

Просто потому что удобно парсер-комбинаторы и реализовывать и использовать

Хаскель — типовой язык для этой задачи

Последняя формулировка агонь :)

ну в общем-то так и есть. я вот пытался комбинаторные парсеры писать на си, то еще развлечение, доложу я вам

"Черт побери, я совсем не знаю что такое хаскель, но о нем все так вкусно рассказывают, что в моем личном графике учебы он уже на одних из ближайших позиций после JS" (С)

Спасибо, поржал.

У меня есть крошечное хобби. Я собираю список известных плюсовиков, которые переметнулись в Haskell и начали оттуда таскать всякие ништяки.

У меня есть крошечное хобби. Я собираю список известных плюсовиков, которые переметнулись в Haskell и начали оттуда таскать всякие ништяки.

определись — либо переметнулись, либо остались и таскают

у меня есть целая куча идей, чего бы можно было накодячить

но почему-то не знаю, что из этого стоит пилить на хаскеле

"прям щас" пишу прототип проги на лиспе, которую потом буду переделывать на раст.

но зачем?

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

кстати, о парсерах. Хаскель хорошо подходит для задачи написания парсера, если язык не важен. но что если я хочу сделать парсер на С++ или JS? я могу написать парсер на Парсеке или аналоге и интерпретировать его в код на другом языке?

вот. А мне парсить особо нечего

вот. А мне парсить особо нечего

я не в контексте ответа на твой вопрос, извини

а, ок

да, не так прочитал

Меня сейчас больше интересует кодогенерация сторонних ЯП на Haskell. И я хз, где найти под это какой-нибудь тутор для уже начавших, но ещё не особо шарящих.

fun n = "public static void main() { return " <> show n <> "; }" - кодогенерация на хаскеле

да, не так прочитал

а в чём проблема, собственно?

Меня сейчас больше интересует кодогенерация сторонних ЯП на Haskell. И я хз, где найти под это какой-нибудь тутор для уже начавших, но ещё не особо шарящих.

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

определись — либо переметнулись, либо остались и таскают

Я думаю, это непринципиально.

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

Есть они где-то в открытом доступе?

Есть они где-то в открытом доступе?

мой обзор некоторых решений для кодогенерации С https://ruhaskell.org/posts/talks/2016/08/18/ivory-high-performance-code-for-haskell.html

Спасибо, гляну.

@qnikst может рассказать про всякие inline-*, впрочем, это не совсем то

Ну пусть расскажет, если ему не лень.

расскажет скоро, в Питере

Очередная встреча сообщества пройдет 19 апреля в офисе JetBrains, На повестке дня: «eDSL для дерева переходов на free-монадах и экзистенциальных типах» Александр Гранин, в прошлом сотрудник "Лаборатории Касперского" и “2ГИС”, а ныне Haskell-разработчик в компании Restaumatic, основатель сообщества LambdaNsk в Новосибирске, расскажет о том, как спроектировать статически типизированное дерево переходов с возможностью ходить по нему вперед и назад и почему не стоит писать такой умный код. «Теория и практика встраивания внешних языков программирования в Haskell» Александр Вершилов, разработчик в Tweag I/O, рассмотрит в докладе подход, позволяющий встраивать языки без дополнительного бойлерплейта и использующий сильные стороны гостевого и основного языка, на примере Haskell, Java и R. «Возможности использования формальных верификаций на Coq для простейших моделей смарт-контрактов» (Андрей Ляшин) Андрей Ляшин, участник стартапа FinProof и популяризатор теории категорий в программировании, рассмотрит реализацию основных функций стандартного токена ERC20 с демонстрацией доказуемости и недоказуемости свойств для корректной и, соответвенно, некорректной реализаций рекурсивных функций переводов, лежащих, в частности, в основе атаки на the DAO. —--- Встречаемся 19.04 в 19:00 в офисе JetBrains: Университетская наб., 7-9-11, корп. 5 (вход с Кадетской линии), БЦ «Universe». Вход бесплатный, но необходимо зарегистрироваться (проход в БЦ по спискам): https://spb-fp-meetup.timepad.ru/event/696867

Доклад какой-то будет?

будет

но это не кодогенерация - кодогеренация это ivory и т.п.

как-то было дело, я вообще руками код генерил только с pretty-printer-ом

Встреча всё равно интересная, зарегаюсь.

возможно этот код даже все ещё работает где-то (cc @voidlizard )

что где?

если ты про сишный трие - то он работает, да

и генерация db для матчинга отпечатков трафика (в роутер) тоже работает