< 1261699545 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261699836 0 :MigoMipo!unknown@unknown.invalid QUIT :"Quitter!" < 1261699991 0 :BeholdMyGlory!n=behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1261703238 0 :jpc!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261706744 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1261707099 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1261708393 0 :adam_d_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261709591 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1261710032 0 :jpc!n=jw@unaffiliated/javawizard2539 JOIN :#esoteric < 1261713070 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :is anyone on at this time? < 1261713087 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I was wondering about a programming language based on english < 1261713188 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Like... ORK? < 1261713266 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :vaugely < 1261713288 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hmm ORK is so awesome < 1261713552 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Ello. < 1261716199 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261716460 0 :Slereah!n=Slereah@ANantes-259-1-80-207.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1261717089 0 :jpc!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261717860 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261718087 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1261721162 0 :augur!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1261721177 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1261723358 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261723655 0 :soupdragon!unknown@unknown.invalid QUIT :"* I'm too lame to read BitchX.doc *" < 1261723846 0 :MizardX-!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261724268 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261724292 0 :MizardX-!unknown@unknown.invalid NICK :MizardX < 1261725062 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :we should design a purely conjunctivist programming language. < 1261725063 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::T < 1261727999 0 :clog!unknown@unknown.invalid QUIT :ended < 1261728000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1261729799 0 :ais523!n=ais523@unaffiliated/ais523 JOIN :#esoteric < 1261733785 0 :Asztal!n=asztal@host86-162-149-220.range86-162.btcentralplus.com JOIN :#esoteric < 1261735889 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1261735897 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1261737583 0 :adam_d_!n=Adam@client-82-28-6-31.brhm.adsl.virginmedia.com JOIN :#esoteric < 1261738218 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :merry UK xmas ais523! < 1261738240 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and merry christmas (backdated and/or forwarddated as necessary) AnMaster, and the rest of #esoteric! < 1261738305 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1261738346 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :at least "happy new year" will be the same for almost everyone. (IIRC China has it's own one for example) < 1261738402 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, wait a second.. "and/or"? < 1261738422 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :inclusive or < 1261738430 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's not technically wrong to use an inclusive or there, is there? < 1261738455 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, well, that imples a single person could have two Christmases per year, no? < 1261738469 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :if they fly from one country to another, yes < 1261738473 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :in which case I feel someone is cheating on the rest of us < 1261738473 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1261739930 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261741196 0 :MigoMipo!i=kvirc@95.209.182.40.bredband.tre.se JOIN :#esoteric < 1261745674 0 :FireFly!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1261746447 0 :BeholdMyGlory!n=behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1261746748 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261747493 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1261751489 0 :ais523!unknown@unknown.invalid QUIT :Remote closed the connection < 1261752657 0 :MigoMipo!unknown@unknown.invalid QUIT :"co'o rodo" < 1261753647 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1261753656 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1261754189 0 :soupdragon!n=somebody@unaffiliated/fax JOIN :#esoteric < 1261754932 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1261754995 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1261755269 0 :FireFly!unknown@unknown.invalid QUIT :Connection timed out < 1261755337 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261755771 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1261756261 0 :bsmntbombdood!n=gavin@174-16-219-149.hlrn.qwest.net JOIN :#esoteric < 1261757472 0 :MizardX-!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261757481 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1261757507 0 :MizardX-!unknown@unknown.invalid NICK :MizardX < 1261757613 0 :bsmntbombdood_!n=gavin@97-124-201-100.hlrn.qwest.net JOIN :#esoteric < 1261758228 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261758681 0 :FireFly!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261758951 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261761205 0 :MigoMipo!i=kvirc@95.209.77.237.bredband.tre.se JOIN :#esoteric < 1261761792 0 :bsmntbombdood_!unknown@unknown.invalid NICK :bsmntbombdood < 1261761893 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261763054 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261763519 0 :soupdragon!unknown@unknown.invalid QUIT :"Leaving" < 1261763575 0 :neuDialect!n=IceChat7@ip-85-161-70-217.eurotel.cz JOIN :#esoteric < 1261763666 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261763674 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1261763941 0 :bsmntbombdood!n=gavin@97-124-201-100.hlrn.qwest.net JOIN :#esoteric < 1261765426 0 :poiuy_qwert!n=poiuy_qw@74.13.131.12 JOIN :#esoteric < 1261765467 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1261765473 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261765603 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1261765608 0 :neuDialect!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261765610 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261765690 0 :Asztal!n=asztal@host86-162-149-220.range86-162.btcentralplus.com JOIN :#esoteric < 1261766231 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1261766247 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261767395 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1261767398 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1261768210 0 :FireFly!unknown@unknown.invalid QUIT :Connection timed out < 1261768346 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261770582 0 :neuDialect!n=IceChat7@ip-85-161-70-217.eurotel.cz JOIN :#esoteric < 1261770674 0 :neuDialect!unknown@unknown.invalid PART #esoteric :? < 1261773768 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261773936 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, Deewiant: any good ideas for how to go about a Make/C polygot? < 1261773943 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if it is even possible < 1261773968 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :goal: make -f foo.c to build foo < 1261774114 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :specifically, how to hide the C code from make < 1261774122 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the other way around is trivial #if 0 .. #endif < 1261774275 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Just make it a command that's never executed? < 1261774353 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :#if 0\n.hidden_target: .unsatisfiable_dependency\n#endif\n\tint main(void) { return 0; } or something < 1261774373 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, nice idea < 1261774376 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Not sure how make likes an unindented comment there < 1261774388 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not sure < 1261774401 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :still, that means you have to indent your C code one step < 1261774408 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, can't have everything < 1261774410 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Oh nose :-P < 1261774419 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Typically you have to do much worse things to get polyglots to work ;-) < 1261774438 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I was hoping for something that only made the make part messy < 1261774438 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Just set your tab width to zero and it'll be fine < 1261774443 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1261774479 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, can't you indent preprocessor iirc? < 1261774501 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Don't think so < 1261774502 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it might be some gnu thing only *shrug* < 1261774513 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :That's why you typicaly see # endif < 1261774516 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :typically* < 1261774526 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, yes. though I'm pretty sure I did it at some point by mistake, and it worked < 1261774537 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :*could* be a gnu extension < 1261774542 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Shrug < 1261774588 0 :bsmntbombdood!n=gavin@97-124-201-100.hlrn.qwest.net JOIN :#esoteric < 1261776047 0 :MigoMipo!unknown@unknown.invalid QUIT :Nick collision from services. < 1261776074 0 :MigoMipo!i=kvirc@95.209.187.173.bredband.tre.se JOIN :#esoteric < 1261776420 0 :poiuy_qwert!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1261777458 0 :MizardX!unknown@unknown.invalid QUIT :"zzz" < 1261777468 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :mlarg < 1261777805 0 :poiuy_qwert!n=poiuy_qw@74.13.131.12 JOIN :#esoteric < 1261778382 0 :|MigoMipo|!i=kvirc@79.138.218.212.bredband.tre.se JOIN :#esoteric < 1261779542 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261780553 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :augur... how shall you survive this winter without semantics homework to share with us all? < 1261780582 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :oh, and Merry Christmas (all) < 1261780792 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :merry christmas Gracenotes :D < 1261780796 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :also, who needs semantics homework < 1261780797 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :when < 1261780799 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :theres semantics books! < 1261780801 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1261780804 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :D: < 1261780826 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :*gets poked* okay okay, :D < 1261780828 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :also, im going to write a series of blog posts on constructing a prolog interpreter :o < 1261780838 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :sounds fun. backtracking? < 1261780856 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :actually, given that it's built into the prolog language (with cuts and whatnot), it pretty much has to be backtracking < 1261780865 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :nah, just a primitive one < 1261780870 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :not optimized or anything < 1261780878 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :no cuts, then < 1261780892 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :nope. just bare execution < 1261780925 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :itll be a very primitive prolog < 1261780926 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :not complete < 1261780940 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :just some simple inference rules and lists < 1261780994 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :neat. I've thought about implementing prolog. < 1261781004 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :which is not as interesting as doing it < 1261781009 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :augur: you has blog, too? < 1261781034 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1261781038 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :wellnowwhat.net/blog < 1261781056 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :ah, yes, the eminent domain I've been downloading your homework from < 1261781066 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :it wont be a complete prolog by far actually. itll really just be a small inference engine that looks a lot like prolog < 1261781072 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the EMINENT domain < 1261781130 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :noes, you've been blagging for months on end now! < 1261781162 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :and I only see one that's a "I haven't been blogging lately" post < 1261781183 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :grr, school makes you so busy :/ < 1261781188 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :it does < 1261781199 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i havent wrote anything in like three months < 1261781201 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :four even < 1261781203 0 :_MigoMipo_!i=kvirc@95.209.87.186.bredband.tre.se JOIN :#esoteric < 1261781304 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I should maintain a blog. hm, how long have I been saying this? < 1261781321 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :well, now that I actually have interesting projects I work on occasionally. And interesting thoughts even less occasionally < 1261781344 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :if you wanna coauthor you can. :D < 1261781406 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :probably shouldn't, I can excrete toxic amounts of Haskell from my skin < 1261781416 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :sounds good < 1261781418 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :mmm haskell < 1261781435 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i find myself implementing certain monadic operations in ruby when doing certain tasks < 1261781438 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :TOXIC :o < 1261781453 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :oh dear, you're releasing spores to other languages now < 1261781460 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hell, coding a prolog-like thing without backtracking employs monadic operations < 1261781473 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :there is a logic monad which does just that < 1261781481 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I mean, the logic monad backtracks < 1261781485 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :doing non-backtracking non-deterministic computations demands list monads < 1261781500 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :the humble list monad is the one that does true nondet < 1261781503 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :yeah huh < 1261781505 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :if you look in my code, you'll see lots of like < 1261781520 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :class Array; def bind(&l); ...; end; end < 1261781587 0 :soupdragon!n=somebody@amcant.demon.co.uk JOIN :#esoteric < 1261781605 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :you know, speaking of the poem on your domain's front page, I once did a Eugene Onegin-style poem outlining the fundamental theorem of calculus < 1261781633 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :only thing is, it was pentameter instead of tetrameter. but I hoped Pushkin scholars might forgive me there < 1261781688 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well < 1261781691 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :in the end, it sounded a bit less Dr. Suess-y than the one about the halting problem, to be honest >_> < 1261781693 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :geoff pullum wrote that one < 1261781701 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so i dunno < 1261781708 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ive got no clue what pentameter is :D < 1261781733 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :iambic pentameter = 5*2 = 10 syllables, tetrameter = 8 < 1261781742 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :5 and 4 iambs respectively < 1261781743 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hush < 1261781754 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i dont need your splanashuns < 1261781908 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :anyway, http://docs.google.com/Doc?docid=0Afa5MxwyB_zYZGhjanNrdjNfMTZkOTR6ejU&hl=en < 1261782006 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I was young. I had a lot of free time. and actually, both of those are probably true :| < 1261782011 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :still < 1261782054 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :lolololol < 1261782224 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I read Hofstadter's translation of Eugene Onegin. Liked it quite a bit. < 1261782230 0 :|MigoMipo|!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261782409 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh man wait, what < 1261782412 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :we're in #esoteric? < 1261782412 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1261782416 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i thought we were in ##proggit < 1261782422 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :im going there < 1261782626 0 :_MigoMipo_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261782796 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261783274 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1261784263 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :gracenotes: yeah. i dont want it to be possible to just define functions and then apply them elsewhere < 1261784270 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i want it to be that like < 1261784288 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you have to use combinators to do things with functions < 1261784307 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and you dont get a syntactically invisible "apply" combinator :p < 1261784331 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :you know, may as well be proggit < 1261784341 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yeah bit proggit isnt esoteric < 1261784342 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so < 1261784348 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and this is kinda esoteric < 1261784371 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i mean, if i made this a truly logic-oriented language itd be easy, then itd just be a crazy esoteric logic language < 1261784383 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ALL FUNCTIONS must be a -> Bool < 1261784383 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1261784384 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :http://www.grammaticalframework.org/ is what I was thinking about < 1261784392 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :where a is not a complex type < 1261784415 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :think it might be more on the syntactical than semantic side < 1261784464 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1261784469 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ill take a look < 1261784545 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hrmph. < 1261784586 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :it might not be as expressive, in terms of expressing the things .you. want to express. < 1261784674 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :Es[+(s), Ex[first(s,x), 1=x], Ey[first(s,y) 1=y], Ez[third(s,z), 2=z]] < 1261784675 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1261784690 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :=> true < 1261784706 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :Ww[Es[+(s), Ex[first(s,x), 1=x], Ey[first(s,y) 1=y], Ez[third(s,z), w=z]] < 1261784707 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :=> 2 < 1261784718 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :my eyes < 1261784725 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :goggles etc. < 1261784734 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1261784742 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ofcourse itll be cleaned up and compactified, maybe < 1261784757 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :e.g. < 1261784782 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :Wx[1 + 2 = w] < 1261784786 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :maybe even 1 + 2! :o < 1261784795 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but the semantics will be such that this is what it means underlyingly < 1261784820 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ie, 1+2 is sugar for the complicated Ww[...] thing < 1261784829 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :by certain rules of expansion < 1261784842 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :+ is State -> Bool < 1261784860 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the + state in the background is known to have three participates < 1261784871 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :participants** < 1261784887 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :1 is a predicate Number -> Bool < 1261784914 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so first you extract 1 < 1261784923 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :or 2, whichever < 1261784926 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :it doesnt matter i dont think < 1261784936 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well, sorry, you dont extract it < 1261784940 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you leave it where it is < 1261784945 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you :P < 1261784976 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you look at + and you say, ok, + is a State -> Bool and 2 is a Num -> Bool < 1261784990 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :(and we're in an infix frame) < 1261785021 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so + 1 becomes (either) a State -> Bool or a Num -> Bool < 1261785054 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I don't think a DSL *needs* arithmetic, per se, no? < 1261785076 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I can see how it works in a prolog-y way, though < 1261785083 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :where its roughly \s -> +(s), Ey[first(s,y), 1(y)] or \y -> 1(y), Es[first(y,s), +(s)] < 1261785100 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :er, 2(y), sorry :p < 1261785105 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :whatever :| < 1261785106 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1261785133 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :then you combine it with 1 to produce another either State -> Bool or Number -> Bool < 1261785161 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in the same fashion < 1261785174 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and then when you find theres nothing left to combine with < 1261785189 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you have just a lambda, the only good one possible, i think < 1261785212 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :\s -> +(s), Ex[first(s,x), 1(x)], Ex[second(s,x), 1(x)] < 1261785252 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but the interpreter knows that things that are +'s also need a third item in order to be acceptable < 1261785271 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so it inserts another one with an empty predicate: < 1261785272 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :something that might make/break your language is having various syntactical shortcuts... enough, not too many < 1261785275 0 :FireFly!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261785292 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :unless you'd want it to be all explicit. depends on which patterns of usage you want to be really common :) < 1261785297 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :\s -> +(s), Ex[first(s,x), 1(x)], Ex[second(s,x), 1(x)] becomes < 1261785315 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261785334 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :Ew[Es[+(s), Ex[first(s,x), 1(x)], Ex[second(s,x), 1(x)], Ez[third(s,z), w(x)]] < 1261785339 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :er, Ww[...] < 1261785395 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and the W combinator is of type (State -> Bool) -> (Num -> Bool) -> Num < 1261785396 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1261785408 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and this is the _enforced_ semantics of the language < 1261785412 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so you cant actually escape this < 1261785428 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hm hmm < 1261785441 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i can integrate this with my desire to have a language that uses movement :D