Если питон даёт положить их туда, но не даёт найти, то тут уж, как говорится, или крестик сними, или трусы надень. Это уже противоречие собственным принципам.

Пробую юзать Cakelisp (си с синтаксисом s-выражений) приходится мучить Макоя Мэдсона... Надо было наверное Carp взять хотя с ним возможно проблем не меньше

И как?

По-моему круто, я только базовые фичи использую пока, но там и макросы есть и hot loading

А с C прямо хорошая совместимость или просто на уровне «есть pointer arithmetics и прочие низкоуровневые штуки»?

Посмотрел Cakelisp, больше похоже на помесь бульдога с носорогом.

А, это транслятор, увидел

Всем привет. Вопрос - по nanopass кроме оффдокументации больше никаких туториалов нет? Может кто знает что-то еще?

доклады есть

https://github.com/nanopass/nanopass-framework-scheme

Раздел references может там есть полезное что-нибудь

Я читал диссертацию Andrew Keep 2012 года. Но это на туториал не похоже.

С помощью генератора машин состояний Guile-SMC сделал разбор формата Portable Network Graphics (PNG): https://github.com/artyom-poptsov/guile-png

Guile-PNG позволяет читать изображения в формате PNG и разбирать их на части (чанки, "chunks").  Для некоторых чанков я уже написал разбор на осмысленные поля, остальные содержат в себе просто двоичные данные — которые тем не менее можно разобрать на что-то вменяемое, если посмотреть в стандарт PNG.

Интересно было попробовать, насколько хорошо Guile-SMC подходит для решения подобных сложных задач с разбором двоичного формата.  Пришлось дорабатывать Guile-SMC по ходу дела.

Из основных новшеств Guile-SMC:
- Добавил возможность задавать входные и выходные действия для каждого состояния.
- Добавил возможность задавать источники событий как для ДКА в целом, так и для каждого отдельного состояния.

На данный момент архитектура системы получилось достаточно гибкая.  Можно разбить большой ДКА на несколько более простых, построенных иерархическим способом — подобyые ДКА называются по понятным причинам иерархическими (Hierarchical State Machines, HSM).  HSM позволяет разбить крупную задачу на несколько более мелких, таким образом, снизив сложность решения в целом, что очень важно для практического применения автоматного программирования.

Конечной целью Guile-SMC я вижу упрощение написания различных парсеров и в целом программ, придерживающихся автоматного стиля.  При этом, смысл не только в кодогенерации на основе формального описания, но и формальная проверка получившихся ДКА, а также (возможно) оптимизация — но это уже более сложная задача.  На данный момент Guile-SMC например способен проверять ДКА на тупиковые и недостижимые состояния.

В целом, очень интересная фундаментальная задача.

#projects #guile #fsm

👍

Всем привет! Очень надеюсь. что этот файл о редакторе Emacs будет востребован среди программистов этого чата.

«Awesome Emacs :: Reference Guide-202107» - рекомендуем к скачиванию подборку ссылок с краткими аннотациями о лучших интернет-ресурсах, которые имеют отношения к текстовому редактору «Emacs» :: Версия первая (пилотная).

Пересоздал опрос с уточнением.

https://www.youtube.com/watch?v=AyhPmypHDEw

😊