Re: Numbers in library names

2024-07-22 Thread Artyom Bologov
Hi Marc,Yes, that clarifies a lot, thank you!—Artyom Bologovhttps://aartaka.meOn 23 Jul 2024, at 01:02, Marc Nieper-Wißkirchen wrote:Am Mo., 22. Juli 2024 um 22:52 Uhr schrieb Artyom Bologov <m...@aartaka.me>:Hi y'all, I've been confused by the statements that R6/7RS don&#

Re: Numbers in library names

2024-07-22 Thread Artyom Bologov
6rs-Z-H-10.html R7RS doesn't specify the meaning of integers, but it allows them too: > is a list whose members are identifiers and exact non-negative > integers. https://standards.scheme.org/corrected-r7rs/r7rs-Z-H-7.html#TAG:__tex2page_sec_5.6.1 Am I missing something? Thank

Re: Type declarations and data validation utils?

2024-07-21 Thread Artyom Bologov
Hi Maxime, > Is it this one: https://dthompson.us/posts/optimizing-guile-scheme.html? Yes, that's the one! > An example demonstrating the overhead could be useful to determine how to > improve things. I'm not yet that familiar with Guile disassembler to infer any useful insights, that's why I'

Re: Type declarations and data validation utils?

2024-07-20 Thread Artyom Bologov
Hi y'all, I'm terribly sorry, my email was down for a bit. In case anyone wanted to reply, you're welcome to! I'm still eager to know how Guile code can be type-annotated and checked. Thanks, -- Artyom Bologov

Type declarations and data validation utils?

2024-07-16 Thread Artyom Bologov
anual, thus I'm asking it here (I'm also asking it on the devel list because devs are more likely to know the ins and outs of typing and maybe even able to act on it.) Thanks, -- Artyom Bologov https://aartaka.me