Guile Potluck 2021: QuickCheck

2021-03-06 Thread Timothy Sample
Hello all, For the potluck this year, I would like to present to you Guile-QuickCheck, which is a property-based testing library. You can download it and see a brief example at https://ngyro.com/software/guile-quickcheck.html (A Guix package is forthcoming.) I wrote this library years ago, b

Guile Potluck 2021: Starlet, Conjure client

2021-03-06 Thread Thomas White
Hi all, For the potluck, I would like to enter two things: 1. A Guile interface for Conjure, the interacting programming environment for NeoVim: https://github.com/Olical/conjure I contributed the baseline client a couple of weeks ago, which has now been cleaned up by the main author and is now a

Re: Somehow I have got this "thunk" thing wrong.

2021-03-06 Thread Taylan Kammer
On 06.03.2021 01:31, Olivier Dion via General Guile related discussions wrote: > You've quoted the whole s-exp. Which means lambda is never applied. > You have to apply lambda in order to create a procedure. Just a bit of pedantry on the terms: 'lambda' is not "applied" anyway, because it's a spe

Re: Naming help for a looping facility

2021-03-06 Thread Zelphir Kaltstahl
Hello Linus! Not sure my idea for naming is any good: Perhaps you could use the word "iteration" or "iter" in combination with something else. I have a bit of difficulty understanding how these forms work. The readme could perhaps be better, if you showed the output as well as describing it, whic

Re: Somehow I have got this "thunk" thing wrong.

2021-03-06 Thread Olivier Dion via General Guile related discussions
On Sat, 06 Mar 2021, Taylan Kammer wrote: > On 06.03.2021 01:31, Olivier Dion via General Guile related discussions > wrote: >> You've quoted the whole s-exp. Which means lambda is never applied. >> You have to apply lambda in order to create a procedure. > > Just a bit of pedantry on the terms:

Re: Naming help for a looping facility

2021-03-06 Thread Linus Björnstam
On Sat, 6 Mar 2021, at 17:58, Zelphir Kaltstahl wrote: > Hello Linus! > > Not sure my idea for naming is any good: Perhaps you could use the word > "iteration" or "iter" in combination with something else. I don't think I will change the loop name. What I am interested in is the feedback for w

Extensible effects in Guile (Guile Potluck 2021)

2021-03-06 Thread Walter Lewis
Greetings, Guile, Sincere apologies for the late entry. It's like my school days all over again... Attached is a literate org-mode file which implements an "extensible effects" system in Guile. Extensible effects was first implemented in Haskell by Oleg Kiselyov and others[1], and as far