00:00:38 -!- Froox has joined.
00:00:54 -!- adu has joined.
00:01:38 -!- Froo has joined.
00:03:41 -!- boily has joined.
00:04:36 -!- Frooxius has quit (Ping timeout: 250 seconds).
00:05:25 -!- Tritonio has joined.
00:05:26 -!- Froox has quit (Ping timeout: 246 seconds).
00:17:29 -!- MDude has quit (Read error: Connection reset by peer).
00:20:18 <oerjan> wednesday's at mezzacotta are starting to get crowded
00:22:20 <oerjan> also, the two new comics haven't been added to the sidebar yet
00:24:43 * boily has trouble with weekdays...
00:24:47 <zzo38> I found a public domain JSON implemention in C called PDJSON, therefore I am making the SQLite interface for PDJSON so that you can import data from JSON into SQLite. (Currently is no export functions but is it could be added later on if someone wants to export JSON in this way.)
00:24:58 <oerjan> the *- means what's following should be removed hth
00:26:35 <oerjan> apparently høily is an existing norwegian place name
00:27:00 <pikhq> If PDJSON is the one I'm thinking of, that's quite a good library.;
00:27:40 <oerjan> if it isn't, it's a good mimicry
00:28:06 <zzo38> pikhq: Have you used that one?
00:29:55 -!- Sprocklem has joined.
00:32:47 <boily> oerjan: there's at least http://www.yelp.com/biz/industriteam-%C3%B8st-tomter . not only is it a mimicry, but an authentic mimicry!
00:34:11 <oerjan> boily: i was actually responding to pikhq but all's well that ends well
00:35:08 <boily> pikhq: pikhelloq. sorry for diverting oerjan.
00:36:39 <pikhq> zzo38: No, but I've read it. :)
00:37:18 <zzo38> Have you used other JSON libraries?
00:41:13 -!- Lymia has quit (Ping timeout: 245 seconds).
00:52:48 -!- MDude has joined.
01:15:48 -!- shikhin_ has joined.
01:17:27 -!- ProofTechnique has joined.
01:18:43 -!- shikhin has quit (Ping timeout: 245 seconds).
01:23:28 -!- dianne has quit (Ping timeout: 250 seconds).
01:25:26 -!- dianne has joined.
01:36:18 -!- tswett has quit (Quit: tswett).
01:36:28 -!- Warrigal has joined.
01:36:35 -!- Warrigal has changed nick to tswett.
01:39:30 -!- oren has joined.
01:57:04 -!- boily has quit (Quit: ENDOMORPHIC CHICKEN).
02:09:57 -!- skj3gg has joined.
02:11:05 -!- skj3gg has quit (Client Quit).
02:11:59 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:13:14 -!- skj3gg has joined.
02:17:58 -!- arjanb has quit (Ping timeout: 246 seconds).
02:32:17 <zzo38> I found a bug in PDJSON that empty arrays and empty objects don't work. I will fix that now.
02:34:15 -!- Sprocklem has quit (Ping timeout: 250 seconds).
02:42:49 -!- teuchter has joined.
02:44:35 -!- skj3gg has quit (Quit: ZZZzzz…).
02:44:57 -!- ocharles__ has joined.
02:47:13 -!- zzo38 has quit (Disconnected by services).
02:47:18 -!- zzo38 has joined.
02:47:57 -!- ski_ has joined.
02:48:04 <zzo38> After fixing that bug, now the SQL interface to PDJSON is working OK
02:51:31 -!- trnv2 has joined.
02:52:10 <Taneb> The clash that the York JavaScript meetup group has with the York Haskell meetup group is getting annoying...
02:52:17 -!- lambdabot has quit (*.net *.split).
02:52:17 -!- choochter has quit (*.net *.split).
02:52:17 -!- ocharles_ has quit (*.net *.split).
02:52:17 -!- trn has quit (*.net *.split).
02:52:17 -!- ski has quit (*.net *.split).
02:52:59 -!- ocharles__ has changed nick to ocharles_.
02:53:36 -!- Zefpher has joined.
02:57:20 <oerjan> Taneb: you found someone who wants to go to both?
02:57:41 <Taneb> oerjan, yes, also we want to use the same venue at the same time
02:57:56 <Taneb> Which does have a natural solution
02:58:03 -!- trnv2 has changed nick to trn.
02:58:14 <oerjan> ah that seems to be a problem
02:58:22 -!- lambdabot has joined.
02:59:41 <Taneb> oerjan, somehow we both decided on "Last Thursday of the month"
03:00:02 <Taneb> Zefpher, York Haskell meetup group and York JavaScript meetup group
03:00:23 <oerjan> it's a small town on mars
03:00:31 <oerjan> near the capital of O'Wobble
03:00:48 <Taneb> York is a city in the north of England
03:00:49 <Zefpher> I don't have time for geography
03:00:54 <Taneb> It's where New York is named for
03:01:04 <Zefpher> I live in Washington state
03:01:32 <Zefpher> Ill just call my aunt who lives in London for like $2000
03:01:52 <oerjan> i thought phone calls had got cheaper than that
03:02:41 <Zefpher> I will call my aunt For a $2000 Plane ticket
03:03:28 <oerjan> you can have my alarm clock, i changed the battery and the ticking got so annoying i had to take it out again
03:04:35 <Zefpher> I can't be in in heavily polluted areas my sensory issues will make my chromesthesia flip out
03:04:44 <Taneb> It's quite a small city
03:04:52 <Taneb> Sometimes there is a smell of burnt sugar
03:05:14 <oerjan> <Zefpher> Be serious <-- just testing y'all for obscure references hth
03:05:14 <Taneb> There is a chocolate and sweets factory
03:06:35 <pikhq> Is anything new in York?
03:06:43 <pikhq> Or did they export it all to New York?
03:07:04 <Taneb> pikhq, we're making a New York Haskell Compiler
03:09:28 <Zefpher> Ill just be in the background
03:09:51 <pikhq> I'll just keep drinkin' my coffee stout.
03:10:08 <Zefpher> If there are any fires /it wasn't me/
03:11:33 <Zefpher> Alas I try my best to be weird
03:11:50 <Zefpher> and you are all old So I would very much stick out
03:14:55 <pikhq> Meh, age is an illusion.
03:15:12 <pikhq> Though the beards, probably not.
03:17:00 <Taneb> Zefpher, I am not old
03:18:50 <pikhq> On a scale from 1 to oerjan how old are you Taneb?
03:19:53 <pikhq> It's an oatmeal stout with coffee.
03:20:03 <pikhq> And it is delicious.
03:20:39 <pikhq> oerjan is older than the stars.
03:20:49 <pikhq> oerjan: Not really.
03:20:51 <Taneb> Zefpher, that was a typo, I'm 20
03:20:55 <pikhq> Just profoundly tasty.
03:21:06 <Zefpher> Sometimes I can trick adults into thinking I'm an adult
03:21:40 <oerjan> pikhq: i mean, it's two potential addictions in one
03:22:24 <Zefpher> I was once addicted to meth
03:22:41 <Zefpher> Or well I was none of the others were |_|
03:22:55 <oerjan> are you trying to trick us into thinking you're adult again
03:23:18 <oerjan> just general trickery, check
03:24:08 <pikhq> I advise against meth.
03:24:23 <pikhq> Even if you have medical cause for amphetamines there's better ones.
03:25:00 <Zefpher> To late pikhq that era is over for me
03:25:11 <Zefpher> unless your advising my grandma
03:25:28 <oerjan> i can quit caffeine any time i want, just give me a couple weeks
03:25:57 <pikhq> IRC on the other hand.
03:27:31 <Taneb> I seem to have misplaced my tie
03:28:39 <Taneb> I have had a good track record for not burning my house down this year
03:28:43 <Zefpher> I need to go give 30 moneys to my mothwr
03:28:44 <Taneb> And I don't want to lose it
03:29:11 <Zefpher> Mr Ink: http://youtu.be/K2WazFk2Cwg
03:32:32 <Zefpher> In America its technically required to go to college if you want supreme mastery over that subject
03:37:03 -!- ProofTechnique has quit (Ping timeout: 245 seconds).
03:37:37 <oerjan> girl genius: ah the bears have arrived
03:51:36 -!- chaosagent has joined.
03:52:21 -!- Lymia has joined.
04:17:43 <oren> York is also the university in Toronto that my dad worksfor
04:18:58 -!- ProofTechnique has joined.
04:31:37 -!- Eolus has joined.
04:32:00 -!- Eolus has changed nick to Guest85091.
04:33:03 -!- Zefpher has quit (Ping timeout: 256 seconds).
04:41:27 -!- hjulle has quit (Ping timeout: 252 seconds).
04:46:01 -!- Guest85091 has changed nick to Zefpher.
04:52:14 <Zefpher> > Right "hm" <|> Left "..."
04:53:29 -!- shikhin_ has quit (Ping timeout: 246 seconds).
04:59:37 <lambdabot> <hint>:1:1: parse error on input ‘|’
04:59:59 <Zefpher> Now tell me what does | stand for in haskell
05:00:14 <Zefpher> and why is it bordered by greater than and less than signs
05:03:07 <oren> @bf ++++++++++++++++++++++++++++++++++.+.+.+.
05:03:15 <oren> That is what it does
05:03:28 <oren> it interpretsbrainfuck
05:09:06 <oerjan> Zefpher: | has several different uses, but <|> is a completely different operator - haskell doesn't have a fixed set of operators so any sequence of operator characters doesn't get split up into smaller ones.
05:09:43 <lambdabot> Alternative f => f a -> f a -> f a
05:09:52 <Zefpher> so what does [| ] do for stuff
05:10:06 <Zefpher> it breaks all of me program
05:10:20 <oerjan> Zefpher: you probably mean a list comprehension
05:10:34 <oerjan> > [ x*x | x <- [1..10] ]
05:11:01 <Zefpher> and does -> point towards different variables¿
05:11:29 <Zefpher> Oerjan teach me the haskells
05:11:44 <oerjan> > case Just "testing" of Nothing -> "nope" ; Just something -> something
05:12:04 * Zefpher finds money and offers it to oerjan
05:13:22 <oerjan> actually, i don't think -> usually points to variables, but away from them (or away from a pattern)
05:14:29 <oerjan> <- and -> are essentially keywords
05:15:01 <oerjan> and there's usually a pattern to the left of them
05:15:11 <oerjan> (a variable is the simplest kind of pattern)
05:15:38 <oerjan> but other than that, they're used in several different contexts
05:15:58 <oerjan> coppro: shocking, isn't it?
05:16:12 <coppro> xdg-open determined that the best way to open a text file was to start x-terminal-emulator and run vim inside it?
05:16:52 <oerjan> curiously, i have long since resigned to setting IE to open haskell files in vim
05:17:08 <oerjan> it's the least annoying thing that works when it won't display in-browser
05:17:16 <lambdabot> data Bool = False | True deriving (Eq, Ord)
05:17:29 <dulla> > [ x | x <- "jeys hush", elem x "suej"]
05:20:11 <oerjan> | is also a keyword btw
05:20:14 <dulla> All I hear is that one should use filters, and maps instead of list comprehensions
05:20:44 <oerjan> dulla: nah sometimes one is better, sometimes the other
05:21:09 <dulla> Sometimes you feel lazy
05:21:26 <oerjan> > filter (`elem` "suej") "jeys hush"
05:21:58 <HMC_A> in haskell is list comprehension primitive or just syntactic sugar?
05:22:23 <oerjan> @undo [ x | x <- "jeys hush", elem x "suej"]
05:22:23 <lambdabot> concatMap (\ x -> if elem x "suej" then [x] else []) "jeys hush"
05:23:10 <HMC_A> so you can't really use filters/maps "instead" :-)
05:23:26 <dulla> Also, do you get angry about the "special syntax" [] ?
05:23:57 <oerjan> well the idea is you can get a better point-free definition without comprehensions, when that works nicely.
05:24:12 <HMC_A> well that is an idea.
05:24:50 <coppro> oerjan: yeah I'm surprised it actually started a terminal emulator though
05:24:53 <coppro> rather than running gvim
05:25:27 <dulla> > let fil as = filter (`elem` as) in fil "suej" "jeys hush"
05:26:06 <oerjan> > let fil = filter . flip elem in fil "suej" "jeys hush"
05:26:36 <HMC_A> now i want to go implement a pointless topology using just list comprehensions simply to rile people. XD
05:27:09 <dulla> ah, I see what the flip does
05:27:27 <oerjan> > intersection "jeys hush" "suej"
05:27:28 <lambdabot> ‘IM.intersection’ (imported from Data.IntMap),
05:27:48 <oerjan> > Data.List.intersection "jeys hush" "suej"
05:27:49 <lambdabot> Not in scope: ‘Data.List.intersection’
05:27:49 <lambdabot> ‘Data.List.intersect’ (imported from Data.List),
05:27:56 <dulla> Isn't there a list difference operation?
05:28:00 <oerjan> > intersect "jeys hush" "suej"
05:28:14 <dulla> one that's a symbol
05:29:01 <dulla> > "jeys hush" \\ "y hh"
05:29:35 <oerjan> i think using them on non-sets is not originally intended
05:30:28 <dulla> They could be used for a very crappy cipher
05:31:34 <oerjan> hm actually the report seems to define \\ on non-sets well enough
05:35:51 <dulla> > intersect "test" "t"
05:43:44 <zzo38> I get angry about the "special syntax" because I believe it ought to be made as macros instead
05:46:35 <Sgeo> Remind me never to use cloud to butt
05:46:36 <Sgeo> https://www.reddit.com/r/TagPro/comments/2vlkzp/note_have_the_cloud_to_butt_extension_disabled/
05:46:57 <Sgeo> Why doesn't it search/replace just text nodes in HTML?
05:47:10 <Sgeo> And... hmm, impossible to tell whether strings in Javascript need to be replaced
05:55:25 <oren> Sgeo: Javascript itself needs to be replaced hth
06:00:09 <Zefpher> javascript type tables are complete shit
06:00:22 <Zefpher> deletes javascript off the internet
06:09:57 <oren> Does haskell have a type for unordered sets? Most languages don't.
06:11:42 <oerjan> there's an unordered-containers library
06:12:30 <oerjan> that's actually in the usual containers library
06:12:48 <oren> See I realized that an unordered set can be implemented to be faster than using a vector like thing
06:13:28 <oren> And in my use case (bullets in a 2d game) I don't care what order they are processed in
06:13:30 <elliott> tbf those aren't unordered so much as very ordered
06:14:29 * oerjan hasn't really looked at unordered-containers, but things he heard it was getting more official
06:14:42 <elliott> well unordered-containers isn't that ordered
06:14:45 <int-e> . o O ( ricocheting bullets )
06:14:58 <elliott> but my joke works for Data.Set.Set
06:15:47 <oren> Anyway, the problem is C++ has no real unordered set type. std::unordered_set is actually a hash table
06:16:00 <oerjan> int-e: THE BEARS HAVE ARRIVED
06:16:04 <elliott> what do you want from this type anyway
06:16:09 <oren> I want a type with three operations
06:16:44 <oren> add(set, thing), remove(set, current_index), iterate(set,function)
06:17:05 <oren> So add doesn't add the thing in any particular place
06:17:25 <oren> and iterate doesn't iterate over in any particular order
06:17:51 <oren> but during iteration, i need to be able to remove the current bullet from the set
06:19:14 <oerjan> oren: the problem is, without a known place to find it, remove() is going to be horribly slow
06:19:26 <int-e> elliott: https://en.wikipedia.org/wiki/Wikipedia:Granting_work_into_the_public_domain#Legal_basis_of_copyright_in_the_United_States seems a better source of the situation of donating works to the public domain in the US... the conclusion seems to be that it *ought* to be possible but it's hard to make an unequivocal statement to that effect. So there's a cloud of uncertainty and doubt around the topic.
06:20:00 <oren> oerjan: right, but ideally remove would only be callable from within an iteration
06:20:32 <oren> And only callable on the current bullet
06:20:42 <oren> I think that can make it fast
06:21:13 <int-e> oerjan: uh-oh. do they eat metal? *risks a look at the comic*
06:21:15 <oerjan> plausible. you could even use a list then.
06:21:51 <int-e> Oh, it seems friendly. Ominous.
06:22:30 <oerjan> i expect zeeta and violetta to freak out first next panel
06:23:18 <int-e> Oerjan made a typo!
06:23:30 <Zefpher> [ y | y <- "whomykissrobfistersfightpowertopick", elem y "mspiss"]
06:23:30 <j-bot> Zefpher: 'y' | 'y' < -"_ _ _"_ _ _ elem 'y'"_ _ _"_ _ _
06:23:31 <oerjan> there should be an h there, right?
06:23:45 <oerjan> i'm just not sure _where_...
06:24:23 <Zefpher> I look forward to seeing you oerjan
06:24:59 <Zefpher> > [ y | y <- "whomykissrobfistersfightpowertopick", elem y "mspiss"]
06:25:12 * int-e still doesn't know what Zefpher and friends (like the one with L who shall not be named) are doing here.
06:25:36 <Zefpher> I could be rude and tell you to die in a fire
06:25:44 <int-e> You could do that.
06:25:53 <dulla> I'm here to pillage, and relish the lamentation of your women
06:26:13 <Zefpher> And I wont do that to int he's a funny
06:26:22 <int-e> You could try living up to that claim. Perhaps I'd not be so nasty either?
06:27:04 <dulla> needs more DanMachi
06:27:34 <int-e> "I used to be indecisive, but now I'm not so sure."
06:27:41 <Zefpher> Meh I'm only a 16 year old with DID and ptsd and aspds
06:27:57 <Zefpher> Int e must have children by now
06:28:24 <int-e> Fortunately for my children, I don't have any :P
06:29:02 <Zefpher> Ill try to be Nicer than my current level
06:29:13 <Zefpher> I'm not good an socializing with older folks
06:29:39 <oren> Hey oerjan, what did the scouter say about his nice level?
06:29:40 <Zefpher> if you say something bad about me I'm not afraid to hit a senior citizen
06:30:47 <Zefpher> I usually spew out a full front of hate and anger during febuary because its the only time I'm reminded of the incident that ruined my entire life
06:31:20 <Zefpher> also Sorry if I sound like I like to burn houses down
06:31:38 <Zefpher> I also don't have enough money to do that
06:31:45 <oren> OR maybe I just like cooking bacon at way to high a heat
06:32:03 <oerjan> oren: i'm too tired to reverse engineer puns hth
06:33:11 <Zefpher> Sorry for implying you should die in a nuclear blast cloud int-e
06:33:13 <int-e> oerjan: s/to/too/; no pun.
06:33:52 <int-e> (I think. Maybe it's a pun submarine)
06:34:37 <int-e> Or perhaps I missed something that oren wrote.
06:35:51 <oerjan> int-e: perhaps you were looking at the wrong line.
06:36:30 <int-e> oerjan: still it's not a pun; google suggests a quote from Dragon Ball Z
06:38:09 <oerjan> Zefpher: that _still_ means we can ban you until march 1 without feeling bad about it hth
06:39:09 <Zefpher> You don't talk to me for awhile and I will work on my skills of friendly Ness
06:39:58 -!- oerjan has quit (Quit: Let's try that ZZZZZZZ).
06:40:59 <Zefpher> What's the cmd that turns msgs off for some users
06:41:01 <oren> 光る雲を突き抜けフライアウェイ
06:41:30 <Zefpher> That third one looks like a tower
06:41:42 <oren> it means claud
06:42:00 <lifthrasiir> (a loan version of "flying away" is not a common word, I guess)
06:42:45 <oren> Japanese songs have lots of english in them, usually bad english
06:44:24 <oren> but it usually makes sense with a back-translation
06:47:35 <oren> Anyway the song i quoted is the original opening for dragon ball
06:50:36 <oren> Interestingly the fact they don't focus on correct grammar allows the lyrics to more easily fit the tune than in western music
06:55:14 -!- quintopia has quit (Ping timeout: 265 seconds).
06:56:03 -!- quintopia has joined.
06:58:08 <oren> this pronounciation is basically inexcusable tho: https://www.youtube.com/watch?v=8u0EEjNJNQE
07:06:46 -!- kapil__ has joined.
07:12:28 -!- weissschloss has quit (Remote host closed the connection).
07:15:58 -!- weissschloss has joined.
07:24:24 <zzo38> I looked at the "Empty Room Psych" in All The Tropes, and remind me of some computer game I once made (I don't entirely remember and don't have it now), where there is one room that contains only text that says "THERE IS NOTHING IN THIS ROOM" (I suppose it is a bit like pages of a book that says this page is intentionally left blank). However, the text blocks the door from opening.
07:24:33 <zzo38> So you can't actually enter the room.
07:31:12 -!- MDude has changed nick to MDream.
07:35:53 -!- Patashu has joined.
07:40:42 <zzo38> This is the SQL extension of PDJSON: http://sprunge.us/DXie Do you think the documentation is OK to you?
07:41:11 -!- Patashu has quit (Remote host closed the connection).
07:41:23 -!- Patashu has joined.
07:44:41 <zzo38> Esolang wiki says that Taktentus is "an simple language with equal". Well, just in general, it doesn't get described very well.
07:45:04 -!- adu has quit (Quit: adu).
07:45:05 <zzo38> (Also seems to lack flow-controls)
07:48:02 <MDream> I think it means all operations use the equals sign for assignment.
07:48:19 -!- teuchter has quit (Changing host).
07:48:19 -!- teuchter has joined.
07:48:21 -!- ocharles_ has quit (Changing host).
07:48:21 -!- ocharles_ has joined.
07:48:45 <oren> there should be a language where = is move notcopy
07:48:47 <MDream> And it looks like _ is the instruction pointe.
07:49:32 <zzo38> O, if _ is the instruction pointers then that can be use for flow-controls I suppose. It doesn't make it very clear (at least in English isn't clear).
07:51:53 <MDream> I agree on the English.
07:53:37 <MDream> Putting the source page through an auto-translator confirms my suspicion.
07:54:36 -!- adu has joined.
08:19:11 <b_jonas> zzo38: yes, I think there's such a language where _ is the instr pointer and can be used for flow control
08:21:02 <b_jonas> in the W language here http://www.vttoth.com/CMS/index.php/projects/49
08:21:09 <b_jonas> $ is the instruction pointer and can be used for flow control
08:41:05 -!- Zefpher has quit (Ping timeout: 265 seconds).
09:13:15 -!- skarn has quit (Killed (orwell.freenode.net (Nickname regained by services))).
09:13:31 -!- skarn_ has joined.
09:37:02 -!- chaosagent has quit (Ping timeout: 250 seconds).
09:42:50 -!- adu has quit (Quit: adu).
09:43:26 -!- J_Arcane has quit (Read error: Connection reset by peer).
10:09:22 -!- J_Arcane has joined.
10:31:46 -!- Tritonio has quit (Ping timeout: 252 seconds).
10:47:39 <mroman> foo -> (bind #(0 1) #(T:function T:argument) (eval S:function S:argument))
10:47:40 <mroman> main -> (putstrln (show (foo (atom (add $0 1)) 9)))
10:47:58 <mroman> bind is a special function that rewrites the expression
10:48:20 <mroman> so bind takes a list of numbers (the arguments) and a list of symbol names and an expression
10:48:37 <mroman> and then rewrites all symbols in the expression to the corresponding param
10:48:43 <mroman> so it rewrites to (eval $0 $1)
10:51:48 -!- Tritonio has joined.
10:52:37 -!- Phantom_Hoover has joined.
10:54:24 <mroman> http://codepad.org/cY4nDxU7
11:12:22 -!- Tritonio has quit (Remote host closed the connection).
11:13:56 -!- Tritonio has joined.
11:23:18 -!- boily has joined.
11:23:55 -!- ais523 has quit.
11:23:58 -!- callforjudgement has joined.
11:27:25 -!- rodgort has quit (Read error: Connection reset by peer).
11:35:16 -!- rodgort has joined.
11:59:59 -!- callforjudgement has quit (Read error: Connection reset by peer).
12:00:14 -!- callforjudgement has joined.
12:05:31 -!- ^v has quit (Read error: Connection reset by peer).
12:05:58 -!- ^v has joined.
12:06:57 -!- Tritonio has quit (Remote host closed the connection).
12:07:11 -!- Tritonio has joined.
12:09:29 -!- Tritonio has quit (Remote host closed the connection).
12:10:13 -!- callforjudgement has quit.
12:11:57 -!- Tritonio has joined.
12:14:48 -!- Patashu has quit (Ping timeout: 252 seconds).
12:17:52 -!- Tritonio has quit (Remote host closed the connection).
12:18:54 -!- Tritonio has joined.
12:20:36 -!- boily has quit (Quit: POPULATED CHICKEN).
12:21:21 <mroman> although this bind is inefficient for recursion
12:21:30 <mroman> because the rewriting is done each time
12:21:47 <mroman> but you can make a static run over binds one time so...
12:21:51 <mroman> unless it's a dynamic bind
12:22:02 <mroman> but I could write a checker that rewrites static binds at start-up
12:25:44 -!- Tritonio has quit (Remote host closed the connection).
12:26:02 -!- Tritonio has joined.
12:32:05 -!- Tritonio has quit (Remote host closed the connection).
12:32:23 -!- Tritonio has joined.
12:37:02 -!- Tritonio has quit (Remote host closed the connection).
12:37:20 -!- Tritonio has joined.
12:40:37 -!- ProofTechnique has quit (Ping timeout: 264 seconds).
12:46:00 -!- Tritonio has quit (Remote host closed the connection).
12:46:18 -!- Tritonio has joined.
12:51:43 -!- Tritonio has quit (Remote host closed the connection).
12:51:52 -!- Tritonio has joined.
12:54:20 -!- Tritonio has quit (Remote host closed the connection).
12:54:31 -!- Tritonio has joined.
12:55:03 -!- Tritonio has quit (Remote host closed the connection).
12:55:17 -!- Tritonio has joined.
12:55:55 -!- Tritonio has quit (Remote host closed the connection).
12:56:07 -!- Tritonio has joined.
12:56:51 -!- Tritonio has quit (Remote host closed the connection).
12:57:04 -!- Tritonio has joined.
12:57:53 -!- Tritonio has quit (Remote host closed the connection).
12:58:04 -!- Tritonio has joined.
13:06:48 -!- Tritonio has quit (Remote host closed the connection).
13:06:58 -!- Tritonio has joined.
13:09:05 -!- Tritonio has quit (Remote host closed the connection).
13:09:16 -!- Tritonio has joined.
13:10:28 -!- Tritonio has quit (Remote host closed the connection).
13:10:39 -!- Tritonio has joined.
13:19:31 -!- CADD has quit (Read error: Connection reset by peer).
13:48:09 -!- Tritonio has quit (Remote host closed the connection).
13:59:52 <HackEgo> [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41890&oldid=41888 * 46.113.205.53 * (+31) /* External resources */
14:07:42 -!- ski_ has quit (Remote host closed the connection).
14:18:24 <mroman> how do I catch every exception?
14:22:06 <quintopia> wrap the enter program in a giant try
14:22:50 <mroman> handle (\_ -> print 0) (dostuff)
14:22:51 <b_jonas> mroman: fork-exec, do the cleanup in the parent process
14:22:59 <mroman> also catch doesn't work
14:23:02 <mroman> and try doesn't as well
14:23:34 <mroman> it works with (\(e :: IOException) -> print 0)
14:23:38 <mroman> but not with (\_ -> print 0)
14:23:57 <mroman> No instance for (Exception e0)
14:24:17 <mroman> (in other words: The code from real world haskell results in a type error for me)
14:25:16 -!- ProofTechnique has joined.
14:26:02 <mroman> There's no "Exception"
14:26:05 <mroman> Expecting one more argument to ‘Exception’ Expected a type, but ‘Exception’ has kind ‘* -> Constraint’
14:26:56 <mroman> SomeException might do it
14:29:36 -!- ProofTechnique has quit (Ping timeout: 246 seconds).
14:38:11 -!- hjulle has joined.
14:39:55 <dulla> I recall a blog post talking about three, four methods to do errors
14:40:04 <dulla> I have about 9000 submerged tabs though
14:40:57 <mroman> SomeException works fine for now
14:41:05 <mroman> main -> (try (putstrln (show (error))) (putstrln :(Nooooo!)))
14:53:56 -!- oren has quit (Ping timeout: 252 seconds).
14:54:52 -!- adu has joined.
15:04:15 -!- nycs has joined.
15:05:56 -!- SopaXorzTaker has joined.
15:10:54 -!- oren has joined.
15:11:38 -!- nycs has changed nick to `^_^v.
15:21:28 -!- adu has quit (Quit: adu).
15:22:05 -!- Tritonio has joined.
15:25:42 <J_Arcane> https://twitter.com/HaskellCEO/status/565891621406138369
15:40:36 -!- skj3gg has joined.
15:41:06 <HackEgo> [wiki] [[Redstone]] N http://esolangs.org/w/index.php?oldid=41891 * 206.15.236.252 * (+375) Created page with " Redstone is used for electronics in the game Minecraft. (see http://minecraft.gamepedia.com/Redstone) Although not intended to be a programming language, a compiler is techni..."
15:41:30 <oren> And what the FUCK is with this constant talk of "purity"? I suppose "impurity" means ACTUALLY hitting our quarterly targets?!?! #FML
15:41:55 -!- skj3gg has quit (Client Quit).
15:43:05 <oren> this guy is hilarious in a totally unfair way
15:50:20 -!- perrier has quit (Read error: Connection reset by peer).
15:51:32 -!- perrier has joined.
15:55:36 -!- perrier has quit (Remote host closed the connection).
15:56:00 -!- skj3gg has joined.
15:56:23 -!- adu has joined.
15:56:48 -!- perrier has joined.
16:01:33 -!- SopaXorzTaker has quit (Ping timeout: 250 seconds).
16:07:13 -!- hjulle has quit (Ping timeout: 256 seconds).
16:09:14 <J_Arcane> mroman: oren: I think its a parody account, but I've often mused on that very sentiment. XD Wondering if FP/Lisps never took off because to clueless managers it doesn't 'look like work'.
16:14:11 -!- SopaXorzTaker has joined.
16:30:13 -!- perrier has quit (Remote host closed the connection).
16:31:26 -!- perrier has joined.
16:33:28 -!- perrier has quit (Read error: Connection reset by peer).
16:34:40 -!- perrier has joined.
16:37:00 -!- perrier has quit (Remote host closed the connection).
16:38:13 -!- perrier has joined.
16:38:55 -!- MDream has changed nick to MDude.
16:44:28 -!- perrier has quit (Remote host closed the connection).
16:45:40 -!- perrier has joined.
16:47:28 -!- Lymia has quit (Ping timeout: 245 seconds).
16:48:50 -!- AnotherTest has joined.
16:49:11 -!- Lymia has joined.
16:51:29 -!- heroux has quit (Ping timeout: 245 seconds).
17:00:31 -!- skj3gg has quit (Quit: ZZZzzz…).
17:01:38 -!- skj3gg has joined.
17:01:39 <HackEgo> [wiki] [[Ook!]] http://esolangs.org/w/index.php?diff=41892&oldid=41107 * 74.73.232.36 * (+98) /* External resources */ Add link for Terry Pratchett wiki
17:16:17 -!- skj3gg has quit (Quit: ZZZzzz…).
17:18:11 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:18:22 <HackEgo> [wiki] [[Esme]] http://esolangs.org/w/index.php?diff=41893&oldid=13230 * 24.104.140.55 * (+0) /* Examples */
17:24:34 -!- skj3gg has joined.
17:27:54 -!- mrohman has joined.
17:29:09 <mrohman> This android client is weird
17:29:35 <int-e> fungot's still on the move
17:31:07 <int-e> And, unfortunately, nontrivial to get running. (At least I couldn't get the version from https://github.com/fis/fungot to do much more than loop forever. But I don't know Funge.)
17:31:26 <mrohman> Oh. Portraitmode is better
17:32:24 <mrohman> Landscape the keyboard needs the whole screen
17:33:36 <fizzie> int-e: Other people have succeeded in running it.
17:33:56 <fizzie> int-e: But you do need to start it with the loader.
17:34:05 <fizzie> (The main "fungot.b98" is not a standalone program.)
17:34:23 <fizzie> At any rate, it's probably not worth it unless you had the models.
17:34:24 <int-e> fizzie: I did, but it hangs trying to parse the non-existent fungot.dat file.
17:34:43 <fizzie> That's right there in the instructions.
17:34:48 <fizzie> "It might be necessary to create the file data/fungot.dat and put ten empty lines there."
17:35:16 <fizzie> (I believe in robust code.)
17:35:51 <mrohman> I could write an irc client in my lisp dialect. Hm...
17:36:33 <fizzie> As for fungot, its estimated time of arrival is next week, but I don't have internet in the new place yet, so it won't be getting online.
17:36:46 <fizzie> I think I was quoted "10-12 business days" for that.
17:37:51 <int-e> fizzie: I actually tried that (fungot.dat containing 10 newlines) but it still hung.
17:38:27 <int-e> Anyway, it's not important. I was bored.
17:41:02 -!- mrohman has quit (Ping timeout: 246 seconds).
17:41:03 <int-e> usage ./testlm-disk.pl tokens.bin.foo model.bin.fii <-- actually that's a nice typo (typi?).
17:42:47 <int-e> (I do have a working language model, producing stuff like "what are you supposed to be looking for is here, i don't care to take a quick change of magnification brought them into close focus on it properly or tell how near vicinity of betelgeuse? ... guess the source...)
17:42:53 -!- Lymia has quit (Ping timeout: 245 seconds).
17:42:59 -!- oren has quit (Ping timeout: 256 seconds).
17:48:18 <fizzie> int-e: I think I fixed that typi.
17:48:35 <fizzie> But it probably didn't end up in the githubbed version.
17:49:10 <Jafet> Instead of guessing, I consulted Google's language model.
17:50:17 -!- SopaXorzTaker has quit (Quit: gtg).
17:50:34 <int-e> Jafet: yeah, "vicinity of betelgeuse" finds the right source.
17:56:04 -!- arjanb has joined.
17:57:48 <fizzie> int-e: Hmm. Might be things have changed since that was written. Although I thought it was correct.
18:03:30 -!- ProofTechnique has joined.
18:08:07 -!- ProofTechnique has quit (Ping timeout: 252 seconds).
18:16:48 -!- shikhin has joined.
18:16:54 -!- shikhin has quit (Read error: Connection reset by peer).
18:20:16 -!- shikhin has joined.
18:20:18 -!- shikhin has quit (Read error: Connection reset by peer).
18:33:20 -!- zzo38 has quit (Remote host closed the connection).
18:39:32 -!- ProofTechnique has joined.
18:41:23 -!- shikhin has joined.
18:41:59 -!- shikhin has quit (Read error: Connection reset by peer).
18:46:23 -!- shikhin has joined.
18:47:04 -!- Sprocklem has joined.
18:47:56 -!- shikhin has quit (Read error: Connection reset by peer).
18:56:42 -!- shikhin has joined.
18:57:29 -!- oren has joined.
18:58:50 -!- shikhin has quit (Read error: Connection reset by peer).
19:00:37 -!- Tritonio has quit (Remote host closed the connection).
19:01:42 -!- shikhin has joined.
19:04:51 -!- zzo38 has joined.
19:07:12 -!- shikhin has quit (Read error: Connection reset by peer).
19:08:01 -!- shikhin has joined.
19:08:47 <Taneb> Today I made paper boats then unleashed them on my uni's lake
19:08:49 -!- shikhin has quit (Read error: Connection reset by peer).
19:13:00 -!- shikhin has joined.
19:14:34 -!- shikhin has quit (Read error: Connection reset by peer).
19:17:49 <oren> Taneb: then it was a good day!
19:17:57 -!- skj3gg has quit (Quit: ZZZzzz…).
19:18:04 -!- shikhin has joined.
19:18:30 -!- shikhin has quit (Read error: Connection reset by peer).
19:19:23 <Taneb> Also I have written a program which says "Socrates is eating" repeatedly!
19:21:00 <HackEgo> [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41894&oldid=32474 * Rottytooth * (+516) /* Language Overview */
19:21:18 <int-e> Taneb: you may have missed the point of the Dining Philosopher's probem...
19:21:34 <Taneb> int-e, I think I in fact have a buggy implementation
19:21:43 <Taneb> What with not actually knowing the language I'm implementing it in
19:22:04 -!- oren has quit (Ping timeout: 246 seconds).
19:23:04 -!- shikhin has joined.
19:23:47 -!- shikhin has quit (Read error: Connection reset by peer).
19:24:20 <Taneb> Hmm, I really do not know Java
19:28:08 -!- shikhin has joined.
19:28:49 -!- shikhin has quit (Read error: Connection reset by peer).
19:31:03 <int-e> . o O ( I've never been there either. )
19:31:08 <HackEgo> [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41895&oldid=41894 * Rottytooth * (+42) /* Examples */ added Hello, World
19:32:45 <HackEgo> [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41896&oldid=41895 * Rottytooth * (-5) /* Language Overview */
19:33:05 -!- shikhin has joined.
19:35:41 <HackEgo> [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41897&oldid=41896 * Rottytooth * (+210) /* Hello World */
19:36:36 <HackEgo> [wiki] [[User:Rottytooth]] http://esolangs.org/w/index.php?diff=41898&oldid=41572 * Rottytooth * (-35)
19:36:44 -!- shikhin has quit (Read error: Connection reset by peer).
19:38:07 -!- shikhin has joined.
19:38:45 -!- shikhin has quit (Read error: Connection reset by peer).
19:40:30 -!- shikhin has joined.
19:40:40 -!- shikhin has quit (Read error: Connection reset by peer).
19:48:21 <HackEgo> [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41899&oldid=41897 * Rottytooth * (+30) /* Hello World */ added default Hello World
19:49:41 <HackEgo> [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41900&oldid=41899 * Rottytooth * (-34) /* Hello World */ changed order of examples, clarified
19:49:46 -!- skj3gg has joined.
19:50:52 -!- shikhin has joined.
19:53:45 -!- shikhin has quit (Read error: Connection reset by peer).
20:00:49 -!- shikhin has joined.
20:00:59 -!- Patashu has joined.
20:01:38 -!- shikhin has quit (Read error: Connection reset by peer).
20:02:06 -!- nys has joined.
20:04:06 -!- zzo38 has quit (Remote host closed the connection).
20:11:06 -!- ocharles_ has quit (Ping timeout: 252 seconds).
20:11:13 -!- shikhin has joined.
20:14:06 -!- shikhin has quit (Read error: Connection reset by peer).
20:16:20 -!- shikhin has joined.
20:18:15 -!- ocharles_ has joined.
20:18:49 -!- shikhin has quit (Read error: Connection reset by peer).
20:19:11 -!- skj3gg has quit (Quit: ZZZzzz…).
20:21:23 -!- shikhin has joined.
20:22:02 -!- skj3gg has joined.
20:25:13 -!- shikhin has quit (Read error: Connection reset by peer).
20:26:28 -!- shikhin has joined.
20:30:13 -!- shikhin has quit (Read error: Connection reset by peer).
20:31:26 -!- shikhin has joined.
20:31:34 -!- shikhin has quit (Read error: Connection reset by peer).
20:36:26 -!- shikhin has joined.
20:39:24 -!- shikhin has quit (Read error: Connection reset by peer).
20:41:31 -!- shikhin has joined.
20:41:57 -!- shikhin has quit (Read error: Connection reset by peer).
20:42:13 -!- Patashu has quit (Ping timeout: 265 seconds).
20:43:32 -!- mrohman has joined.
20:44:24 <mrohman> Can you do typechecking for ifs that have differenz return types?
20:45:14 <mrohman> This has two possible return types
20:46:16 <mrohman> (Foo (if p 5 5.0)) is ok if foo accepts ints and doubles
20:46:32 -!- shikhin has joined.
20:49:34 -!- shikhin has quit (Read error: Connection reset by peer).
20:51:25 <mrohman> Of course nested ifs can have 2^n possible return types
20:53:14 <mrohman> I think this can be statically typechecked
20:54:05 <mrohman> (Head (List (if p 5.0 6))) hm...
20:54:56 <mrohman> The type of a list is the union of all element types
20:56:27 <mrohman> This way you can have hetero lists that typecheck statically
20:56:51 -!- shikhin has joined.
20:59:33 -!- shikhin has quit (Read error: Connection reset by peer).
20:59:39 -!- skj3gg has quit (Quit: ZZZzzz…).
21:00:18 <mrohman> You can keep much of dynamic typing style but still have guarantees that no runtime type error can occur
21:07:14 -!- adu has quit (Quit: adu).
21:07:35 -!- shikhin has joined.
21:08:28 -!- shikhin has quit (Read error: Connection reset by peer).
21:09:49 -!- skj3gg has joined.
21:15:46 <mrohman> Is there already a name for such typesystems?
21:32:33 -!- mrohman has quit (Remote host closed the connection).
21:32:35 -!- Lymia has joined.
21:46:17 -!- TieSoul has quit (Read error: Connection reset by peer).
21:52:28 -!- AnotherTest has quit (Remote host closed the connection).
21:56:54 -!- shikhin has joined.
22:07:38 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:11:32 -!- shikhin has quit (Quit: leaving).
22:20:56 -!- myndzi has quit (Excess Flood).
22:21:15 -!- myndzi has joined.
22:22:41 -!- skj3gg has quit (Quit: ZZZzzz…).
22:28:05 -!- skj3gg has joined.
22:33:29 -!- `^_^v has joined.
22:33:57 -!- Sprocklem has quit (Ping timeout: 252 seconds).
22:37:15 -!- hjulle has joined.
23:09:51 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:12:02 -!- skj3gg has quit (Quit: ZZZzzz…).
23:14:39 -!- Tritonio has joined.
23:24:47 -!- oerjan has joined.
23:27:33 <tswett> So I want to make a dependently typed functional programming language that compiles to LLVM IR.
23:27:54 <tswett> It would have proofs and whatnot, of course.
23:28:32 <tswett> But a problem I'm planning to encounter is the "C Turing-completeness problem".
23:28:57 <tswett> In ordinary programming practice, we usually assume that all of the following are true:
23:29:19 <tswett> (1) By calling malloc() sufficiently many times, it is possible to create an arbitrary number of distinct pointers.
23:29:29 <tswett> (2) A pointer can be faithfully converted into an "int".
23:29:35 <tswett> (3) There are only finitely many possible "int"s.
23:36:19 -!- skj3gg has joined.
23:44:57 -!- not^v has joined.
23:47:59 -!- blockzombie has joined.
23:58:43 -!- contrapumpkin has joined.