unofficial mirror of guile-user@gnu.org 
 help / color / mirror / Atom feed
* [ANN] Guile-SMC 0.2.0
@ 2021-06-06 18:58 Artyom V. Poptsov
  2021-06-06 19:23 ` Dr. Arne Babenhauserheide
  0 siblings, 1 reply; 4+ messages in thread
From: Artyom V. Poptsov @ 2021-06-06 18:58 UTC (permalink / raw)
  To: Guile Users' Mailing List

[-- 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 --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [ANN] Guile-SMC 0.2.0
  2021-06-06 18:58 [ANN] Guile-SMC 0.2.0 Artyom V. Poptsov
@ 2021-06-06 19:23 ` Dr. Arne Babenhauserheide
  2021-06-06 19:47   ` Artyom V. Poptsov
  0 siblings, 1 reply; 4+ messages in thread
From: Dr. Arne Babenhauserheide @ 2021-06-06 19:23 UTC (permalink / raw)
  To: Artyom V. Poptsov; +Cc: guile-user


[-- 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 --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [ANN] Guile-SMC 0.2.0
  2021-06-06 19:23 ` Dr. Arne Babenhauserheide
@ 2021-06-06 19:47   ` Artyom V. Poptsov
  2021-06-06 21:52     ` Dr. Arne Babenhauserheide
  0 siblings, 1 reply; 4+ messages in thread
From: Artyom V. Poptsov @ 2021-06-06 19:47 UTC (permalink / raw)
  To: Dr. Arne Babenhauserheide; +Cc: guile-user

[-- 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 --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [ANN] Guile-SMC 0.2.0
  2021-06-06 19:47   ` Artyom V. Poptsov
@ 2021-06-06 21:52     ` Dr. Arne Babenhauserheide
  0 siblings, 0 replies; 4+ messages in thread
From: Dr. Arne Babenhauserheide @ 2021-06-06 21:52 UTC (permalink / raw)
  To: Artyom V. Poptsov; +Cc: guile-user

[-- 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 --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2021-06-06 21:52 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-06 18:58 [ANN] Guile-SMC 0.2.0 Artyom V. Poptsov
2021-06-06 19:23 ` Dr. Arne Babenhauserheide
2021-06-06 19:47   ` Artyom V. Poptsov
2021-06-06 21:52     ` Dr. Arne Babenhauserheide

unofficial mirror of guile-user@gnu.org 

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://yhetil.org/guile-user/0 guile-user/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 guile-user guile-user/ https://yhetil.org/guile-user \
		guile-user@gnu.org
	public-inbox-index guile-user

Example config snippet for mirrors.
Newsgroups are available over NNTP:
	nntp://news.yhetil.org/yhetil.lisp.guile.user
	nntp://news.gmane.io/gmane.lisp.guile.user


AGPL code for this site: git clone http://ou63pmih66umazou.onion/public-inbox.git