* persistant state in guile-log
@ 2016-01-27 8:13 Stefan Israelsson Tampe
0 siblings, 0 replies; only message in thread
From: Stefan Israelsson Tampe @ 2016-01-27 8:13 UTC (permalink / raw)
To: guile-devel, guile-user@gnu.org
[-- Attachment #1: Type: text/plain, Size: 1471 bytes --]
Hi all,
In guile 2.1 the position of code segements are fixed relative certain
vectors and this makes it
possible to store indexes of code segements and as a possibility to persist
closures. I took advatage of this because state in guile-log means that we
must do exactly that. Persist not only datastructures like struct lists and
vectors vhashes etc, but also persist closures. So now one can do cool
things in guile-prolog like:
prolog> X=1,stall,Y=2.
prolog> .setp 1
prolog> .savep
prolog> .quit
stis> guile-prolog
prolog> .loadp
prolog> .refp 1
prolog> .cont
X=1
Y=2
prolog>
This is the interface:
---------------------------------------------------------------------
(.setp ) <key> associate current state to key
(.refp ) <key> instate state referenced by key to current state
(.savep ) save all referenced states to disk
(.loadp ) load new referenced states from disk
(.cont ) continue a stalled predicate from current state
I can make this persistant code into a library anyone interested?
Oh the security implications of this is horrible but I don't pretend that
guile-log is secure so
I don't care. What's more demading is that it depends on groveling into
guile internal datastructures. Therefore I am reqesting an official way of
persisting closures. What's your take on that? Would you
guy's want to supply such a mechansim or is it bad practice?
regards
Stefan
[-- Attachment #2: Type: text/html, Size: 2808 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-01-27 8:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-01-27 8:13 persistant state in guile-log Stefan Israelsson Tampe
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).