libera/#lisp - IRC Chatlog

11:49:29 Spawns_Carpeting imagine for a second, that someone creates a statically typed lisp with support for generics. what syntax would you use for type annotations?

11:49:42 Spawns_Carpeting specifically for generic type parameters

11:50:00 Spawns_Carpeting i was thinking 'a but quoting sort of has other meanings in lisps

12:06:39 Spawns_Carpeting i was thinking that type aliases could be ,A and generics be 'a

12:33:20 bjorkintosh Spawns_Carpeting: like the stuff in this book? https://mitpress.mit.edu/9780262045490/

12:35:11 jackdaniel why would it not look the same as defmethid kambda syntax?

12:35:40 jackdaniel if types are static it means that compiler can do better, no need to change syntax though

12:38:38 jackdaniel alas, (let ((x 42)) (declare (type fixnum x)) ...) although this one is admittedly uglier

12:41:10 jackdaniel ah, generic type, not function

12:41:19 jackdaniel sorry, sleep deprived very much :p

12:45:48 Spawns_Carpeting hello, im not a big fan of the (declare (type fixnum x)) style of syntax

12:45:55 Spawns_Carpeting ill check out this book though

12:48:57 bjorkintosh Spawns_Carpeting: what do you have against that style of syntax?

12:59:25 Spawns_Carpeting its a little too verbose and i dont like how it doesnt go directly with the variable

12:59:41 Spawns_Carpeting i would rather have like (let (((x int) 42)))

13:55:42 dlowe I would accept some syntax sugar that turns x/int into (x int)

13:55:55 dlowe (let ((x/int 42)) ...)

13:58:40 dlowe maybe a (typed-let ((x/int 42)) ...) that expands into (let ((x (the integer 42))) ...)

13:59:14 dlowe also, that latter syntax is totally valid if you want to skip the declaration

15:09:55 cmack` ** NICK cmack

15:21:55 Alfr dlowe, but doesn't that have different semantics?

15:22:51 Alfr dlowe, (the integer 42) promises that 42 is an integer, and (declare (type integer x)) promises that the affected x will always be an integer.

15:23:34 Alfr ... or rather its value will always be one.

15:48:47 dlowe okay, yes, that's true

17:12:47 bjorkintosh please carry on.

17:14:09 skin Just joined this channel, kind of forgot it existed until now

17:14:27 jackdaniel there's this and there's #commonlisp nowdays

17:14:50 bjorkintosh well commonlisp is for commonlithp and this is for ALL the lithp!

17:15:31 bjorkintosh comparison, contrasting, disparagement, praise, sanctification of any and all lisps etc.

17:18:22 bjorkintosh mwnaylor?

17:18:23 jackdaniel sure; I've thought that I'll mention it but that was not so on (rest in peace) freenode

17:18:43 jackdaniel s/but that/that that/

17:18:59 jackdaniel s/that that/because that/

17:19:06 jackdaniel sleep deprived, remember? :O

17:19:12 bjorkintosh jackdaniel: this ought to be in the title: https://www.gnu.org/fun/jokes/eternal-flame.html

17:19:23 bjorkintosh Please. thank you.

17:20:37 jackdaniel there, and good night

17:20:50 bjorkintosh Thank you. Good night jackdaniel.

17:22:56 dlowe who