IRC channel logs

2024-08-08.log

back to list of logs

<RavenJoad>mwette: Awesome! I'll take a look at it!
<dsmith>sneek, botsnack
<sneek>:)
<dsmith>!uptime
<sneek>I've been serving for 16 days
<sneek>This system has been up 2 weeks, 2 days, 10 hours, 58 minutes
<weary-traveler>ArneBab: i forget if i asked this already, but is there a lisp2wisp?
<adhoc>weary-traveler: wisp is interesting
<adhoc>I wonder how it would fare as a teaching language ?
<futurile>Q: is there a "standard" formatter for Guile code? AFAIK the answer is 'no' - Guix has some tools, but I'm wondering if there's an accepted general tool?
<weary-traveler>dckc: it seems ocapn and netlayers aren't the only means in goblins? apparently there's an IO ping tutorial which uses the "actor-lib"
<weary-traveler> https://spritely.institute/files/docs/guile-goblins/0.13.0/IO-Ping-Tutorial.html
<weary-traveler>oh wrong channel
<ArneBab>sneek later tell weary-traveler: there’s no lisp2wisp, because going that way is actually more complex (i.e. there are some structures where parens are the most elegant way to represent the logic, and you can use parens in wisp) — and it isn’t the goal of wisp. It is designed to be part of Scheme code, not to replace Scheme code. The readable folks actually have a "sweaten" tool which turns code with parens into code without parens.
<sneek>Got it.
<ArneBab>sneek later tell weary-traveler: For example c-indent uses parens beautifully to encode type declations for functions: define (hello world) : string? string?
<sneek>Will do.
<ArneBab>adhoc: I’m actually using wisp as a teaching language — and that was part of the reason why I worked on it besides my PhD. One example is the definition of an 11,7 hamming encoder on slide 34 and 35 of the lecture notes https://www.draketo.de/software/vorlesung-netztechnik-2-sicherungsschicht.pdf (via https://www.draketo.de/software/vorlesung-netztechnik#vorlesung-2-sicherung )
<ArneBab>(logical slide numbers. Beamer LaTeX encodes transitions as same-numbered slides; technical counting gives slide 38 and 39 for the code. The slides have the titles (11,7) Hamming: Encode and (11,7) Hamming: Decode.
<ArneBab>(there are helper procs on the slide before)
<ArneBab>I hope that I’ll be able to create a Wisp REPL with Spritely Hoot soon, because then my students could experiment far easier. They study beside the job and mostly have locked down Windows laptops by their employers, so having a web-REPL would simplify that a lot.
<ArneBab>Though having Wisp in regular Guile should already make it easier: then they can just install official packages and don’t need to add anything extra.