00:00:48 nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 00:20:32 -!- tupi [~user@139.82.89.157] has quit [Remote host closed the connection] 00:20:50 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 245 seconds] 00:41:45 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 244 seconds] 00:43:03 done_the_dew [~user@2601:1:bf00:850:212:f0ff:fe87:2295] has joined #scheme 00:52:41 davexunit [~user@fsf/member/davexunit] has joined #scheme 00:52:59 -!- amgarchIn9 [~amgarchin@p4FD620E8.dip0.t-ipconnect.de] has quit [Ping timeout: 260 seconds] 01:04:25 jcowan [~John@mail.digitalkingdom.org] has joined #scheme 01:13:40 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 01:14:48 -!- MichaelRaskin [~MichaelRa@195.91.224.161] has quit [Ping timeout: 244 seconds] 01:19:33 zacts [~user@unaffiliated/zacts] has joined #scheme 01:27:31 Was anyone at Scheme 2013? How did it go? 01:28:51 where was it? 01:29:45 Alexandria, VA 01:30:02 http://webyrd.net/scheme-2013/ 01:31:11 I suppose the attendees are still at Clojure/conj 01:35:35 Sgeo [~quassel@ool-ad034ea6.dyn.optonline.net] has joined #scheme 01:45:52 -!- kobain [~sambio@unaffiliated/kobain] has quit [Remote host closed the connection] 01:46:08 kobain [~sambio@unaffiliated/kobain] has joined #scheme 02:05:41 b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has joined #scheme 02:15:03 -!- nisstyre [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 02:15:17 ASau` [~user@p54AFFBA5.dip0.t-ipconnect.de] has joined #scheme 02:16:04 -!- ASau [~user@p54AFF4A7.dip0.t-ipconnect.de] has quit [Read error: Operation timed out] 02:17:16 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Remote host closed the connection] 02:23:02 -!- akuhlens [~akuhlens@2601:d:a780:47c:1e65:9dff:fec6:6a59] has quit [Ping timeout: 240 seconds] 02:25:57 akuhlens [~akuhlens@2601:d:a780:47c:1e65:9dff:fec6:6a59] has joined #scheme 02:31:51 strobegen [~Adium@188.168.72.236] has joined #scheme 02:32:51 -!- MrFahrenheit [~RageOfTho@unaffiliated/rageofthou] has quit [Ping timeout: 252 seconds] 02:43:45 teleScope [~cong@223.83.147.229] has joined #scheme 02:44:11 juanfra [~juanfra@unaffiliated/juanfra] has joined #scheme 02:49:57 rmathews [~roshan@122.164.170.59] has joined #scheme 02:55:24 Fare [fare@nat/google/x-clshovczujzqyfyj] has joined #scheme 03:00:23 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 03:00:41 nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 03:43:45 -!- teleScope [~cong@223.83.147.229] has quit [Read error: Connection reset by peer] 03:43:58 teleScope [~cong@223.83.147.229] has joined #scheme 03:46:25 -!- done_the_dew [~user@2601:1:bf00:850:212:f0ff:fe87:2295] has quit [Quit: Leaving] 03:46:55 Tyler [~sabayonus@unaffiliated/sheilong] has joined #scheme 03:48:20 defanor_ [~defanor@ppp91-77-160-230.pppoe.mtu-net.ru] has joined #scheme 03:51:15 -!- z0d [~z0d@unaffiliated/z0d] has quit [Ping timeout: 245 seconds] 03:52:26 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 264 seconds] 03:52:38 -!- juanfra [~juanfra@unaffiliated/juanfra] has quit [*.net *.split] 03:52:38 -!- sheilong [~sabayonus@unaffiliated/sheilong] has quit [*.net *.split] 03:52:38 -!- defanor [~defanor@ppp91-77-160-230.pppoe.mtu-net.ru] has quit [*.net *.split] 03:52:38 -!- `^_^v [~nycs@rrcs-24-39-141-128.nyc.biz.rr.com] has quit [*.net *.split] 03:55:58 I want to go to my local scheme/lisp user group 03:56:19 (yes, that's right a scheme/lisp user group, not 'linux user group') 03:58:52 z0d [~z0d@unaffiliated/z0d] has joined #scheme 03:59:37 `^_^v [~nycs@rrcs-24-39-141-128.nyc.biz.rr.com] has joined #scheme 04:00:32 juanfra [~juanfra@unaffiliated/juanfra] has joined #scheme 04:03:05 I would like to do a short intro to guix eventually 04:05:28 -!- tenq is now known as tenq|away 04:06:56 -!- nisstyre [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 04:07:57 zacts: nice going, make a video if you can please :P 04:08:22 b4283: sure, I'll try 04:08:28 this will probably be next semester or so 04:08:58 b4283: I still need to learn more scheme and guix 04:09:07 but, I'm way interested 04:16:15 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 245 seconds] 04:16:38 -!- tcsc [~tcsc@c-76-127-240-20.hsd1.ct.comcast.net] has quit [Quit: bye!] 04:16:54 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 04:17:47 -!- tenq|away is now known as tenq 04:22:33 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 04:30:19 nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 04:30:32 pangxiaoniu [~cuoshi@211.151.238.51] has joined #scheme 04:31:38 langmartin [~langmarti@host-68-169-154-130.WISOLT2.epbfi.com] has joined #scheme 04:36:42 NixOS is great. Hopefully Guix will make it even greater 04:47:57 duggiefresh [~duggiefre@c-66-30-11-90.hsd1.ma.comcast.net] has joined #scheme 05:01:08 -!- rmathews [~roshan@122.164.170.59] has quit [Quit: ...] 05:05:51 -!- ASau` is now known as ASau 05:07:58 MichaelRaskin [~MichaelRa@195.208.66.22] has joined #scheme 05:10:14 -!- yacks [~py@103.6.159.103] has quit [Remote host closed the connection] 05:17:36 weie [~weie@softbank221078042071.bbtec.net] has joined #scheme 05:17:41 -!- duggiefresh [~duggiefre@c-66-30-11-90.hsd1.ma.comcast.net] has quit [Ping timeout: 272 seconds] 05:22:14 -!- nisstyre [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 05:25:32 -!- jcowan [~John@mail.digitalkingdom.org] has quit [Quit: Leaving] 05:32:11 Stevey [~stevie@220.245.104.218] has joined #scheme 05:37:47 -!- teleScope [~cong@223.83.147.229] has quit [Quit: Konversation terminated!] 05:51:56 -!- mrowe is now known as mrowe_away 05:53:01 chare [322f5f0f@gateway/web/freenode/ip.50.47.95.15] has joined #scheme 05:53:09 make starcraft clone in scheme 05:53:12 you guys with me? 05:59:54 Stevey1 [~stevie@220.245.104.218] has joined #scheme 05:59:57 rmathews [~roshan@122.165.89.11] has joined #scheme 06:01:00 -!- Stevey [~stevie@220.245.104.218] has quit [Ping timeout: 260 seconds] 06:02:16 -!- oleo [~oleo@xdsl-78-35-130-61.netcologne.de] has quit [Remote host closed the connection] 06:15:10 -!- jaimef [jaimef@dns.mauthesis.com] has left #scheme 06:16:33 -!- rmathews [~roshan@122.165.89.11] has quit [Quit: Bye..] 06:16:59 rmathews [~roshan@122.165.89.11] has joined #scheme 06:22:18 -!- rmathews [~roshan@122.165.89.11] has quit [Ping timeout: 268 seconds] 06:23:45 rmathews [~roshan@122.164.117.126] has joined #scheme 06:40:11 amgarchIn9 [~amgarchin@theo1.theochem.tu-muenchen.de] has joined #scheme 06:46:01 gravicappa [~gravicapp@ppp91-77-185-65.pppoe.mtu-net.ru] has joined #scheme 06:56:28 przl [~przlrkt@p579236EB.dip0.t-ipconnect.de] has joined #scheme 07:01:11 -!- kobain [~sambio@unaffiliated/kobain] has quit [Ping timeout: 260 seconds] 07:02:30 hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has joined #scheme 07:06:46 -!- hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has quit [Remote host closed the connection] 07:08:48 -!- githogori [~githogori@c-50-156-57-127.hsd1.ca.comcast.net] has quit [Ping timeout: 272 seconds] 07:09:01 hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has joined #scheme 07:09:31 hiroaki [~hiroaki@77-20-51-63-dynip.superkabel.de] has joined #scheme 07:15:46 -!- hiroaki [~hiroaki@77-20-51-63-dynip.superkabel.de] has quit [Ping timeout: 272 seconds] 07:15:50 -!- hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has quit [Ping timeout: 264 seconds] 07:38:23 -!- Tyler [~sabayonus@unaffiliated/sheilong] has quit [Quit: Konversation terminated!] 07:41:39 sheilong [~sabayonus@unaffiliated/sheilong] has joined #scheme 07:44:16 -!- Fare [fare@nat/google/x-clshovczujzqyfyj] has quit [Remote host closed the connection] 07:49:21 rstandy` [~rastandy@pc193-204-199-181.cmcc.it] has joined #scheme 07:49:22 -!- rstandy` [~rastandy@pc193-204-199-181.cmcc.it] has quit [Remote host closed the connection] 07:49:43 rstandy` [~rastandy@5-157-114-11.v4.ngi.it] has joined #scheme 08:04:11 cricri_ [~quassel@186-241-235-88.user.veloxzone.com.br] has joined #scheme 08:16:24 -!- mrowe_away is now known as mrowe 08:18:11 -!- przl [~przlrkt@p579236EB.dip0.t-ipconnect.de] has quit [Ping timeout: 260 seconds] 08:26:40 -!- chare [322f5f0f@gateway/web/freenode/ip.50.47.95.15] has quit [Quit: Page closed] 08:33:40 -!- Stevey1 is now known as Stevey 08:34:10 -!- Stevey is now known as Guest31004 08:34:46 -!- Guest31004 [~stevie@220.245.104.218] has quit [Quit: Leaving.] 09:06:43 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 09:10:45 nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 09:11:46 -!- amgarchIn9 [~amgarchin@theo1.theochem.tu-muenchen.de] has quit [Read error: Operation timed out] 09:12:30 amgarchIn9 [~amgarchin@129.187.157.20] has joined #scheme 09:23:10 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 09:34:23 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Remote host closed the connection] 09:36:01 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 09:37:47 -!- mrowe is now known as mrowe_away 09:39:44 ogamita [~t@tru75-h02-31-38-72-69.dsl.sta.abo.bbox.fr] has joined #scheme 09:40:50 -!- nisstyre [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 09:41:40 -!- gravicappa [~gravicapp@ppp91-77-185-65.pppoe.mtu-net.ru] has quit [Ping timeout: 260 seconds] 09:42:45 kwmiebach [~kwmiebach@xdsl-87-79-211-123.netcologne.de] has joined #scheme 09:54:28 -!- gnomon [~gnomon@CPE000e582ae076-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 264 seconds] 09:59:51 -!- rmathews [~roshan@122.164.117.126] has quit [Quit: ...] 10:09:39 -!- effy [~quassel@222.129.238.7] has quit [Ping timeout: 272 seconds] 10:10:29 effy [~quassel@111.197.235.6] has joined #scheme 10:10:38 przl [~przlrkt@62.217.45.197] has joined #scheme 10:13:15 gnomon [~gnomon@CPE000e582ae076-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 10:22:48 alexander__b [~alexander@107.4.189.109.customer.cdi.no] has joined #scheme 10:51:08 -!- MichaelRaskin [~MichaelRa@195.208.66.22] has quit [Read error: No route to host] 10:56:24 -!- b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has quit [Quit: ] 11:01:23 -!- gio__ [~gio@107.201.206.230] has quit [Remote host closed the connection] 11:03:04 Giomancer [~gio@107.201.206.230] has joined #scheme 11:06:36 rmathews [~roshan@122.164.251.5] has joined #scheme 11:16:57 gravicappa [~gravicapp@80.90.116.82] has joined #scheme 11:19:32 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 268 seconds] 11:28:56 vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has joined #scheme 11:30:05 -!- pangxiaoniu [~cuoshi@211.151.238.51] has quit [Quit: Leaving.] 11:52:13 -!- Giomancer [~gio@107.201.206.230] has quit [Quit: Leaving] 12:06:30 Okasu [~1@188.162.65.81] has joined #scheme 12:06:36 -!- Okasu [~1@188.162.65.81] has quit [Changing host] 12:06:36 Okasu [~1@unaffiliated/okasu] has joined #scheme 12:13:23 pnkfelix [~Adium@89.202.203.51] has joined #scheme 12:16:09 -!- rstandy` [~rastandy@5-157-114-11.v4.ngi.it] has quit [Remote host closed the connection] 12:34:01 -!- sheilong [~sabayonus@unaffiliated/sheilong] has quit [Quit: Konversation terminated!] 12:36:37 -!- Sgeo [~quassel@ool-ad034ea6.dyn.optonline.net] has quit [Read error: Connection reset by peer] 12:39:24 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 252 seconds] 12:39:43 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 12:42:07 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 12:44:43 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 12:47:13 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 13:07:33 yacks [~py@103.6.159.103] has joined #scheme 13:09:39 -!- effy [~quassel@111.197.235.6] has quit [Ping timeout: 252 seconds] 13:19:08 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 13:19:51 effy [~quassel@111.197.235.6] has joined #scheme 13:20:44 stenryshen [~stenryshe@223.69.175.228] has joined #scheme 13:26:35 davexunit [~user@fsf/member/davexunit] has joined #scheme 13:32:02 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 264 seconds] 13:36:02 oleo [~oleo@xdsl-78-35-156-198.netcologne.de] has joined #scheme 13:45:34 b4283 [~b4283@118.150.134.51] has joined #scheme 13:49:47 -!- tenq is now known as tenq|away 13:54:08 MrFahrenheit [~RageOfTho@unaffiliated/rageofthou] has joined #scheme 13:57:59 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 13:58:19 przl [~przlrkt@62.217.45.197] has joined #scheme 13:58:38 -!- MrFahrenheit is now known as RageOfThou 14:04:35 -!- RageOfThou is now known as MrFahrenheit 14:06:30 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 14:10:31 hiroakip [~hiroaki@tmo-096-7.customers.d1-online.com] has joined #scheme 14:10:48 hiroaki [~hiroaki@tmo-096-7.customers.d1-online.com] has joined #scheme 14:11:10 -!- langmartin [~langmarti@host-68-169-154-130.WISOLT2.epbfi.com] has quit [Quit: sleep] 14:15:25 -!- _5kg [~zifeitong@60.191.2.238] has quit [Ping timeout: 245 seconds] 14:16:23 _5kg [~zifeitong@60.191.2.238] has joined #scheme 14:19:24 gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has joined #scheme 14:32:14 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 14:34:45 -!- hiroakip [~hiroaki@tmo-096-7.customers.d1-online.com] has quit [Read error: Connection reset by peer] 14:34:53 -!- hiroaki [~hiroaki@tmo-096-7.customers.d1-online.com] has quit [Read error: Connection reset by peer] 14:42:19 -!- gravicappa [~gravicapp@80.90.116.82] has quit [Remote host closed the connection] 14:48:01 -!- _46bit [sid10106@pdpc/supporter/student/mmokrysz] has quit [] 14:48:22 defanor [~defanor@ppp91-77-191-7.pppoe.mtu-net.ru] has joined #scheme 14:49:01 -!- defanor_ [~defanor@ppp91-77-160-230.pppoe.mtu-net.ru] has quit [Read error: Operation timed out] 14:50:10 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 14:54:14 sweet_kid [having@irc.upasna.in] has joined #scheme 14:55:33 edw [~edw@207.239.61.34] has joined #scheme 14:57:04 _46bit [sid10106@pdpc/supporter/student/mmokrysz] has joined #scheme 14:57:19 -!- alexander__b [~alexander@107.4.189.109.customer.cdi.no] has quit [Read error: Connection reset by peer] 14:59:20 alexander__b [~alexander@107.4.189.109.customer.cdi.no] has joined #scheme 14:59:22 -!- alexander__b [~alexander@107.4.189.109.customer.cdi.no] has quit [Changing host] 14:59:22 alexander__b [~alexander@fsf/member/alexanderb] has joined #scheme 15:04:47 langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 15:11:25 -!- Okasu [~1@unaffiliated/okasu] has quit [Quit: leaving] 15:28:13 -!- amgarchIn9 [~amgarchin@129.187.157.20] has quit [Ping timeout: 272 seconds] 15:38:52 Hi :) 15:39:15 I've started learning Scheme from SICP, but I am stuck at an exercise of the very first chapter: 15:39:15 Exercise 1.3. Define a procedure that takes three numbers as arguments and returns the sum of the squares of the two larger numbers. 15:39:43 This is my solution: https://gist.github.com/Sweet-kid/de6aa1cf3e7505722829 15:39:43 But I am unable to understand the error. Can anyone please tell me my mistakes? 15:40:15 -!- tenq|away is now known as tenq 15:40:35 kobain [~sambio@unaffiliated/kobain] has joined #scheme 15:40:41 I am clear about the logic of the question, but I'm not understanding scheme's syntax 15:46:51 -!- stenryshen [~stenryshe@223.69.175.228] has quit [Quit: ] 15:48:52 -!- tenq is now known as tenq|away 15:53:07 sweet_kid: you have "((define l1 ...) ...)" there. probably you want just to write it as sequence of operations, but you don't need to add additional pair of parentheses for that 15:55:48 defanor: alright, let me try it that way 15:55:51 thank you :) 15:56:02 yw 15:59:12 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 16:00:39 -!- effy [~quassel@111.197.235.6] has quit [Ping timeout: 260 seconds] 16:03:17 gravicappa [~gravicapp@ppp91-77-179-247.pppoe.mtu-net.ru] has joined #scheme 16:06:52 amgarchIn9 [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has joined #scheme 16:09:36 developernotes [~developer@173-29-199-75.client.mchsi.com] has joined #scheme 16:15:46 thank you, it's working now :) 16:16:41 -!- xenophon` [~user@64.124.65.162] has quit [Remote host closed the connection] 16:29:18 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 244 seconds] 16:31:38 jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has joined #scheme 16:31:39 githogori [~githogori@c-50-156-57-127.hsd1.ca.comcast.net] has joined #scheme 16:31:42 -!- jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has quit [Changing host] 16:31:42 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 16:37:15 xenophon [~user@64.124.65.162] has joined #scheme 16:39:20 MichaelRaskin [~MichaelRa@195.91.224.161] has joined #scheme 16:46:19 leo-the-manic [~leo@rrcs-24-97-142-42.nys.biz.rr.com] has joined #scheme 16:47:08 Hi. I'm a scheme noob and this is a totally random question but... anyone know if there's a fully (and forcibly) statically typed Scheme dialect? 16:50:23 leo-the-manic: There's Typed Racket. 16:50:28 rudybot: init typed/racket 16:50:29 That would somewhat go against the very nature of what makes Scheme Scheme 16:50:31 stamourv: your typed/racket sandbox is ready 16:50:40 notsteve [~user@2601:1:bf00:850:212:f0ff:fe87:2295] has joined #scheme 16:50:40 LeoNerd: I disagree. 16:50:54 rudybot: (define: (f [x : Integer]) (add1 x)) 16:50:54 stamourv: error: #:1:27: define:: expected the identifier `:' at: (add1 x) in: (define: (f (x : Integer)) (add1 x)) 16:50:59 rudybot: (define: (f [x : Integer]) : Integer (add1 x)) 16:51:00 stamourv: Done. 16:51:07 rudybot: (f "a") 16:51:07 stamourv: error: #:1:3: Type Checker: Expected Integer, but got String in: (quote "a") 16:51:13 stamourv: What type is car? Or map? Or any? 16:51:20 rudybot: car 16:51:20 stamourv: ; Value: # 16:51:21 stamourv: ; stdout: "- : (All (a b) (case-> ((Pairof a b) -> a : ((! False @ (car) 0) | (False @ (car) 0)) (car 0)) ((Listof a) -> a)))\n" 16:51:27 rudybot: map 16:51:28 stamourv: ; Value: # 16:51:29 stamourv: ; stdout: "- : (All (c a b ...) (case-> ((a -> c) (Pairof a (Listof a)) -> (Pairof c (Listof c))) ((a b ... b -> c) (Listof a) (Listof b) ... b -> (Listof c))))\n" 16:51:35 LeoNerd: ^ 16:52:05 TR has a nice type system that's designed to work well with Racket idioms. 16:52:08 stamourv: I was under the impression that Typed Racket's typing was actually optional? 16:52:25 It's not just an attempt to shoehorn Racket into some random Hindley-Milner-derived type system. 16:52:41 leo-the-manic: Nope, it's enforced. 16:52:45 stamourv: Then how do you know if (foo (car l)) is a type violation or not? 16:53:07 TR code can interoperate with Racket code, so in a sense, it's optional; you can use it for only parts of your program, if you want. 16:53:30 LeoNerd: Depends on the type of `l' and `foo'. 16:53:36 I'm not sure I understand your question. 16:53:53 LeoNerd: That would depend upon the types of l and foo I would imagine 16:54:05 Are you wondering about how to typecheck polymorphic functions? 16:54:15 stamourv: Now you suddenly need highly more interesting ones... 16:54:19 What type is make-accessor ? 16:54:28 What is `make-accessor'? 16:54:45 Highly more interesting whats? I don't follwo. 16:55:07 However far down the line you go you inevitably come up on some case that you have to give up and go "Eh, it's an Any type, we'll deal with it at runtime" 16:55:17 LeoNerd: There are other statically typed languages (Haskell, Scala) that can do stuff like this 16:55:20 -!- tenq|away is now known as tenq 16:55:36 LeoNerd: There are programs that won't typecheck, that's correct. That's just how type systems work. 16:57:01 There's always a tradeoff though. Any dynamic type system has failures in that it doesn't detect things that are type errors. Any static type system has failures in that it sometimes believes there are errors where there are none 16:57:31 Absolutely. It's a tradeoff. 16:57:53 So it's nice to be able to pick either, depending on your module, and have the two interoperate nicely. 16:57:55 stamourv: Is Typed Racket the only one you know of? I was hoping for one that actually couldn't interop with untyped code (but I'll still take a good look at Typed Racket) 16:57:59 Which is what Racket gives you. 16:58:20 leo-the-manic: You don't need to use the interop if you don't want to. :) 16:58:36 It's entirely possible to write your entire program in TR, and some people do. 16:58:53 See for example the Racket math, plot and images libraries. All written entirely in TR. 16:59:10 stamourv: It's 3rd party libraries I'm worried about :P 16:59:52 stamourv: But still I definitely didn't realize Typed Racket had as strong a type system as it seems like it does 17:00:00 Interop with untyped code is safely checked using contracts, if that's what you're worried about. 17:00:29 Yep, it has a real type system. And a really cool one too, IMO. 17:00:31 Check this out: 17:00:38 -!- tenq is now known as tenq|away 17:01:16 rudybot: (define: (flexible-length [x : (U String (Listof String))]) : Integer (if (string? x) (string-length x) (length x))) 17:01:17 stamourv: Done. 17:01:27 rudybot: (flexible-length "string") 17:01:28 stamourv: ; Value: 6 17:01:29 stamourv: ; stdout: "- : Integer\n" 17:01:40 rudybot: (flexible-length '("list" "of" "strings")) 17:01:40 stamourv: ; Value: 3 17:01:41 stamourv: ; stdout: "- : Integer\n" 17:02:01 TR can refine types based on conditionals in your programs. 17:02:11 [x : (U String (Listof String))] 17:02:20 That's a union type. 17:02:21 Does U mean union type or something? 17:02:26 Woooww, that's really cool 17:02:31 TR also has intersection types, which are really useful. 17:02:42 What I showed you is occurrence typing. 17:03:29 And there's other cool things too, like variable-arity polymorphism. For example, Racket's `map' accepts a n-ary function and n lists, for any value of n. TR does too, and can make sure that all the types line up. 17:04:10 It also supports optional and keyword args which, AFAIK, no other typed language does. 17:04:41 stamourv: And you can still use macros? Macros are typechecked? (well, their expansions or some such?) 17:04:58 Their expansion is typechecked. 17:05:21 Since everything in Racket is built using macros, TR pretty much needs to support them. :) 17:06:06 stamourv: Yeah I felt ridiculous asking it but I wanted to make sure 17:06:10 -!- gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has quit [Remote host closed the connection] 17:06:37 stamourv: In any event TR sounds really awesome and I can't wait to check it out now 17:07:14 stamourv: Thanks a bunch for the explainations and info :D 17:07:57 -!- amgarchIn9 [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has quit [Ping timeout: 268 seconds] 17:08:09 No problem! 17:08:17 Let me know if you have any questions. 17:08:38 The TR devs also tend to hang out in #racket. 17:11:55 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 265 seconds] 17:13:32 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:22:35 round-robin [~bubo@91.224.149.58] has joined #scheme 17:23:00 hiroaki [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has joined #scheme 17:23:15 effy [~quassel@111.197.237.32] has joined #scheme 17:24:09 hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has joined #scheme 17:30:27 -!- rmathews [~roshan@122.164.251.5] has quit [Ping timeout: 246 seconds] 17:30:35 Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 17:30:45 -!- cosmez [~cosmez@200.92.100.68] has quit [Read error: Connection reset by peer] 17:32:37 -!- round-robin [~bubo@91.224.149.58] has quit [Quit: leaving] 17:33:04 round-robin [~bubo@91.224.149.58] has joined #scheme 17:35:09 -!- Cromulent [~Cromulent@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Client Quit] 17:44:00 nalssi [~kenjin@218.235.8.115] has joined #scheme 17:44:53 -!- weie [~weie@softbank221078042071.bbtec.net] has quit [Quit: Leaving...] 17:46:35 -!- vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has quit [Ping timeout: 250 seconds] 17:49:56 weie [~weie@softbank221078042071.bbtec.net] has joined #scheme 17:51:40 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Remote host closed the connection] 17:54:15 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Remote host closed the connection] 17:59:48 -!- pnkfelix [~Adium@89.202.203.51] has quit [Quit: Leaving.] 18:01:51 -!- ogamita [~t@tru75-h02-31-38-72-69.dsl.sta.abo.bbox.fr] has quit [Remote host closed the connection] 18:03:48 jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has joined #scheme 18:03:49 -!- jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has quit [Changing host] 18:03:49 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 18:08:13 -!- TaylanUB [tub@p4FD939AD.dip0.t-ipconnect.de] has quit [Disconnected by services] 18:08:39 TaylanUB [tub@p4FD91C7F.dip0.t-ipconnect.de] has joined #scheme 18:24:45 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 18:27:43 -!- developernotes [~developer@173-29-199-75.client.mchsi.com] has quit [] 18:27:50 nuestro-verano [~nuestro-v@ppp-seco11pa2-46-193-135.153.wb.wifirst.net] has joined #scheme 18:27:56 -!- nuestro-verano [~nuestro-v@ppp-seco11pa2-46-193-135.153.wb.wifirst.net] has left #scheme 18:32:10 -!- BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has quit [Ping timeout: 272 seconds] 18:33:03 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Ping timeout: 252 seconds] 18:35:16 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 18:37:27 -!- fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has quit [Ping timeout: 244 seconds] 18:37:33 amgarchIn9 [~amgarchin@p4fd60eb3.dip0.t-ipconnect.de] has joined #scheme 18:38:25 fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has joined #scheme 18:39:55 slackers 18:40:00 they ought to be at work! 18:40:02 -!- zacts [~user@unaffiliated/zacts] has quit [Ping timeout: 244 seconds] 18:40:03        18:41:15 zacts [~user@unaffiliated/zacts] has joined #scheme 18:41:27 BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has joined #scheme 18:42:38 sheilong [~sabayonus@unaffiliated/sheilong] has joined #scheme 18:43:37 who? 18:53:11 developernotes [~developer@173-29-199-75.client.mchsi.com] has joined #scheme 18:53:14 add^_ [~user@5.241.189.182] has joined #scheme 19:03:15 -!- nalssi [~kenjin@218.235.8.115] has quit [Remote host closed the connection] 19:06:14 dr who 19:10:56 haven't seen the originals 19:15:56 -!- cdidd [~cdidd@95-27-31-74.broadband.corbina.ru] has quit [Read error: Operation timed out] 19:17:57 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 19:21:02 -!- notsteve [~user@2601:1:bf00:850:212:f0ff:fe87:2295] has quit [Ping timeout: 240 seconds] 19:35:33 -!- stamourv [~user@racket/stamourv] has quit [*.net *.split] 19:35:34 -!- SeySayux [SeySayux@libsylph/developer/seysayux] has quit [*.net *.split] 19:35:34 -!- joneshf-work [~joneshf@mail.concordusapps.com] has quit [*.net *.split] 19:35:34 -!- djbclark [~djbclark@fsf/member/djbclark] has quit [*.net *.split] 19:37:29 djbclark [~djbclark@lab-3.mit.edu] has joined #scheme 19:37:32 stamourv [~user@syrah.ccs.neu.edu] has joined #scheme 19:37:34 joneshf-work [~joneshf@mail.concordusapps.com] has joined #scheme 19:37:38 -!- djbclark [~djbclark@lab-3.mit.edu] has quit [Changing host] 19:37:38 djbclark [~djbclark@fsf/member/djbclark] has joined #scheme 19:37:40 -!- stamourv [~user@syrah.ccs.neu.edu] has quit [Changing host] 19:37:40 stamourv [~user@racket/stamourv] has joined #scheme 19:39:33 -!- effy [~quassel@111.197.237.32] has quit [Ping timeout: 249 seconds] 19:40:01 SeySayux [SeySayux@libsylph/developer/seysayux] has joined #scheme 19:42:47 effy [~quassel@111.197.237.32] has joined #scheme 19:45:08 -!- zacts [~user@unaffiliated/zacts] has quit [Ping timeout: 260 seconds] 19:46:08 motoperpetuo [~l@84.233.246.170] has joined #scheme 19:46:56 -!- motoperpetuo [~l@84.233.246.170] has left #scheme 19:53:55 vraid [50d8e34d@gateway/web/freenode/ip.80.216.227.77] has joined #scheme 19:58:17 zacts [~user@unaffiliated/zacts] has joined #scheme 20:00:52 SHODAN [~shozan@fsf/member/shodan] has joined #scheme 20:03:47 -!- hiyosi [~skip_it@247.94.30.125.dy.iij4u.or.jp] has quit [Ping timeout: 260 seconds] 20:03:48 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 252 seconds] 20:14:12 I am newbie on it 20:14:20 somebody can give me a hint ? 20:15:41 http://pastebin.com/petswMHf 20:15:42 -!- mrowe_away is now known as mrowe 20:17:43 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 20:19:54 -!- mrowe is now known as mrowe_away 20:28:13 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:32:04 -!- amgarchIn9 [~amgarchin@p4fd60eb3.dip0.t-ipconnect.de] has quit [Ping timeout: 268 seconds] 20:33:20 amgarchIn9 [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has joined #scheme 20:36:13 -!- gravicappa [~gravicapp@ppp91-77-179-247.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 20:36:48 gravicappa [~gravicapp@ppp91-77-179-247.pppoe.mtu-net.ru] has joined #scheme 20:43:04 zacts [~user@unaffiliated/zacts] has joined #scheme 20:45:34 hqq [~user@109.175.87.149] has joined #scheme 20:48:37 -!- sheilong [~sabayonus@unaffiliated/sheilong] has quit [Quit: Konversation terminated!] 20:58:23 -!- hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has quit [Ping timeout: 260 seconds] 20:58:26 -!- hiroaki [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has quit [Ping timeout: 264 seconds] 20:59:32 hiyosi [~skip_it@247.94.30.125.dy.iij4u.or.jp] has joined #scheme 21:04:45 -!- hiyosi [~skip_it@247.94.30.125.dy.iij4u.or.jp] has quit [Ping timeout: 268 seconds] 21:04:52 -!- weie [~weie@softbank221078042071.bbtec.net] has quit [Quit: Leaving...] 21:06:06 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:10:03 zacts [~user@unaffiliated/zacts] has joined #scheme 21:13:25 hiroaki [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has joined #scheme 21:13:30 hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has joined #scheme 21:21:07 przl [~przlrkt@p4FE6416C.dip0.t-ipconnect.de] has joined #scheme 21:32:00 -!- tenq|away is now known as tenq 21:40:26 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 21:43:08 -!- hiroakip [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has quit [Ping timeout: 259 seconds] 21:43:26 -!- hiroaki [~hiroaki@ip-178-202-201-114.unitymediagroup.de] has quit [Ping timeout: 272 seconds] 21:52:30 Giomancer [~gio@107.201.206.230] has joined #scheme 21:54:27 alexei [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has joined #scheme 21:54:27 -!- amgarchIn9 [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 22:00:24 hiyosi [~skip_it@247.94.30.125.dy.iij4u.or.jp] has joined #scheme 22:05:20 -!- alexei [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 22:05:31 alexei [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has joined #scheme 22:07:33 -!- hiyosi [~skip_it@247.94.30.125.dy.iij4u.or.jp] has quit [Ping timeout: 252 seconds] 22:13:59 -!- langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Quit: sleep] 22:15:21 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 246 seconds] 22:18:40 -!- kwmiebach [~kwmiebach@xdsl-87-79-211-123.netcologne.de] has quit [Ping timeout: 260 seconds] 22:18:50 kwmiebach [~kwmiebach@xdsl-87-79-134-109.netcologne.de] has joined #scheme 22:30:18 -!- przl [~przlrkt@p4FE6416C.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 22:31:16 -!- zacts [~user@unaffiliated/zacts] has quit [Remote host closed the connection] 22:31:37 zacts [~user@unaffiliated/zacts] has joined #scheme 22:33:35 -!- edw [~edw@207.239.61.34] has quit [Quit: Computer has gone to sleep.] 22:36:41 cdidd [~cdidd@95-27-28-60.broadband.corbina.ru] has joined #scheme 22:39:15 -!- gravicappa [~gravicapp@ppp91-77-179-247.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 22:39:52 -!- strobegen [~Adium@188.168.72.236] has quit [Quit: Leaving.] 22:43:28 -!- zacts [~user@unaffiliated/zacts] has quit [Remote host closed the connection] 22:43:47 zacts [~user@unaffiliated/zacts] has joined #scheme 22:43:59 -!- developernotes [~developer@173-29-199-75.client.mchsi.com] has quit [] 22:48:57 -!- alexei [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 22:49:28 -!- Giomancer [~gio@107.201.206.230] has quit [Quit: Leaving] 22:50:53 Giomancer [~gio@107.201.206.230] has joined #scheme 22:59:03 notsteve [~user@2601:1:bf00:850:212:f0ff:fe87:2295] has joined #scheme 23:01:35 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 23:03:23 -!- aeth [~Michael@wesnoth/umc-dev/developer/aethaeryn] has quit [Read error: Connection reset by peer] 23:04:03 aeth [~Michael@wesnoth/umc-dev/developer/aethaeryn] has joined #scheme 23:14:11 -!- leo-the-manic [~leo@rrcs-24-97-142-42.nys.biz.rr.com] has quit [Ping timeout: 260 seconds] 23:14:42 nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 23:15:15 -!- paddymahoney [~paddymaho@24.137.221.230] has quit [Ping timeout: 264 seconds] 23:16:26 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:16:47 paddymahoney [~paddymaho@24.137.221.230] has joined #scheme 23:20:07 -!- tenq is now known as tenq|away 23:25:54 alexei [~amgarchin@p4FD60EB3.dip0.t-ipconnect.de] has joined #scheme 23:28:44 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Remote host closed the connection] 23:43:29 -!- joneshf-work [~joneshf@mail.concordusapps.com] has quit [Ping timeout: 272 seconds] 23:58:47 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]