notzmv has quit [Remote host closed the connection]
notzmv has joined #racket
acarrico has quit [Ping timeout: 258 seconds]
FreeFull has quit []
acarrico has joined #racket
acarrico has quit [Ping timeout: 255 seconds]
acarrico has joined #racket
vraid has quit [Ping timeout: 252 seconds]
jackhill has quit [Quit: Lost terminal]
ubLIX has quit [Quit: ubLIX]
lavaflow has quit [Ping timeout: 246 seconds]
caltelt has joined #racket
acarrico has quit [Ping timeout: 252 seconds]
jackhill has joined #racket
jackhill has quit [Client Quit]
jackhill has joined #racket
jackhill has quit [Quit: leaving]
jackhill has joined #racket
jackhill has quit [Client Quit]
jackhill has joined #racket
jackhill has quit [Quit: leaving]
jackhill has joined #racket
jackhill has quit [Client Quit]
jackhill has joined #racket
dddddd has quit [Remote host closed the connection]
jao has quit [Ping timeout: 255 seconds]
lavaflow has joined #racket
orivej has quit [Ping timeout: 248 seconds]
endformationage has joined #racket
libertyprime has quit [Ping timeout: 245 seconds]
dvdmuckle has quit [Quit: Bouncer Surgery]
dvdmuckle has joined #racket
_whitelogger has joined #racket
caltelt has quit [Ping timeout: 252 seconds]
endformationage has quit [Ping timeout: 268 seconds]
libertyprime has joined #racket
libertyprime has quit [Remote host closed the connection]
sauvin has joined #racket
Arcaelyx has quit [Ping timeout: 246 seconds]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
casaca has quit [Ping timeout: 245 seconds]
casaca has joined #racket
some02 has quit [Ping timeout: 276 seconds]
sudden has joined #racket
casaca has quit [Ping timeout: 246 seconds]
cromyr has joined #racket
Arcaelyx has joined #racket
<euhmeuh>
selimcan: Well we've been using formal proof for a long time now in automatic subway lines, elevators, and other public machines like that, but I don't think a specific language would help what is basically a human problem.
miskatonic has joined #racket
<aeth>
Writing reliable software is always a budget issue
orivej has joined #racket
nckx has quit [Ping timeout: 264 seconds]
nckx has joined #racket
miskatonic has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
pierpal has quit [Quit: Poof]
pierpal has joined #racket
BSLANG has quit [Ping timeout: 245 seconds]
hjek has joined #racket
<clacke_movim>
Yep. The relevant question is whether formal methods can deliver safe software on a lower budget than other techniques can.
<ZombieChicken>
Okay, /really/ basic question; how the heck do I bind a local lambda? I'm needing a function I can loop over but a full-fledged, indepenent function isn't what I need and I'm apparently missing the obvious in the docs
acarrico has joined #racket
dddddd has joined #racket
<rain1>
letrec
jit10 has joined #racket
<ZombieChicken>
(let ([ name (lambda ...)]) (name ...)) wouldn't work?
jit10 has quit [Client Quit]
<J_Arcane>
ZombieChicken: You can give a let block a name, and that name becomes a function you can refer to recursively.
<ZombieChicken>
yeah. I'm just being stupid and found what I needed in the docs after stepping away for a bit
<ZombieChicken>
now I'm stuck on how to get more than one function to run in the then and else portions of an if statement
<J_Arcane>
Yeah. a (begin ...) just evaluates each form in it sequentially and returns the value of the last form
<J_Arcane>
so it's useful in places like (if ...) where you're only otherwise allowed a single expression
<ZombieChicken>
ty. Think I'm expecting something I ran across in CL then
<ZombieChicken>
which is part of what is confusing me
<J_Arcane>
ahh yeah. CL is ... different. ;) I never quite got the hang of CL, so I'm not much help on translating between them. Have you seen the hyperpolyglot page for lisps?
<ZombieChicken>
nah. I'm not good at CL either, just recall something like (exec ...) or something