[ANN] Guile-SMC 0.2.0

[ANN] Guile-SMC 0.2.0

[Artyom V. Poptsov]

[-- Attachment #1: Type: text/plain, Size: 1434 bytes --]

Hello,

I'm pleased to announce Guile State Machine Compiler (Guile-SMC), version
0.2.0:
  https://github.com/artyom-poptsov/guile-smc/releases/tag/v0.2.0

I'm hoping that it will ease the burden of writing format parsers and
other useful GNU Guile libraries for the community.


* What is Guile-SMC?

Guile-SMC is a state machine compiler that allows to describe finite
state machines (FSMs) in Scheme in terms of transition tables.  It is
capable to generate such transition tables from a PlantUML state
diagrams. [1]

A transition table can be verified and checked for dead-ends and
infinite loops.  Also Guile-SMC FSMs gather statistics when they run.

Guile-SMC comes with a Scheme program called 'smc' -- a state machine
compiler itself.  It produces a Scheme code for an FSM from the PlantUML
format.  This tool is meant to be called on a PlantUML file when a
program with a FSM is being built (for example, from a Makefile.)


* Usage examples

I wrote an INI[2] format parser to test the foundation ideas behind
Guile-SMC from the practical perspective:
  https://github.com/artyom-poptsov/guile-ini


Happy hacking,

- Artyom

References:
1: https://plantuml.com/state-diagram
2: https://en.wikipedia.org/wiki/INI_file

-- 
Artyom "avp" Poptsov <poptsov.artyom@gmail.com>
CADR Hackerspace co-founder: https://cadrspace.ru/
GPG: D0C2 EAC1 3310 822D 98DE  B57C E9C5 A2D9 0898 A02F

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [ANN] Guile-SMC 0.2.0

[Dr. Arne Babenhauserheide]

[-- Attachment #1.1: Type: text/plain, Size: 622 bytes --]


Artyom V. Poptsov <poptsov.artyom@gmail.com> writes:

> I'm pleased to announce Guile State Machine Compiler (Guile-SMC), version
> 0.2.0:
>   https://github.com/artyom-poptsov/guile-smc/releases/tag/v0.2.0

Very cool! 

What are the changes from the last version?

> * Usage examples
>
> I wrote an INI[2] format parser to test the foundation ideas behind
> Guile-SMC from the practical perspective:
>   https://github.com/artyom-poptsov/guile-ini

https://github.com/artyom-poptsov/guile-ini/blob/master/modules/ini/fsm.puml

This looks pretty neat. I took the liberty of graphing it :-) (attached)

[-- Attachment #1.2: guile-ini-fsm.png --]
[-- Type: image/png, Size: 261334 bytes --]

[-- Attachment #1.3: Type: text/plain, Size: 87 bytes --]


Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein
ohne es zu merken

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 1125 bytes --]

Re: [ANN] Guile-SMC 0.2.0

[Artyom V. Poptsov]

[-- Attachment #1: Type: text/plain, Size: 2624 bytes --]

Hello!

Oh, I forgot to attach the NEWS part.  So here it goes, the "List of
User-Visible Changes":

--8<---------------cut here---------------start------------->8---
1 Version 0.2.0 (2021-06-06)
============================

1.1 Fix installation paths for source and compiled and files
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

  - Compiled files are now installed to the right 'site-ccache' path.
  - Guile modules are now installed to the current Guile site directory
    by default.

  Thanks to Aleix Conchillo Flaqué.


1.2 Expand the Texinfo documentation
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


1.3 API changes
~~~~~~~~~~~~~~~

1.3.1 `(smc context context)': Bugfix
-------------------------------------

  The `<context>' would always have unexpected side effects due to field
  initialization with a single global instance of a <stack>. The
  instance would become shared between all the context in an
  application.

  Now the error is fixed.


1.3.2 `action:no-op' procedure moved to the context
---------------------------------------------------

  Now it's available from `(smc context char-context)' and `(smc context
      context)'.


1.3.3 All transition guards are now a part of Guile-SMC contexts
----------------------------------------------------------------

  There are modules in `(smc context)' name space that contain the
  transition guards.

  `(smc guards char)' is removed.


1.3.4 `(smc context char-context)': New module
----------------------------------------------

  This module contains a context for handling streams of characters.


1.3.5 In `(smc fsm)'
--------------------

* 1.3.5.1 New procedures in (smc fsm)

  - `fsm?'


* 1.3.5.2 Renames

  - `log-debug-transition' -> `fsm-log-transition'


1.4 Changes in `smc' program
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

1.4.1 Handle FSM validation independently
-----------------------------------------

  The `smc' tool now handles FSM validation (`--validation' flag)
  independently from e.g. compilation. Compilation stops when any
  problems in the output FSM are found.


1.4.2 Handle empty `modules' and `fsm-module' options
-----------------------------------------------------

  The program does not throw an error when the options left empty -- it
  uses default values instead.
--8<---------------cut here---------------end--------------->8---

- Artyom

-- 
Artyom "avp" Poptsov <poptsov.artyom@gmail.com>
CADR Hackerspace co-founder: https://cadrspace.ru/
GPG: D0C2 EAC1 3310 822D 98DE  B57C E9C5 A2D9 0898 A02F

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [ANN] Guile-SMC 0.2.0

[Dr. Arne Babenhauserheide]

[-- Attachment #1: Type: text/plain, Size: 268 bytes --]


Artyom V. Poptsov <poptsov.artyom@gmail.com> writes:

> Oh, I forgot to attach the NEWS part.  So here it goes, the "List of
> User-Visible Changes":

very cool! Thank you!

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein
ohne es zu merken

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 1125 bytes --]