00:03:52 hmm, it looks like I have the last-but-one version of a few of the files (I configured Emacs to save the last-but-one version of each file I edit in an entirely separate directory tree, to help recover from issues where I accidentally delete an entire directory tree) 00:03:54 but not all of them 00:05:13 I don't understand Nomyx's claim "This is the first complete implementation of a Nomic game on a computer. " 00:05:14 actually, maybe all of them 00:05:18 What about PerlNomic? 00:05:27 and Schemenomic 00:05:50 Sgeo: historical ignorance hth 00:06:21 -!- tromp_ has joined. 00:07:16 would be nice to get the actual latest verison though 00:07:19 ais523: If you have issues like that regularly you have a problem hth 00:07:36 izabera: apparently I don't have a full version on my most recent computer 00:07:46 Sgeo: Lying and false advertising hth 00:07:53 hppavilion[1]: I don't, I back things up regularly; /but/ gcc-bf wasn't included in some of my older backups because disks were smaller back then 00:08:28 we're talking about a project that was last worked on in 2008 00:09:50 and it just wouldn't fit onto the backup disk at the same time as everything else (because for some reason I didn't just backup the diffs against gcc) 00:20:55 -!- augur_ has changed nick to augur. 00:25:42 -!- bb010g has joined. 00:29:14 -!- tromp_ has quit (Remote host closed the connection). 00:34:47 The server my standard fungot load script is trying to use seems to not be answering. 00:35:47 -!- fungot has joined. 00:41:10 fizzie: There's fungot 00:41:10 hppavilion[1]: and when the loop ended 00:41:22 Very deep. 00:41:34 fungot: Y-Y-yes? What happened to her? Did the out-of-memory monster get her? 00:41:34 hppavilion[1]: i'm also running bfbot.) .b.) does not evaluate anything after the... in ( ( fnord 3) is not 00:42:58 A Funge bot running a brainfuck bot inside it. 00:43:06 That's bizarre. 00:43:09 fungot: You're bizarre. 00:43:09 fizzie: every time the fnord came, we thought the government took him out after all. 00:43:19 Bizarre and politically active. 00:51:41 -!- jaboja has joined. 00:56:03 -!- tromp_ has joined. 01:01:34 fungot: o hai! 01:01:34 boily: my complaint of " why don't i unask the question, a moment. 01:08:01 iijm, or has fungot gotten less coherent recently? 01:08:01 hppavilion[1]: for example to be similar to al* petrofsky's proposal for srfis a few years ago 01:08:15 hppavilion[1]: probably a ^style thing 01:08:19 ^style 01:08:19 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 01:08:27 ^style europarl 01:08:27 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 01:08:33 fungot: are you more coherent like this? 01:08:35 ais523: since sweden is not taking this disquiet felt by the various levels of government. it is better than a bad treaty. instead we should be in all of the political problems are resolved and people become more interested in the best position to do so, and then cram everything it wants into its own decision-making process, the status envisaged would also be a condition which must be protected when it is a proposal for a decis 01:12:01 olsner: Sweden does not take disquiet felts. how does that make you feel? 01:12:33 frankly it's a disgrace, but I feel like the problem is out of my hands 01:13:27 no respect for other people's yurt 01:15:46 * oerjan wonders if the pun was too subtle 01:17:01 there was a pun? 01:17:05 * boily pokes shachaf 01:17:13 ouch 01:17:19 shachaf: care to explain please? 01:17:20 more of a mapole than a poke if you ask me 01:17:37 I already mapoled you by accident once. 01:19:22 seriously, just look up "yurt" hth 01:19:40 * oerjan weeps over the dissected body 01:20:08 “A traditional yurt [...] tent [...] felt...” 01:20:16 * boily automapoles himself 01:20:20 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 01:20:39 fascinating 01:21:38 <\oren\> 今ボアリは! 01:22:18 コンボレンは！ 01:24:47 [wiki] [[Talk:NRSRSSOMN]] N https://esolangs.org/w/index.php?oldid=46385 * 50.161.94.113 * (+47) Created page with "What about a NRSRSSOMN-3 with [] instead of ()?" 01:31:20 -!- lynn has quit (Ping timeout: 250 seconds). 01:45:11 -!- jaboja has quit (Remote host closed the connection). 01:57:40 -!- boily has quit (Quit: EQUILATERAL CHICKEN). 02:11:11 -!- heroux_ has joined. 02:11:13 -!- mihow has quit (Quit: mihow). 02:14:26 -!- Sgeo has quit (Ping timeout: 240 seconds). 02:15:30 -!- myname has quit (*.net *.split). 02:15:30 -!- heroux has quit (*.net *.split). 02:15:31 -!- coppro has quit (*.net *.split). 02:15:34 -!- heroux_ has changed nick to heroux. 02:16:11 -!- coppro has joined. 02:16:43 -!- myname has joined. 02:18:54 -!- Sgeo has joined. 02:23:12 -!- Alcest has joined. 02:31:47 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:48:38 -!- Sprocklem has joined. 02:53:46 -!- ais523 has quit (Ping timeout: 240 seconds). 03:12:26 [wiki] [[CASTLE]] https://esolangs.org/w/index.php?diff=46386&oldid=45957 * Quintopia * (+361) /* Examples */ 03:12:52 [wiki] [[CASTLE]] M https://esolangs.org/w/index.php?diff=46387&oldid=46386 * Quintopia * (-2) /* Examples */ 03:13:30 [wiki] [[CASTLE]] M https://esolangs.org/w/index.php?diff=46388&oldid=46387 * Quintopia * (+0) /* Examples */ 03:19:46 -!- hppavilion[1] has joined. 03:20:22 -!- shikhin_ has changed nick to shikhin. 03:25:45 Fueue⁂'s example program works :) 03:26:04 + 20 5 print 03:28:37 [wiki] [[CASTLE]] https://esolangs.org/w/index.php?diff=46389&oldid=46388 * Quintopia * (-15) /* Examples */ 03:31:59 [wiki] [[CASTLE]] https://esolangs.org/w/index.php?diff=46390&oldid=46389 * Quintopia * (+0) /* Examples */ 03:41:57 `unidecode ⁂ 03:42:03 [U+2042 ASTERISM] 03:42:21 hppavilion[1]: now port my bf interpreter hth 04:07:43 https://en.wikipedia.org/wiki/Panda_%28plant%29 04:07:59 oerjan: Port what to where? Fueue⁂? 04:10:45 https://en.wikipedia.org/wiki/Category:Individual_giant_pandas 04:11:13 You know your species is in trouble when it has something like that 04:16:02 https://en.wikipedia.org/wiki/Panda_cow 04:16:56 https://en.wikipedia.org/wiki/Pandas_%28software%29 04:17:37 https://en.wikipedia.org/wiki/Giant_panda#Uses_and_human_interaction 04:17:40 "Uses" 04:21:21 I like pandas suddenly 04:21:45 But not as much as walruses 04:23:07 walruses, the pandas of the sea 04:23:32 oerjan: Port what to where? Fueue⁂? <-- of course 04:23:33 Pretty much 04:27:32 oerjan: Why YOUR brainfuck interpreter? 04:31:42 well you're welcome to write your own BF interpreter in Fueue to port hth 04:32:30 oerjan: Oh, your BF interpreter was written IN fueue? 04:32:45 of course. it's on the wiki page. 04:32:50 Oh 04:32:59 tdh(etydhm) 04:33:33 Somebody should make a non-primitive-recursive acronym 04:33:41 even though you ... 04:34:13 you didn't break the rule against making d mean don't/didn't, did you 04:34:41 (hidden negatives in acronyms are scow) 04:34:48 Yes, yes they are 04:35:03 shachaf: Does your client go off whenever somebody says "scow" 04:35:39 he's a teeny bit idle, me thinks 04:35:46 "Computational Class" in the Fueue article isn't very well-placed 04:35:53 wat 04:36:08 oerjan: Because it's right under your BF interpreter, thus stealing the proof's thunder 04:37:18 well i wrote both so who cares 04:37:38 the proof is probably easier to understand 04:38:12 oerjan: Ah, true, true 04:38:38 and was a prerequisite for understanding how to write the interpreter 04:38:41 -!- Sgeo_ has joined. 04:39:58 Ah 04:40:16 the CPS idea, as well as how to synchronize things 04:40:18 oerjan: I remember somebody saying there was a big argument on the wiki over whether or not a quineless language would be TC 04:40:31 yes 04:40:32 -!- Sgeo has quit (Ping timeout: 276 seconds). 04:40:37 imo it can. 04:41:02 Well sure. Who says the language has any sort of IO capabilities? 04:41:14 because TC doesn't say anything about output needing to be easy to control 04:41:32 A language which cannot output any valid strings which are in that language can still be TC, but certainly won't have quines. 04:41:59 pikhq_: Yes, I agree 04:42:20 oerjan: I was wondering if you knew exactly where that argument was xD 04:42:24 however, if you can translate any IO-using program with the same alphabet to your language, _then_ it must have a quine. 04:42:33 I'm feeling like reading some people being wrong 04:43:25 pikhq_: A language written only using non-unicode characters? 04:43:42 Then, of course, you have the picture-based language 04:43:49 How is THAT Expected to quine? 04:44:10 BTW, the example program for fueue*** is + 20 5 print 04:47:37 dammit, i know the page but it has a unicode name so i don't know how to search for it 04:48:29 http://esolangs.org/wiki/User_talk:Smjg 04:48:58 oh that one too 04:50:22 I figured out a way to represent a C-like language with Regex, I think 04:50:57 Though now that I think about it, nesting may be an... wait, no it isn't 04:52:55 Well, it can half-recognize it, at least 04:54:36 The idea was to use `...` (quotes) instead of matched brackets 04:54:37 depends on your regexes, i think 04:54:54 And nested things are done with backslashes 04:55:25 ...have you looked at /// 04:55:27 CHALLENGE: Write a TC language with an FSM parser 04:55:35 oerjan: Occasionally 04:55:38 you've been here long enough that you must have 04:55:44 It's my favorite URL 04:55:45 oerjan: "Regular expression', surely, not PCRE. :) 04:56:28 does P stand for perl or posix 04:56:30 I would like to see a high-level language based on string substitution ;) 04:56:40 oerjan: P'' 04:56:44 hth 04:58:43 hppavilion[1]: https://esolangs.org/wiki/Jot 04:59:07 oerjan: Yes? 04:59:41 I'm thinking more like Thue or /// 04:59:55 it's parser is trivial hth 05:00:03 i suppose /// too 05:00:36 although sometimes the program halts due to non-matching / 05:01:07 -!- Melvar` has joined. 05:01:08 hm right, Thue probably too... 05:01:28 Ah 05:01:46 oerjan: TC language with a decision tree parser >:) 05:01:48 all of them have no nesting in the grammar afair 05:02:14 (Yes, yes, I know. Almost certainly impossible) 05:02:43 hppavilion[1]: no, it's actually trivial but it's on the page i was trying to find earlier... 05:02:57 Wait, really? 05:03:36 -!- Melvar has quit (Ping timeout: 256 seconds). 05:03:40 I mean I guess the language with the instruction `bf` (interpret brainfuck) has a DT parser... 05:03:58 Debatably 05:04:07 Depends on if you count reparsing 05:04:09 Coparsing? 05:04:22 `unicode SCRIPT CAPITAL L 05:04:28 I know. 05:04:31 ℒ 05:04:53 I visited that page recently 05:04:53 https://esolangs.org/wiki/%E2%84%92 hth 05:05:46 obviously, the one legal program can be parsed with a decision tree 05:06:22 Damn 05:06:25 Anything lower? 05:06:38 I guess the = machine is lower 05:06:42 SKEPTICAL 05:06:46 But still L-complete 05:08:29 oerjan: I suppose the only thing lower than the = machine is the NOPE machien 05:08:32 *machine 05:08:54 OKAY 05:09:41 oerjan: What do you think would be ideal for a high-level Thue? 05:13:20 i think that's an oxymoron. 05:14:29 or maybe that SNOBOL thing i've heard a little about. 05:15:11 i mean, if it's string-based with no structure, how can it be high-level 05:15:36 and if it has structure, then you've got TCL 05:15:40 oerjan: Well, a high-level string substitution-based language 05:15:46 That isn't sed 05:16:21 i suppose you could use a CF-grammar... 05:16:45 to recognize what do substitute. 05:16:57 *to 05:18:01 still feels oxymoronic 05:20:49 oerjan: U callin me a moron, m8? 05:21:29 IMHO, wikipedia shouldn't have citations on mathematics articles. 05:21:40 At least, not in the explanation of what it's all about 05:21:41 U so moronic you don't deserve the oxygen, is wat i'm saying 05:22:00 aND NOW THERE'S A CAT IN THEW AY OF MY SCREEN 05:22:22 Oh, caps lock 05:22:27 inline citations are the Law (TM) 05:22:43 although not so much in the intro. 05:23:00 oerjan: But wikipedia shouldn't NEED citations in mathematics. Math is true whether you cite it or not. 05:23:12 Unless, y'know, the proof is really really long 05:23:14 * oerjan is finally starting to learn how to make them 05:23:21 Like, wikipedia-sized 05:23:42 hppavilion[1]: [citation needed] 05:24:04 -!- Melvar` has quit (Read error: Connection reset by peer). 05:24:12 * oerjan cuts off the oxygen supply to hppavilion[1]'s part of the channel 05:24:16 oerjan: Hitler was a bad person^[citation needed]^[citation needed]^[citation needed]^[citation needed]... 05:24:25 `? #esoteric 05:24:30 #esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across. 05:24:39 -!- Melvar` has joined. 05:24:49 Is it really big enough for air ducts and airtight chambers? 05:26:27 `le/rn #programming/No such channel. See `? #esoteric 05:26:34 Learned «#programming» 05:27:08 hppavilion[1]: https://en.wikipedia.org/wiki/Wikipedia:You_don%27t_need_to_cite_that_the_sky_is_blue 05:27:39 [citation needed] 05:28:11 "Ideally, common sense would always be applied but Wiki-history shows this is unrealistic." 05:28:46 https://en.wikipedia.org/w/index.php?title=Finger&diff=prev&oldid=166357603 05:29:17 oerjan: Somebody needs to blanket that article with [citation needed]s 05:29:26 `? citation 05:29:28 citation? ¯\(°_o)/¯ 05:29:34 `le/rn citation/needed 05:29:39 Learned «citation» 05:29:56 `tomfoolery #esoteric 05:29:58 I must confess, I know not of what you are speaking. 05:30:15 https://en.wikipedia.org/wiki/Wikipedia:You_do_need_to_cite_that_the_sky_is_blue 05:30:32 hppavilion[1]: No, why would it? 05:30:45 shachaf: ? 05:30:49 What are you referring to? 05:31:00 scow 05:31:03 Ah 05:31:06 -!- Melvar`` has joined. 05:31:06 Not sure 05:31:19 My thing alerts me whenever someone says "walrus" 05:31:21 *client 05:31:44 `misle/rn #esoteric/#esoteric is the channel you are currently on, unless HackEgo's spreading. We mostly chat about esolangs, or at least in theory. 05:31:47 Was lied to about «#esoteric» 05:31:52 -!- Melvar` has quit (Ping timeout: 250 seconds). 05:31:53 `? #esoteric 05:31:54 #esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across. 05:32:01 `tomfoolery #esoteric 05:32:02 #esoteric is the channel you are currently on, unless HackEgo's spreading. We mostly chat about esolangs, or at least in theory. 05:32:48 `cat bin/? 05:32:49 #!/bin/sh \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ $ "$topic1" = "ngevd" $ -a $ -e ngevd $ ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat "$topic1" | rnooodl; \ 05:33:05 hm right 05:33:30 `? tom 05:33:31 tom? ¯\(°_o)/¯ 05:33:37 `tomfoolery to 05:33:38 I must confess, I know not of what you are speaking. 05:33:40 `tomfoolery tom 05:33:41 I must confess, I know not of what you are speaking. 05:34:05 `ls tmflry 05:34:06 c++ \ C++ \ cat \ esolang \ esolangs \ #esoteric \ fs \ hth \ mapole \ `mislearn \ random number \ the meaning of life \ tomfoolery \ wisdom 05:34:25 `tomfoolery cat 05:34:26 A cat is an animal with four legs. It's nice to pet, especially when it's a baby cat, called a kitten. Or it's the unix "cat" command. It takes a filename (or many) and prints the contents of that (those) file(s). 05:35:15 `? cat 05:35:16 Cats are cool, but should be illegal. 05:35:29 I thought Cat was the category of categories and functors. 05:35:44 perhaps `le/rn cat/Cats are cool, but should be illelaksjfa;oiesjfaseoiu;AKJDFOAIELKAJOEIU203RUIVMM 05:35:58 Look. 05:36:07 wisdom isn't a database of lies 05:36:08 Looking 05:36:18 Whether something is true is irrelevant. 05:36:26 shachaf: Yes, it is, that's why we created `tomfoolery 05:38:44 -!- bb010g has quit (Quit: Connection closed for inactivity). 05:41:35 "If the alternate proposition merits inclusion in the article under other policies and guidelines it should of course be included, but it should in no way be given greater prominence because it is sourced." 05:41:40 --WIKIPEDIA 05:41:49 , 20SOMETHING 05:55:10 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 06:18:46 so annoying, even googling llvm-bf leads to stuff like https://github.com/nojb/llvm-bf aka brainfuck compilers, not compilers to brainfuck........ 06:20:08 -!- Melvar has joined. 06:22:34 -!- Melvar`` has quit (Ping timeout: 252 seconds). 06:43:31 There is http://www.xanxys.net/hs2bf/ 06:43:47 there's still a problem though 06:44:00 they compiled an alien language to brainfuck 06:45:30 it's p. close to haskell hth 06:45:59 haskell is eye-gouging 06:46:10 -!- tjt263_ has quit (Read error: Connection reset by peer). 06:46:29 * izabera can't learn that 06:47:34 i,i gains kell until end of turn 06:47:42 -!- tjt263_ has joined. 06:48:34 -!- perrier_ has quit (Remote host closed the connection). 06:49:20 Anyway if you don't like Haskell you can use one of its intermediate languages. 06:51:21 -!- perrier_ has joined. 06:53:30 ok let me learn a haskell... 06:54:27 how hard can it be 06:54:35 and btw haskell qualifies as esoteric 07:00:09 <\oren\> nah, there's a a secret syntax allowing you to write it like an imperative language 07:00:24 ;-; liar 07:00:28 -!- lynn has joined. 07:01:20 <\oren\> http://learnyouahaskell.com/input-and-output 07:01:35 <\oren\> scroll down ad see the "do" block. 07:01:49 wait i was still here http://learnyouahaskell.com/starting-out 07:02:12 * oerjan swats \oren\ for sabotaging the assimilation process -----### 07:02:13 * izabera slow reader 07:02:29 -!- tjt263_ has quit (Read error: Connection reset by peer). 07:02:57 what does prelude mean? 07:03:13 Prelude is the default imported module 07:04:07 -!- tjt263_ has joined. 07:04:42 ok so /= is != because we want to be weird so we change != to /= 07:05:14 nah haskell just inherits from a different tradition 07:05:40 of languages that want to be weird so they change != to /= 07:06:37 != is the weird one 07:06:38 How exciting! 07:07:00 What's with "!"? Why does that mean "not"? 07:07:04 != 07:07:04 How exciting! 07:08:16 <\oren\> @hoogle itoa 07:08:17 Graphics.Rendering.OpenGL.GL.PixelRectangles.PixelMap IToA :: PixelMapTarget 07:08:17 Network.HTTP.Base uriToAuthorityString :: URI -> String 07:08:23 <\oren\> idiots 07:08:26 back in 1989 C wasn't the universal syntax it is now 07:08:33 <\oren\> why is there no itoa 07:08:43 > show 10 07:08:45 "10" 07:08:57 <\oren\> @hoogle Int -> String 07:08:58 Test.QuickCheck.Text number :: Int -> String -> String 07:08:58 Test.QuickCheck.Text short :: Int -> String -> String 07:08:58 Language.Haskell.Pretty prettyPrint :: Pretty a => a -> String 07:09:01 because there's a more general function. 07:09:18 :t showIntAtBase 07:09:20 (Integral a, Show a) => a -> (Int -> Char) -> a -> ShowS 07:09:25 :t show 07:09:27 <\oren\> @hoogle String -> Maybe Int 07:09:27 Show a => a -> String 07:09:28 Network.BSD ifNameToIndex :: String -> IO (Maybe Int) 07:09:28 Test.HUnit.Base Label :: String -> Node 07:09:28 Network.CGI.Protocol maybeRead :: Read a => String -> Maybe a 07:09:55 <\oren\> @hoogle String -> Int 07:09:55 Test.HUnit.Base Label :: String -> Node 07:09:55 Test.QuickCheck.Test labelPercentage :: String -> State -> Int 07:09:55 Prelude error :: [Char] -> a 07:10:02 -!- tromp_ has quit (Remote host closed the connection). 07:10:16 <\oren\> whar is mai scanf? 07:12:01 > read "10" :: Int 07:12:03 10 07:12:39 <\oren\> @t read 07:12:40 Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . 07:12:52 <\oren\> :t read 07:12:53 Read a => String -> a 07:13:00 <\oren\> cool 07:13:49 <\oren\> > read Int "10" 07:13:51 Not in scope: data constructor ‘Int’ 07:13:51 Perhaps you meant one of these: 07:13:51 ‘In’ (imported from Lambdabot.Plugin.Haskell.Eval.Trusted), 07:14:27 <\oren\> @lambdabot you liar 07:14:27 Unknown command, try @list 07:15:00 <\oren\> > Read Int "10" 07:15:02 Not in scope: data constructor ‘Read’ 07:15:02 Perhaps you meant one of these: 07:15:02 variable ‘read’ (imported from Prelude), 07:15:14 <\oren\> > (Read Int) "10" 07:15:16 Not in scope: data constructor ‘Read’ 07:15:17 Perhaps you meant one of these: 07:15:17 variable ‘read’ (imported from Prelude), 07:15:41 <\oren\> rrgh how do i pass a type into read 07:16:18 <\oren\> > read 10 07:16:21 Could not deduce (Num String) arising from the literal ‘10’ 07:16:21 from the context (Read a) 07:16:21 bound by the inferred type of it :: Read a => a 07:16:24 <\oren\> > read "10" 07:16:27 *Exception: Prelude.read: no parse 07:16:42 <\oren\> wait what 07:16:51 seeing an experienced programmer struggling with this is pretty depressing 07:16:57 <\oren\> > read "10" :: Int 07:16:59 10 07:17:01 <\oren\> OH 07:17:09 <\oren\> :: isn't a comment marker 07:17:34 <\oren\> it's how you pass a type to something 07:17:58 <\oren\> > read :: Int "10" 07:17:59 ‘Int’ is applied to too many type arguments 07:18:00 In an expression type signature: Int "10" 07:18:00 In the expression: read :: Int "10" 07:18:13 <\oren\> > (read :: Int) "10" 07:18:15 Couldn't match expected type ‘[Char] -> t’ with actual type ‘Int’ 07:18:15 The function ‘read :: Int’ is applied to one argument, 07:18:15 but its type ‘Int’ has none 07:18:48 <\oren\> > (read :: (String -> Int)) "10" 07:18:51 10 07:18:54 <\oren\> AHA 07:19:41 <\oren\> so I'll just readInt = read :: (String -> Int) 07:19:54 <\oren\> > readInt = read :: (String -> Int) 07:19:57 :1:9: parse error on input ‘=’ 07:20:05 <\oren\> > readInt <- read :: (String -> Int) 07:20:07 : 07:20:07 not an expression: ‘readInt <- read :: (String -> Int)’ 07:20:20 <\oren\> GRR 07:20:32 \oren\: @let if you want it persistently, otherwise let { ... } in 07:21:04 <\oren\> > let { readInt = read :: (String -> Int) } in {readInt "10"} 07:21:06 :1:1: 07:21:06 parse error in let binding: missing expression after 'in' 07:21:20 <\oren\> > let { readInt = read :: (String -> Int) } in readInt "10" 07:21:22 10 07:21:33 yes, although there should be a semicolon before the close brace 07:21:37 but it's optional 07:22:40 even the braces are optional 07:23:08 yes, but that's evil 07:23:14 and can lead to ambiguities and stuff 07:23:19 don't leave them off 07:23:23 not with let ... in ... 07:23:48 i almost never need braces for one-liners 07:23:52 <\oren\> If i do `` return read s '' from a function declared to return an Int, will it know automatically? 07:24:18 does ghci use readline? 07:24:21 it's a matter of style, but I hate the Haskell indenting rules, so I always write the braces 07:24:22 except that's not what you use return for in haskell 07:24:34 izabera: oh, good question, that reminds me, 07:24:34 izabera: it uses a readline clone called haskeline 07:24:51 for gnuplot on windows, how do you ask it not to use readline even if it's started interactively? 07:24:59 which is BSD licensed or such 07:25:10 (or whatever readline-like library it uses) 07:25:17 (maybe editline) 07:25:36 wait, I should ask #gnuplot 07:25:40 bsd3 it seems http://hackage.haskell.org/package/haskeline 07:25:50 * izabera glad it supports vi bindings 07:26:44 Maybe I should redirect its stdin. 07:27:43 like cat | gnuplot 07:27:46 I'll try that 07:27:59 didn't you say windows? 07:29:39 -!- atehwa has joined. 07:30:00 izabera: oh by coincidence i just found this tip http://trac.haskell.org/haskeline/wiki/UsingTmux 07:30:09 er 07:30:19 just in case you're also using tmux 07:30:29 wasn't using tmux right now but thanks :p 07:31:04 > drop (1 `drop` [1,2] !! 0) "abcde" -- behold my haskell mastery 07:31:06 "cde" 07:31:15 \oren\: return in haskell is deceptively named for people used to other languages. 07:31:26 izabera: fancy 07:31:47 ikr 07:35:37 does 'a'..'z' use my current locale or is it always ascii? 07:35:43 -!- tjt263_ has quit (Read error: Connection reset by peer). 07:35:46 > 1 `drop` [1,2] !! 0 `drop` "abcde" 07:35:48 "cde" 07:35:51 izabera: always ascii 07:35:56 disappointed 07:36:43 > 'è' 07:36:45 '\232' 07:36:46 ew 07:36:59 > var "è" 07:37:01 è 07:37:44 how is having always the same result disappointing? 07:37:55 izabera: quoted chars and strings are in portable format. 07:37:57 -!- tjt263_ has joined. 07:38:14 (as _should_ everything given by show) 07:38:56 however, putStr will use locale, i think. 07:38:59 > '乐' 07:39:01 '\20048' 07:39:06 that's awful.. 07:39:09 (that isn't available in lambdabot though) 07:39:42 izabera: try putStr "\20048" in GHCi 07:39:56 that's not the point 07:40:05 what is? 07:40:31 nothing -.- 07:40:47 well 07:41:31 i see, you are very open towards things you do not know 07:41:47 izabera: it would be dangerous for the meaning of expressions to change with locale, because laziness means they might not be evaluated when you think 07:42:19 also, it wouldn't be purd 07:42:19 myname: i'm open, otherwise i wouldn't be reading this thing 07:42:33 so what if you used setEncoding in between (although that takes a file handle anyway) 07:42:37 um 07:42:44 @hoogle hSetEncoding 07:42:46 System.IO hSetEncoding :: Handle -> TextEncoding -> IO () 07:42:46 GHC.IO.Handle hSetEncoding :: Handle -> TextEncoding -> IO () 07:42:52 what is @hoogle? 07:43:02 haskell api search by type 07:43:07 (also name) 07:43:11 is that an official name? 07:43:19 yes. 07:43:19 it is 07:43:32 <\oren\> oerjan: can I define a monad in which it does the correc thing? 07:43:48 ah the dwim monad 07:43:55 \oren\: in which what does what? 07:43:55 what is the "correct" thing? 07:44:10 <\oren\> in which "return" returns from the funtion 07:44:31 how is that the correct thing? 07:44:35 izabera: there's also hayoo :P 07:44:52 <\oren\> myname: uh. how could it not be 07:45:11 because monad laws say otherwise 07:45:53 <\oren\> monad laws don't overrule 60 years of programming convention 07:46:05 obviously, they do 07:46:13 \oren\: use "pure" instead of "return" hth 07:46:25 <\oren\> not if I write a monad in which it doesn't 07:46:44 everyone agrees return was a stupid name for the thing 07:46:51 in afterthought 07:48:40 > cycle "die lambdabot die" 07:48:42 "die lambdabot diedie lambdabot diedie lambdabot diedie lambdabot diedie lam... 07:48:54