<Cheery>
yup. continuations started working when I added handler for rvmprof
<Cheery>
With a simpler scheduler of some sort, this works. Linear continuations in linear abstract machine.
<LarstiQ>
Cheery: nice to see you again!
<Cheery>
LarstiQ: thanks, and same. irc channel mess-up means I have bit of catching up to do.
Atque has quit [Quit: ...]
<Cheery>
Did rpython have some way to annotate that I have [[this type]].
<fijal>
Cheery: there is stuff in rpython/rlib/signature.py
<fijal>
look for @signature for use cases
<Cheery>
so it works in conjunction with types -module
<fijal>
not the official types module, our own types module
<Cheery>
Now it got continuations and therefore I have small calculus based on classical linear logic.
<Cheery>
missing a type checker and ways to interface from the language.
<Cheery>
partially I'm missing some ideas.
<Cheery>
on type checker I introduce microkanren implementation around types. It's just easier to typecheck things that way.
<Corbin>
I wonder if µKanren could be implemented as an RPython library. I, too, have a µKanren typechecker, currently in CHICKEN Scheme. It's very clean and simple, but also must live as a separate binary from my RPython executable, which is not great.
<Cheery>
I'll try to implement it as a rpython library, because it'd be troublesome to implement in this language, when lacking the type checker.
<Cheery>
the another part is a puzzle. Now I have this neat way to structure interaction between programs.
<Cheery>
but all existing interaction is mostly non-structured and strewn across libraries.
<Cheery>
with an access to C-FFI it gets even more interesting.
<Cheery>
now I got an ukanren impl. Next I need the checker.
greedom has quit [Remote host closed the connection]
<mattip>
tumbleweed: thanks - looks good. I am merging the branch
<mattip>
both OpenSSL3.0.1 and OpenSSL1.1.1 pass tests