00:17 (join) Shambles_1
00:21 (quit) Shambles_: Ping timeout: 252 seconds
00:29 (join) anandology
00:49 (quit) jeapostrophe: Ping timeout: 245 seconds
01:08 (quit) neilv: Quit: Leaving
01:13 (join) rahul__
01:41 (quit) mithos28: Quit: mithos28
01:48 (quit) hash_table: Ping timeout: 264 seconds
01:49 (join) mithos28
01:58 (join) Kaylin
01:58 (quit) Kaylin: Client Quit
02:18 (quit) sizz: Quit: No Ping reply in 180 seconds.
02:18 (join) sizz
02:21 (join) anandology_
02:23 (quit) anandology: Ping timeout: 245 seconds
02:23 (nick) anandology_ -> anandology
02:26 (quit) sizz: Quit: No Ping reply in 180 seconds.
02:26 (join) sizz
02:28 (quit) jonrafkind: Ping timeout: 256 seconds
02:41 (join) rmathews
02:45 (quit) jao: Ping timeout: 246 seconds
03:00 (quit) mithos28: Quit: mithos28
03:03 (join) mye
03:07 (join) Shambles_
03:08 (quit) Shambles_1: Ping timeout: 248 seconds
03:33 (join) anandology
03:37 (join) anandology_
03:40 (quit) anandology: Ping timeout: 260 seconds
03:40 (nick) anandology_ -> anandology
03:53 (quit) mye: Quit: mye
03:55 (quit) rahul__: Ping timeout: 245 seconds
04:09 (join) bitonic
04:13 (quit) bitonic: Remote host closed the connection
04:14 (join) bitonic
04:38 (join) mye
04:49 (quit) Nisstyre-laptop: Ping timeout: 246 seconds
04:54 (quit) cdidd: Ping timeout: 264 seconds
05:02 (quit) bitonic: Remote host closed the connection
05:02 (join) bitonic
05:24 (quit) bitonic: Remote host closed the connection
05:44 (join) MayDaniel
05:52 (join) rahul__
05:54 (join) dzhus
05:56 (quit) MayDaniel: Read error: Connection reset by peer
06:03 (quit) mye: Quit: mye
06:05 (join) _danb_
06:07 (join) bitonic
06:10 (quit) bitonic: Remote host closed the connection
06:11 (join) bitonic
06:12 (quit) bitonic: Remote host closed the connection
06:12 (join) bitonic
06:14 (quit) ioa: Ping timeout: 244 seconds
06:34 (join) mye
06:35 (join) MayDaniel
06:54 (quit) rahul__: Ping timeout: 260 seconds
07:07 (quit) crundar: Ping timeout: 272 seconds
07:21 (join) rahul__
07:28 (join) gciolli
07:28 (quit) rahul__: Ping timeout: 244 seconds
07:38 (join) tfb
08:04 (join) jao`
08:04 (quit) jao`: Changing host
08:04 (join) jao`
08:06 (join) anandology
08:17 (quit) anandology: Quit: anandology
08:26 (quit) tfb: Quit: sleeping
08:37 (quit) gciolli: Quit: Leaving.
08:56 (join) crundar
08:57 (quit) bitonic: Ping timeout: 256 seconds
08:58 (join) masm
09:00 (quit) mye: Quit: mye
09:02 (join) mye
09:09 (join) rahul__
09:15 (quit) masm: Ping timeout: 260 seconds
09:15 (quit) acarrico: Ping timeout: 268 seconds
09:32 (join) acarrico
09:39 (join) hash_table
09:41 (join) jeapostrophe
09:41 (quit) jeapostrophe: Changing host
09:41 (join) jeapostrophe
09:51 (join) masm
09:56 (join) anandology
09:57 (quit) masm: Ping timeout: 255 seconds
09:57 (join) bitonic
10:01 (quit) mceier: Ping timeout: 256 seconds
10:02 (join) mceier
10:02 (join) anandology_
10:04 (quit) anandology: Ping timeout: 252 seconds
10:04 (nick) anandology_ -> anandology
10:12 (join) RacketCommitBot
10:12 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/aLuPkw
10:12 RacketCommitBot: [racket/master] ffi/unsafe: defend against some finalization bugs - Matthew Flatt
10:12 (part) RacketCommitBot
10:18 (quit) crundar: Quit: Leaving
10:20 (join) crundar
10:21 (join) masm
10:23 (join) anRch
10:36 (join) anandology
10:37 (quit) crundar: Quit: ERC Version 5.3 (IRC client for Emacs)
10:41 (quit) anandology: Client Quit
10:43 (quit) acarrico: Ping timeout: 256 seconds
10:44 (join) didi
10:45 (quit) rahul__: Quit: Leaving
10:56 (join) mizu_no_oto
11:00 (join) acarrico
11:00 (quit) masm: Ping timeout: 244 seconds
11:03 (quit) anRch: Quit: anRch
11:05 (join) masm
11:13 (quit) rmathews: Ping timeout: 260 seconds
11:14 (join) rahul_
11:30 (join) anRch
11:32 (join) rmathews
11:33 (join) tfb
11:49 (quit) masm: Quit: Leaving.
11:58 (quit) tfb: Quit: sleeping
12:05 (join) jackhammer2022
12:05 (quit) anRch: Quit: anRch
12:08 (quit) _danb_: Ping timeout: 265 seconds
12:21 (quit) mye: Quit: mye
12:21 (join) mithos28
12:22 (join) mye
12:22 (join) Shvillr_
12:22 (nick) Shvillr_ -> Shviller
12:26 (quit) rmathews: Ping timeout: 244 seconds
12:45 (quit) rahul_: Ping timeout: 265 seconds
12:46 (quit) jeapostrophe: Ping timeout: 240 seconds
12:47 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
12:48 (join) mizu_no_oto
12:50 (quit) mizu_no_oto: Client Quit
12:52 (quit) mye: Quit: mye
13:00 (join) jonrafkind
13:07 (quit) acarrico: Ping timeout: 268 seconds
13:14 (join) mizu_no_oto
13:22 (join) anRch
13:23 (join) acarrico
13:24 (quit) dzhus: Remote host closed the connection
13:30 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
13:30 (join) rahul_
13:48 (quit) rahul_: Quit: Leaving
13:54 (join) neilv
13:56 (quit) anRch: Quit: anRch
13:59 (join) mizu_no_oto
14:14 (quit) bitonic: Ping timeout: 268 seconds
14:15 (join) cdidd
14:23 (join) soegaard_
14:24 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
14:29 (quit) cdidd: Read error: Operation timed out
14:39 (join) uselpa
14:46 (join) cdidd
14:49 Gertm: I saw that clojure has a macro called ->, does Racket has something like that?
14:49 Gertm: It does basicly this: (-> args fn4 fn3 fn2 fn) -> (fn (fn2 (fn3 (fn4 args))))
14:50 mithos28: Gertm: Nothing standard
14:50 jonrafkind: there was a discussion about that on the list a few weeks ago
14:50 Gertm: Aha, I should check that out.
14:50 didi: compose?
14:50 Gertm: Yes, basicly.
14:51 jonrafkind: I think i call that macro 'flow'
14:51 Gertm: jonrafkind: would you remember the name of the thread on the ML?
14:51 jonrafkind: hm.. cant rememberi t
14:52 jonrafkind: me and eli participated in it though
14:54 didi: So it's a macro version of `compose'?
14:55 jonrafkind: wouldnt compose be backwards, ((compose fn fn2 fn3 fn4) args)
14:56 didi: jonrafkind: Yeah.
14:56 didi: rudybot: ((compose - sqrt) 10)
14:56 rudybot: didi: your sandbox is ready
14:56 rudybot: didi: ; Value: -3.1622776601683795
14:56 jonrafkind: but yea it doesnt have to be a macro
14:57 Gertm: Compose is actually better.
15:00 Gertm: Though the order should be reversed, for me personally.
15:05 (join) Kaylin
15:07 didi: Gertm: You get used to it. :^)
15:07 Gertm: It certainly beats writing out (fn (fn2 (fn3 (fn4 args))))
15:08 didi: Gertm: There is also `compose1' if you know the procedures pass a single value.
15:08 didi: rudybot: ((compose1 - sqrt) 10)
15:08 rudybot: didi: ; Value: -3.1622776601683795
15:08 Gertm: Writing this myself would be a good exercise in macrology I reckon?
15:09 didi: Gertm: I personally love procedures much more than macros.
15:09 Gertm: If it can be a procedure, all the better!
15:09 didi: rudybot: compose
15:09 rudybot: didi: ; Value: #<procedure:compose>
15:09 didi: :^)
15:10 Gertm: I kinda want it to look like this: (|> args fn4 fn3 fn2 fn)
15:10 didi: Gertm: If you assume `args' as a single value, I see no difficulties.
15:11 Gertm: Yes, it would be a single value.
15:11 Gertm: I'll give it a shot.
15:11 didi: "no difficulties" as in "no obvious one", of course.
15:12 didi: Who knows? Gertm will.
15:12 Gertm: Tomorrow!
15:12 Gertm: :)
15:13 (quit) uselpa: Remote host closed the connection
15:15 (join) bitonic
15:16 didi: Go Gertm!
15:23 (quit) mithos28: Quit: mithos28
15:24 (join) mithos28
15:24 didi: Gertm: Although you might want to change `|>' to something else.
15:29 (join) gciolli
15:31 Gertm: didi: why?
15:31 Gertm: I just picked that because it's similar to the operator I use in F# sometimes.
15:31 didi: Gertm: Because it's kinda of special.
15:32 didi: rudybot: |foo bar|
15:32 rudybot: didi: error: reference to an identifier before its definition: |foo bar| in module: 'program
15:32 didi: rudybot: (define |foo bar| 42)
15:32 rudybot: didi: Done.
15:32 didi: rudybot: |foo bar|
15:32 rudybot: didi: ; Value: 42
15:32 Gertm: Ah, ok that wouldn't be a good idea then.
15:43 (quit) Kaylin: Read error: Connection reset by peer
15:44 (quit) soegaard_: Quit: soegaard_
15:46 (join) soegaard
15:52 (join) bro_grammer
15:55 (quit) hash_table: Ping timeout: 252 seconds
15:58 (join) hash_table
15:58 (quit) bro_grammer: Ping timeout: 246 seconds
16:01 jamessan: jonrafkind: Gertm: the discussion was http://thread.gmane.org/gmane.comp.lang.racket.devel/6080
16:20 (quit) gciolli: Quit: Leaving.
16:22 (quit) acarrico: Ping timeout: 256 seconds
16:24 (join) mizu_no_oto
16:29 (join) ioa
16:30 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
16:32 (join) mizu_no_oto
16:32 (quit) mizu_no_oto: Remote host closed the connection
16:33 (quit) mithos28: Quit: mithos28
16:38 (join) acarrico
16:39 (join) rahul_
16:45 (join) jeapostrophe
16:45 (quit) jeapostrophe: Changing host
16:45 (join) jeapostrophe
16:56 asumu: Gertm: you could do something like Clojure's -> operator (I have an implementation on github but it's a simple macro)
16:57 asumu: Oh, you started the discussion with that.
16:57 asumu hadn't quite caught up to the backlog
16:59 (join) dnolen
17:06 (join) masm
17:18 (join) Nisstyre-laptop
17:26 (join) samth_
17:26 (join) scott_
17:26 (quit) scott_: Changing host
17:26 (join) scott_
17:29 (quit) rahul_: Ping timeout: 244 seconds
17:34 (join) mithos28
17:34 (quit) dnolen: Ping timeout: 265 seconds
17:37 (quit) jeapostrophe: Ping timeout: 248 seconds
17:42 (join) jeapostrophe
17:42 (quit) jeapostrophe: Changing host
17:42 (join) jeapostrophe
17:43 (quit) samth_: Ping timeout: 260 seconds
17:45 (quit) jonrafkind: Ping timeout: 252 seconds
17:58 (quit) jao`: Quit: Using Circe, the loveliest of all IRC clients
17:59 (join) jao
17:59 (quit) jao: Changing host
17:59 (join) jao
18:04 (quit) soegaard: Quit: soegaard
18:06 (join) jonrafkind
18:07 (quit) jonrafkind: Client Quit
18:07 (join) jonrafkind
18:09 (quit) otterdam: Ping timeout: 245 seconds
18:10 (quit) ivan\: Ping timeout: 245 seconds
18:11 (join) ivan\
18:13 (join) otterdam
18:35 (join) samth
18:35 (quit) samth: Changing host
18:35 (join) samth
18:40 (join) dnolen
18:43 (quit) samth: Ping timeout: 255 seconds
18:50 (quit) jeapostrophe: Ping timeout: 252 seconds
19:05 (quit) dnolen: Ping timeout: 246 seconds
19:11 (quit) MayDaniel: Read error: Connection reset by peer
19:16 (quit) jackhammer2022: Read error: Connection reset by peer
19:17 (join) jackhammer2022
19:34 neilv: i think the typed racket reference front page should link to the typed racket guide. and vice versa
19:38 (join) jeapostrophe
19:38 (quit) jeapostrophe: Changing host
19:38 (join) jeapostrophe
19:40 (quit) bitonic: Ping timeout: 268 seconds
20:12 (quit) ssbr_: Read error: Operation timed out
20:18 neilv: "In most cases, use of : is preferred to use of define:."
20:18 neilv: why is that?
20:18 mithos28: neilv: Style, and it works with any define form
20:19 mithos28: like define-values or match-define
20:19 neilv: but if you're just doing "define", why not do "define:"?
20:19 mithos28: I didn't write the documentation, so I don't know
20:20 mithos28: but I don't believe there is any difference in the implemention
20:20 neilv: even before typed racket, to define a documented procedure, i need three separate, partly redundant, forms: (define ...), (provide ...), and scribble defproc
20:21 jonrafkind: theres some define+defproc thing
20:21 neilv: typed racket would have me add a 4th form i need to use for each simple procedure definition
20:29 (quit) scott_: Quit: Leaving
20:33 neilv: i need an emacs macro that goes and converts typed/racket to racket. i have done this a few times
20:35 (join) TyceGunn
20:35 TyceGunn: Does anyone have time to help me with a problem I ran into?
20:39 mithos28: TyceGunn: I will in maybe 30 minutes
20:39 TyceGunn: Thank you mithos28, I will stay on
20:40 jonrafkind: you could just ask and someone else may help you in the mean time
20:46 TyceGunn: ok
20:47 TyceGunn: I am using Racket for a school assignment, and I cannot find out how to store user input as a list.
20:48 TyceGunn: Does anyone know how you can store a list of any size?
20:48 (quit) neilv: Quit: Leaving
20:48 jonrafkind: (define f (list 1 2 3 4))
20:49 jonrafkind: you mean create a functino which accepts infinite arguments?
20:49 TyceGunn: yes
20:49 TyceGunn: for example the user enters 1 2 3 4 5 and it is stored as (1 2 3 4 5)
20:50 jonrafkind: ok so a single argument function is (define (foo x) x), that makes a function named foo with one argument 'x'
20:50 TyceGunn: then the user enters ( 1 2 3 4 5 6 7 8 9) and it is stored in the same variable
20:50 jonrafkind: which is just syntactic sugar for (define foo (lambda (x) x))
20:50 TyceGunn: ok
20:50 jonrafkind: if you dont put () around the arguments then the variable captures the list of arguments
20:50 jonrafkind: (lambda x x) now x will be the list of arguments
20:51 jonrafkind: or you can do (define (foo . x) x) which says that x will get the 'rest of the arguments'
20:52 TyceGunn: ok, i will try to make sense of this and come back if i cannot
20:52 TyceGunn: thank you
20:56 TyceGunn: I still don't understand it
20:56 (join) RacketCommitBot
20:56 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/bIRlUw
20:56 RacketCommitBot: [racket/master] adjust judgment-holds so it generates less code - Robby Findler
20:56 RacketCommitBot: [racket/master] remove bogus case in stlc typing judgment form - Robby Findler
20:56 RacketCommitBot: [racket/master] provide language, reduction relation, and typing judgment from stlc.rkt - Robby Findler
20:56 (part) RacketCommitBot
20:59 TyceGunn: I will read some more, and if I cant come to a conclusion will post again
20:59 jonrafkind: try either (define (foo . x) x) or (define foo (lambda x x))
21:00 jonrafkind: unless you are in a teaching language in which case maybe those forms aren't allowed..
21:00 TyceGunn: sorry i forgot to mention that
21:00 TyceGunn: i am in the teaching language
21:00 jonrafkind: bsl?
21:00 TyceGunn: as advanced student
21:03 jonrafkind: im not sure how to do it in advanced student..
21:03 jonrafkind: do you really need this functionality?
21:04 TyceGunn: yes, for my assignment I am asked to "Write a procedure that computes the maximum and minimum of a list of integers."
21:04 TyceGunn: I have the manipulation of a list completed If the list is a set size
21:04 TyceGunn: but assume that the professor wants us to be able to enter a list of any size
21:05 jonrafkind: why do you think the function should be invoked as (func 1 2 3 4) as opposed to (func (list 1 2 3 4))
21:06 TyceGunn: i have only seen the professor use lists in the form (list 1 2 3 4)
21:06 (quit) Nisstyre-laptop: Read error: Connection reset by peer
21:06 jonrafkind: yes
21:06 jonrafkind: so then you dont need to write a function that accepts infinite arguments
21:06 jonrafkind: your function accepts one argument, the list
21:06 jonrafkind: the list can contain infinite elements
21:06 jonrafkind: but that is different from a function that accepts infinite arguments
21:07 TyceGunn: but how do you create a list with an unknown amount of characters in the interactions window that is manipulated in the definitions you write?
21:08 jonrafkind: the definition of your function should be able to manipulate a list of any size
21:08 jonrafkind: in the interactions window you will write a list with some size, like (list 1 2 3 4 5 6)
21:08 jonrafkind: but the function that manipulates that list should not care how large it is
21:08 TyceGunn: ok
21:09 TyceGunn: let me see
21:11 (quit) jeapostrophe: Ping timeout: 246 seconds
21:13 TyceGunn: i think i understand now
21:13 TyceGunn: going to code, thank you
21:13 TyceGunn: it was alot more simple than i thought :/
21:15 jonrafkind: ya
21:56 (join) Nisstyre-laptop
21:56 (join) jeapostrophe
21:56 (quit) jeapostrophe: Changing host
21:56 (join) jeapostrophe
22:01 (quit) masm: Quit: Leaving.
22:02 (quit) jaaso: Ping timeout: 252 seconds
22:03 (join) masm
22:05 (join) jaaso
22:14 (join) mizu_no_oto
22:16 (quit) jeapostrophe: Ping timeout: 256 seconds
22:41 (quit) TyceGunn: Ping timeout: 245 seconds
22:42 (join) Kaylin
22:45 (join) ynniv
22:50 (quit) jao: Remote host closed the connection
22:51 (quit) masm: Quit: Leaving.
22:52 (join) neilv
22:58 (join) jao
22:58 (quit) jao: Changing host
22:58 (join) jao
23:00 neilv: OH GAWD
23:06 jonrafkind: hes busy
23:08 neilv: if you parameterize current-error-port , then drracket doesn't report errors
23:09 jonrafkind: is that unexpected?
23:09 jonrafkind: you mean the errors dont come through the new value?
23:10 neilv: (parameterize ((current-error-port (open-output-bytes))) (error "this is an error"))
23:13 jonrafkind: one does not simply mess around with error ports in drracket
23:15 neilv: racket/system encourages you to
23:17 neilv: drracket seems to get special info for exceptions, other than what normally would go to stderr in command-line racket
23:17 neilv: is drracket really channeling exception info through stderr?
23:21 neilv: http://paste.lisp.org/+2UR9
23:21 jonrafkind: you parsed the output of fdisk?
23:21 neilv: close. gnu parted
23:22 jonrafkind: rofl, parted tells me im not superuser then asks 'Retry/cancel?' wheres my abort option!
23:23 neilv: for updating the firmware image on a rackout usb stick (which should have a persistent /home partition that persists despite firmware updates), you will run a racket program that messes around with repartitioning your disk
23:24 neilv: i'm a little bit concerned about putting a library in planet that repartitions disks
23:24 jonrafkind: what could go wrong
23:24 neilv: it could repartition disks, is what could go wrong
23:24 jonrafkind: issue #1: my home partition was messed up while running scribble
23:27 (quit) ynniv: Quit: ynniv
23:31 neilv: the good news is that i've previously done this sort of thing with shell scripts, and it should be safer with racket
23:31 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
23:36 (quit) bjz: Quit: Bye!
23:37 (quit) didi: Ping timeout: 265 seconds
23:38 (join) anandology
23:42 (quit) Nisstyre-laptop: Ping timeout: 246 seconds
23:44 (quit) Nisstyre: Ping timeout: 272 seconds
23:48 (quit) anandology: Quit: anandology
23:49 (join) anandology
23:52 (part) anandology
23:58 (join) Nisstyre