IRC channel logs

<cow_2001>i wish scheme had static type things :(

<cow_2001>or... i don't know you call it. compile time type checking

<cow_2001>i forgot a case in a cond and type checking would have helped

<identity>«complie time type checking» is static typing

<cow_2001>i hate that i don't remember which compilery term is which

<identity>cow_2001: probably because the favorite passtime of some people is to use static/dynamic and strong/weak typing for «the one i do not like», regardless of the properties of the type system in question

<cow_2001>there's some type stuff srfi. what was its number... hmm

<identity>cow_2001: what was it about?

<cow_2001>telling what're the input and output types of a procedure, i think

<identity>SRFI 259, Tagged procedures with type safety, is one of them

<cow_2001>may or may not be this one https://srfi.schemers.org/srfi-253/srfi-253.html

<cow_2001>hmm

<cow_2001>:(

<cow_2001>"security oriented protocols" hmmmmmm

<jfred>Racket's contract system always seemed nice and I kinda wish Guile had something similar: https://docs.racket-lang.org/guide/contracts.html

IRC channel logs

2025-12-08.log