00:00:20 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 00:17:12 -!- kanru` [~user@61-228-144-37.dynamic.hinet.net] has quit [Ping timeout: 265 seconds] 00:22:14 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 245 seconds] 00:42:25 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 01:25:43 boooo. :( --> http://paste.lisp.org/display/129817 01:27:34 homie` [~levgue@xdsl-78-35-158-40.netcologne.de] has joined #sbcl 01:29:52 -!- wbooze [~wbooze@xdsl-78-35-182-105.netcologne.de] has quit [Ping timeout: 252 seconds] 01:30:14 -!- homie [~levgue@xdsl-78-35-182-105.netcologne.de] has quit [Ping timeout: 252 seconds] 01:32:23 Is there a good way to let SBCL know about proper lists of fixnums? Or lists of lists of fixnums? 02:23:03 Quadrescence: yes 02:23:26 Write code that declares or checks at each node that it's a (cons fixnum t) 03:15:13 -!- homie` [~levgue@xdsl-78-35-158-40.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:17:06 homie [~levgue@xdsl-78-35-158-40.netcologne.de] has joined #sbcl 03:55:09 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 245 seconds] 05:18:45 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:00:26 sdemarre [~serge@91.176.88.219] has joined #sbcl 06:09:52 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 06:19:19 -!- sdemarre [~serge@91.176.88.219] has quit [Ping timeout: 245 seconds] 07:09:27 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 07:25:56 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 07:59:16 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Ping timeout: 252 seconds] 08:28:01 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 08:49:58 -!- easye [~user@213.33.70.157] has quit [Remote host closed the connection] 08:50:44 easye [~user@213.33.70.157] has joined #sbcl 08:56:03 tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 09:51:48 Phoodus [~foo@wsip-68-107-217-139.ph.ph.cox.net] has joined #sbcl 10:55:02 Is (FIXNUM T) the best we can do with respect to usable typing? Can we do recursive typing at all? 11:08:38 what is (FIXNUM T)? 11:09:05 Common Lisp's type system does not allow recursive types 11:09:49 The closest it has is the type you can specify with &rest in an FTYPE declaration 11:10:21 SBCL doesn't understand those, though. 11:22:28 -!- daimrod [~daimrod@91.121.3.203] has quit [Ping timeout: 272 seconds] 11:23:31 daimrod [~daimrod@sbrk.org] has joined #sbcl 11:40:49 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 12:00:41 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 12:07:05 tcr, erm... I meant (CONS FIXNUM T) 12:41:38 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 13:20:08 hlavaty [~user@91-66-176-191-dynip.superkabel.de] has joined #sbcl 13:48:12 -!- homie [~levgue@xdsl-78-35-158-40.netcologne.de] has quit [Ping timeout: 260 seconds] 14:09:55 wbooze [~wbooze@xdsl-84-44-209-29.netcologne.de] has joined #sbcl 14:22:04 kanru` [~user@61-228-144-37.dynamic.hinet.net] has joined #sbcl 14:35:07 drl [~lat@110.139.229.172] has joined #sbcl 14:36:08 drl_ [~lat@110.139.229.172] has joined #sbcl 14:55:10 Quadrescence: sure you can. (defun is-list-of (x type) (every (lambda (i) (typep i type)) x)) (defun is-list-of-fixnum (x) (is-list-of x 'fixnum)) (typep '(1 2 3) '(satisfies is-list-of-fixnum)) 14:55:15 Quadrescence: it just won't be *efficient* 14:55:30 :C 14:56:38 I just have a lot of code which mucks around with lists of fixnums and lists of lists of fixnums that I think could probably be optimized if SBCL knew the structure a little more 14:57:06 you just have to declare it at every node. 14:57:17 or, (the fixnum (car some-list)) 14:58:45 Quadrescence: A specialized array might be a much better choice. How comes you're using lists? 14:59:13 Quadrescence: (defstruct kons (kar 0 :type fixnum) (kdr nil :type (or null kons))). 14:59:26 homie [~levgue@xdsl-84-44-209-29.netcologne.de] has joined #sbcl 14:59:52 tcr, lots of list-friendly operations like consing and traversing 15:00:25 If you're going for efficiency, lists are generally pretty terrible, unless they're always short. 15:03:45 pkhuong, is that recursive definition valid in CL? 15:04:04 I vaguely recall some Implementation (tm) complaining about it 15:04:57 Note that kons is 4 words per entry, vs 2 words for cons. 15:06:29 foom: yeah.. a rope might be a better idea. 15:07:30 Linked-lists have never really been a good idea for the default datatype since hardware stopped having built-in support for them. Oh well. 15:08:22 foom: I'd say since CPUs have started running faster than memory. 15:08:58 even then, it wasn't so hot, since you're still wasting a lot of memory. 15:09:04 pkhuong, when are you going to finish your book "Expressing Your Intent to the SBCL Compiler and How to Benefit" 15:10:04 heh. just like acquiring conversational skills in any other language. Practice, practice, practice (: 15:22:03 milanj [~milanj_@93-87-166-64.dynamic.isp.telekom.rs] has joined #sbcl 15:43:30 -!- Kryztof [~user@81.174.155.115] has quit [Read error: Connection reset by peer] 15:45:38 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 16:13:25 antgreen [~user@bas3-toronto06-1177698430.dsl.bell.ca] has joined #sbcl 16:21:06 -!- kanru` [~user@61-228-144-37.dynamic.hinet.net] has quit [*.net *.split] 16:21:07 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [*.net *.split] 16:21:07 -!- ASau [~user@95-24-201-170.broadband.corbina.ru] has quit [*.net *.split] 16:21:07 -!- slyrus_ [~chatzilla@adsl-108-80-231-20.dsl.pltn13.sbcglobal.net] has quit [*.net *.split] 16:21:07 -!- huangjs [~huangjs@190.8.100.83] has quit [*.net *.split] 16:32:07 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 16:32:07 kanru` [~user@61-228-144-37.dynamic.hinet.net] has joined #sbcl 16:32:07 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 16:32:07 ASau [~user@95-24-201-170.broadband.corbina.ru] has joined #sbcl 16:32:07 slyrus_ [~chatzilla@adsl-108-80-231-20.dsl.pltn13.sbcglobal.net] has joined #sbcl 16:32:07 huangjs [~huangjs@190.8.100.83] has joined #sbcl 16:35:42 Quadrescence: have you looked at flexichain? 16:36:11 -!- Fare is now known as Guest11190 16:36:59 Not for a while. And I didn't know it used gap buffers. 16:39:43 nikodemus [~nikodemus@cs27123025.pp.htv.fi] has joined #sbcl 16:39:43 -!- ChanServ has set mode +o nikodemus 16:40:15 -!- Guest11190 is now known as FareWell 16:40:38 -!- FareWell is now known as FareTower 16:40:55 Maybe flexichains really supersedes my cl-gap-buffer 16:44:08 -!- nikodemus [~nikodemus@cs27123025.pp.htv.fi] has quit [Ping timeout: 240 seconds] 16:49:03 edgar-rft [~me@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 16:53:03 nikodemus [~nikodemus@37-136-240-172.nat.bb.dnainternet.fi] has joined #sbcl 16:53:03 -!- ChanServ has set mode +o nikodemus 16:53:59 -!- antgreen [~user@bas3-toronto06-1177698430.dsl.bell.ca] has quit [Ping timeout: 252 seconds] 17:01:53 Kryztof [~user@81.174.155.115] has joined #sbcl 17:01:54 -!- ChanServ has set mode +o Kryztof 17:16:35 fewer libraries! 17:43:50 Xach [~xach@pdpc/supporter/professional/xach] has joined #sbcl 17:56:33 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 18:08:04 -!- Xach [~xach@pdpc/supporter/professional/xach] has left #sbcl 18:08:25 -!- nikodemus [~nikodemus@37-136-240-172.nat.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 18:31:15 attila_lendvai [~attila_le@176.222.171.95] has joined #sbcl 18:31:15 -!- attila_lendvai [~attila_le@176.222.171.95] has quit [Changing host] 18:31:15 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 18:36:23 antgreen [~user@bas3-toronto06-1177698430.dsl.bell.ca] has joined #sbcl 18:40:57 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 18:46:06 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 244 seconds] 18:57:49 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 19:02:50 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 19:20:53 -!- Kryztof [~user@81.174.155.115] has quit [Ping timeout: 248 seconds] 19:32:10 Kryztof [~user@81.174.155.115] has joined #sbcl 19:32:10 -!- ChanServ has set mode +o Kryztof 20:09:44 -!- FareTower [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 245 seconds] 20:17:25 rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 20:41:08 sdemarre [~serge@91.176.88.219] has joined #sbcl 20:58:15 -!- edgar-rft [~me@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has quit [Quit: Out of lifetime] 21:04:19 -!- sdemarre [~serge@91.176.88.219] has quit [Ping timeout: 245 seconds] 22:09:19 -!- slyrus_ [~chatzilla@adsl-108-80-231-20.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 245 seconds] 22:15:17 slyrus_ [~chatzilla@137.164.119.50] has joined #sbcl 22:18:45 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:32:18 -!- slyrus_ [~chatzilla@137.164.119.50] has quit [Ping timeout: 252 seconds] 22:37:34 -!- rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Ping timeout: 244 seconds]