< 1134864349 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1134871163 0 :ihope!n=ihope@c-67-172-99-160.hsd1.mi.comcast.net JOIN :#esoteric < 1134871315 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, how about a Brainf*** program that must increment a cell a number of times equal to Steinhaus's Mega? < 1134873344 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :shouldn't be hard to write < 1134873351 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :will take a while to execute, though < 1134873368 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1134873400 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :actually < 1134873407 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :the program is trivial to write < 1134873421 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Just write + mega times? < 1134873423 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :yes :) < 1134873445 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, let that be the first entry in the Mega Golf Contest. < 1134873488 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :a null program also works fine < 1134873496 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Does it? < 1134873504 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :in 8-bit brainfuck, certainly < 1134873518 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :>:-) < 1134873580 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Mega is clearly divisible by most powers of two :) < 1134873601 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1134873608 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :But it's smaller than almost all of them. < 1134873624 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well < 1134873640 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :"most powers of two ever used in the context of information storage" :D < 1134873652 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hah. < 1134873758 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, a nice big number is (aleph . aleph . aleph) 3. < 1134873809 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'm not familiar with that notation. < 1134873835 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :aleph (aleph (aleph 3)) < 1134873856 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :eh < 1134873858 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1134873870 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :never thought of looking at aleph as a function. < 1134873952 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Everything's a function! < 1134874033 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Too many functions. < 1134877045 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1134877203 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :Bye all < 1134877231 0 :Sgep!unknown@unknown.invalid QUIT : < 1134882517 0 :Arrogant!i=Arrogant@160.orlando-09-10rs.fl.dial-access.att.net JOIN :#esoteric < 1134884444 0 :Paragon_!i=Arrogant@227.orlando-06-08rs.fl.dial-access.att.net JOIN :#esoteric < 1134886071 0 :Arrogant!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1134889000 0 :GregorR!unknown@unknown.invalid QUIT :Remote closed the connection < 1134889264 0 :GregorR!n=chatzill@198.107.20.174 JOIN :#esoteric < 1134892799 0 :clog!unknown@unknown.invalid QUIT :ended < 1134892800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1134896422 0 :Gs30ng!i=L@211.209.201.219 JOIN :#esoteric < 1134898227 0 :Paragon_!unknown@unknown.invalid QUIT :"I AM QUIT HAVE A NICE DAY" < 1134898253 0 :jix!i=jix@F373a.f.strato-dslnet.de JOIN :#esoteric < 1134901323 0 :J|x!i=jix@F3781.f.strato-dslnet.de JOIN :#esoteric < 1134901793 0 :jix!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1134903207 0 :fungebob!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1134903504 0 :J|x!unknown@unknown.invalid NICK :jix < 1134911187 0 :lirthy!i=klutzy@dor20517.kaist.ac.kr JOIN :#esoteric < 1134912273 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :hey lirthy < 1134912298 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1134914290 0 :Gs30ng_!i=L@211.209.201.219 JOIN :#esoteric < 1134915464 0 :Gs30ng!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1134921378 0 :Gs30ng_!unknown@unknown.invalid PRIVMSG #esoteric :i have a question... the number of the arguments of a function is called `arity'. then is there any term for the number of the return values of a function? < 1134921382 0 :Gs30ng_!unknown@unknown.invalid NICK :Gs30ng < 1134921488 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :"one" < 1134921553 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1134921587 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :there are some functions which return several values < 1134921608 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :afaik, functions of Scheme is < 1134921619 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :and also in lambda calculus... untyped, maybe < 1134923615 0 :Sgep!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1134926495 0 :nooga!n=nooga@ip-50.net-41.rev.inter-c.pl JOIN :#esoteric < 1134926497 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1134926539 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :when I watch recent changes on the wiki there are only spam deletion logs :D < 1134926681 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :btw. BDSM2 + Cool SADOL documemtation + mod_SADOL for apache are coming soon! < 1134927460 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :what < 1134927463 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :mod_SADOL? < 1134927466 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :omg < 1134927467 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :yea < 1134927488 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric : ... ... :D < 1134927512 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :a little bonus < 1134927668 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1134927713 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :then i'll write the official SADOL homepage in SADOL :D < 1134927851 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :that's SADO < 1134927895 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :http://www.99-bottles-of-beer.net/toplist_esoteric.html << LOOK!!! < 1134927902 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :WTF? < 1134927998 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i'll better take screenshot :> < 1134929053 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :BSDM - Badly Developed Sadol Machine, is, in fact, developed in the best possible way < 1134929072 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :it's hella fast and it's optimizing code in many different ways < 1134929365 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :Gs30ng: in lambda calculus there is only one return value < 1134929380 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and only one argument < 1134929436 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :jix: then what about ω < 1134929447 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :about what? < 1134929455 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :ω combinator in lambda calculus < 1134929486 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it has one argument and one return value < 1134929500 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it takes x and returns x applied to x < 1134929537 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1134930235 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i dont understand lambda calculus :> < 1134930285 0 :nooga!unknown@unknown.invalid QUIT :"Lost terminal" < 1134930394 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Scheme indeed has multiple return values, but I think the term comparable to "arity of x" is "number of values returned by x". Or perhaps "arity of the continuation expected by x". < 1134930537 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :At least R5RS doesn't use any special word for it. < 1134930577 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :yeap < 1134930623 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :since we don't need that notion in case of general languages, it seems there's no specific word for it < 1134930717 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :damn english mistakes < 1134930727 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i mean, with general, a lot of < 1134931781 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :lisp has multiple return values to < 1134934081 0 :fungebob!n=chatzill@70-32-206-231.ontrca.adelphia.net JOIN :#esoteric < 1134939937 0 :Gs30ng!unknown@unknown.invalid QUIT :"잠" < 1134942100 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :jix: i don't think there's necessarily only one argument in lambda calculus. < 1134942271 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :typed LC anyway < 1134942283 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION attempts to check this
< 1134942351 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :hm, wikipedia agrees with you < 1134942608 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1134945533 0 :pgimeno!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1134945576 0 :pgimeno!n=pgimeno@124.Red-80-59-211.staticIP.rima-tde.net JOIN :#esoteric