<< 07-11-2016 >>
00:02:21PMunchIsn't that basically what the bootstrap script does?
00:10:05PMunchAraq: github.com/nim-lang/Nim/pull/5001
00:10:59Araqtold ya it's simple
00:11:57PMunchYeah, three lines changed or something like that :P
00:14:40Araqcould've used a for loop
00:15:14FromGitter<ephja> what is this, 1990? ;)
00:15:46PMunchYeah, problem was that it starts with element 1. So I would have to slice it first
00:22:56FromGitter<ephja> for i in 1 .. params.high (params.len - 1)?
00:23:19FromGitter<ephja> <params.high ;)
00:23:40PMunchDur, didn't even think of that :P
00:23:47PMunchI was thinking for param in params:
00:26:29*PMunch quit (Quit: leaving)
01:00:52*brson quit (Quit: leaving)
02:21:18*ARCADIVS joined #nim
02:34:38*chemist69 quit (Ping timeout: 250 seconds)
02:35:39*Snircle quit (Quit: Textual IRC Client: www.textualapp.com)
02:49:01*chemist69 joined #nim
03:20:18*dmi0 quit (Ping timeout: 250 seconds)
03:49:43*gangstacat quit (Quit: Ĝis)
03:51:17*gangstacat joined #nim
04:24:34*maattdd3 joined #nim
04:26:16*yglukhov joined #nim
04:26:36*maattdd2 quit (Ping timeout: 260 seconds)
04:30:48*yglukhov quit (Ping timeout: 260 seconds)
04:44:52*yglukhov joined #nim
04:49:08*yglukhov quit (Ping timeout: 250 seconds)
05:14:52*couven92 quit (Quit: Client disconnecting)
05:27:28*zaquest quit (Ping timeout: 268 seconds)
05:50:15*maattdd4 joined #nim
05:53:08*maattdd3 quit (Ping timeout: 265 seconds)
06:12:36*gangstacat quit (Ping timeout: 250 seconds)
06:20:04*gangstacat joined #nim
06:21:21*nsf joined #nim
06:49:01*aFrigginElf joined #nim
06:54:36*aFriginElf joined #nim
06:55:56*aFrigginElf quit (Ping timeout: 250 seconds)
07:23:01*bjz joined #nim
07:28:44*zaquest joined #nim
07:37:39*bjz quit (Read error: Connection reset by peer)
07:38:29lg_Is it possible to locate library source by its name using nimsuggest? finding definition (of library name) does not yield any results
07:41:08*maattdd joined #nim
07:43:37*maattdd4 quit (Ping timeout: 244 seconds)
07:51:46*bjz joined #nim
07:58:51*gokr joined #nim
08:02:37*yglukhov joined #nim
08:05:52*yglukhov quit (Read error: Connection reset by peer)
08:05:52*yglukhov_ joined #nim
08:23:19*Trustable joined #nim
08:26:29*brechtm joined #nim
08:28:46*bjz quit (Ping timeout: 265 seconds)
08:28:52*bjz_ joined #nim
08:28:59*bjz_ quit (Client Quit)
08:40:52*Andris_zbx joined #nim
08:41:02*Andris_zbx quit (Client Quit)
08:42:46*Andris_zbx joined #nim
08:52:31*PMunch joined #nim
09:06:15*byte512 joined #nim
09:06:26*PMunch quit (Quit: leaving)
09:07:45*bjz joined #nim
09:09:06*aFriginElf quit (Read error: Connection reset by peer)
09:14:17*bjz quit (Ping timeout: 252 seconds)
09:14:43*bjz_ joined #nim
09:32:02yglukhov_was bootstrap.sh removed?
09:35:35*brechtm quit (Read error: Connection reset by peer)
09:35:41*brechtm_ joined #nim
09:39:40*desophos quit (Read error: Connection reset by peer)
09:42:21*PMunch joined #nim
10:09:28*byte512 quit (Ping timeout: 256 seconds)
10:11:49*Arrrr joined #nim
10:12:59euantorOut of interest, why was buffering added for sockets but seemingly not for files *unless I'm missing something)? In my opinion Go's approach actually makes sense here (with `bufio` wrapping an IO object such as a socket or file handle to provide buffering) and should be fairly easy to replicate
10:42:17flyxeuantor: the streams API is buffering file I/O
10:44:00euantorflyx: Yep, but then the Socket type also has a buffer: https://github.com/nim-lang/Nim/blob/devel/lib/pure/net.nim#L122
10:44:16euantorCould be a potential cause for some confusion I would reckon
10:44:29flyxwhy?
10:45:37euantorThe fact that it's built into sockets, but if I want to use buffering with files, I import the streams module. It would make more sense if you could have a `SocketStream` or something to wrap the socket like you do with file streams
10:46:03euantorAgain, coming from C# as I do everything IO based is a stream pretty much
10:46:16FromGitter<endragor> euantor: lack of abstraction is something that goes through the whole stdlib at the moment. I hope @dom96 changes that during his planned stdlib revamp.
10:46:58flyxI think the reason is that the streams API is for text input while sockets are for bytes input.
10:47:32flyxbut I agree that it could be merged. we hat a discussion about strings being utf-8 versus being byte sequences some time ago.
10:47:46FromGitter<endragor> flyx: no, streams are for byte streams
10:48:21euantorAnd everything returns strings anyway which makes that distinction non-obvious
10:48:47FromGitter<endragor> true
10:49:02flyxwhich is exactly why we discussed it
10:49:22*bjz_ quit (Ping timeout: 268 seconds)
10:49:33*bjz joined #nim
10:49:57*flyx would like to have a clear distinction type-wise, but I don't think that will happen
10:51:45cheatfateendragor: what does it mean streams are for byte streams?
10:53:01FromGitter<endragor> cheatfate: well, procs like `readInt16` and other stuff for working with binary data is definitely not for text streams
10:53:46FromGitter<endragor> by “streams” I meant `streams` module
10:54:30cheatfateendragor: yeah i see, but `readLine` is for text only
10:55:31cheatfateendragor: imho `streams` must be renamed, because it just have bunch of functions which uses `buffer`
10:56:29cheatfateendragor: and for `readInt16` buffer is not really needed
11:00:11*GustavoLapasta joined #nim
11:01:48FromGitter<endragor> well yeah it intermixes several things that could be separated and more cleanly abstracted, I don’t argue with that. I like how Java does that (C# probably too, but I mostly worked with Java). There are IO streams, that can be wrapped into each other and provide different capabilities that way. DataStream provides functions like `readInt16`, BufferedStream provides buffering for any IO. You wrap BufferedStream into DataStream and get a
11:01:48FromGitter... buffered data stream over any IO (socket, file, anything).
11:04:51cheatfateendragor: yup it will be nice
11:08:04euantorYes, that's what I'd like too
11:16:34*ARCADIVS quit (Quit: ARCADIVS)
11:22:59*PMunch quit (Quit: leaving)
11:25:13*djellemah_ joined #nim
11:28:02*PMunch joined #nim
11:30:59*elrood joined #nim
11:50:50*arnetheduck joined #nim
11:52:42*GustavoLapasta quit (Quit: Leaving)
12:01:38*djellemah_ quit (Quit: Leaving)
12:02:12*Snircle joined #nim
12:07:43*bjz quit (Ping timeout: 252 seconds)
12:10:28*bjz joined #nim
12:10:42*Arrrr quit (Quit: WeeChat 1.5)
12:46:33*brechtm joined #nim
12:47:37*dmi0 joined #nim
12:49:57*brechtm_ quit (Ping timeout: 260 seconds)
12:53:50*couven92 joined #nim
13:02:46*flaviu joined #nim
13:07:05*flaviu quit (Remote host closed the connection)
13:11:54*bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
13:12:52gokrRegarding the factorisation with BufferedStream, YaddaStream etc - over everything "streamlike". I am torn on that. I don't really appreciate the complexity it brings. The code needed to read a file or whatever gets silly. Also, in Squeak I rewrote the SocketStream class and did lots of smart optimizations and other tricks since I could operate directly on the buffer. I would personally like a more direct select few choices of types. There a
13:20:04*couven92 quit (Read error: Connection reset by peer)
13:23:37*couven92 joined #nim
13:35:23FromGitter<endragor> what kind of complexity does it bring? In Nim that would look like: ⏎ ⏎ ```code paste, see link``` ⏎ ⏎ With streamlike approach you can make MyBufferedStream where you directly operate on the buffer the way you want. The good thing is that an existing library that works with streams will work with your super-smart stream, too. [https://gitter.im/nim-lang/Nim?at=5820831a6cb720763047ba00]
13:39:06*brechtm quit (Remote host closed the connection)
13:39:46*brechtm joined #nim
13:42:28*vlad1777d joined #nim
13:46:55cheatfateendragor: can you make some kind of abstract scheme of future streams api?
13:46:58*ofelas joined #nim
13:51:08cheatfateand i think main problem of any initiatives on streams - it can break many other things
13:52:01cheatfatebut asyncstreams niche is still empty so we can make asyncstreams api more comprehensive
14:10:13*vlad1777d quit (Ping timeout: 260 seconds)
14:14:53*vlad1777d joined #nim
14:27:33*Snircle quit (Quit: Textual IRC Client: www.textualapp.com)
14:42:52AraqI don't understand the initial question, as others said, both sockets and files are buffered.
14:43:13Araqwe use C's buffering for files and cannot do the same for sockets though
14:43:26euantorAH, that's probably the thing I'm missing
14:43:42euantorBecause Socket has an obvious buffer, but File doesn't
14:43:45Araqand using C's buffering came with its own set of problems
15:10:49*kulelu88 joined #nim
15:17:58*nsf quit (Quit: WeeChat 1.6)
15:19:16*ofelas quit (Remote host closed the connection)
15:20:58*ofelas joined #nim
15:22:24*xet7 quit (Quit: Leaving)
15:24:38*planhths joined #nim
15:27:06couven92Hmm... appearently, NVIDIA figures that it is a good idea to display GRUB on the HTC Vive VR display... When PMunch sitting next to me suddenly says: "Oooh, it's Virtual Relaity GRUB!"
15:29:41*clearcut joined #nim
15:37:23*libman joined #nim
15:41:55*jtremback___ joined #nim
15:42:27*jtremback__ quit (Ping timeout: 250 seconds)
15:42:28*pigmej quit (Ping timeout: 250 seconds)
15:42:30*euantor quit (Ping timeout: 250 seconds)
15:42:31*zielmicha_ quit (Ping timeout: 250 seconds)
15:43:20*tstm quit (Ping timeout: 250 seconds)
15:45:12*zielmicha_ joined #nim
15:45:13*reuf_ joined #nim
15:45:22*clearcut quit (Quit: Leaving)
15:45:53*reuf_ quit (Read error: Connection reset by peer)
15:46:21FromGitter<ephja> can parser generators be used for code completion?
15:47:20*euantor joined #nim
15:47:40Araqnot in any interesting sense
15:47:53*Snircle joined #nim
15:47:56*pigmej joined #nim
15:48:36Araqyou could code complete 'if' to 'if ... elif elif ... else' but most code completion comes from type analysis
15:51:44FromGitter<ephja> the main concern I had was that of applying heuristics in case of incomplete code during editing
15:54:28*tstm joined #nim
15:55:45*xet7 joined #nim
16:12:17Araqwrite your compiler to be able to deal with incomplete code
16:13:16Araqyes, that's what Nim does for 'nimsuggest' support. it helps to design it upfront for such scenario but even if you retrofit it the results are better than a pile of hacks
16:16:20*gokr quit (Ping timeout: 260 seconds)
16:23:11*byte512 joined #nim
16:37:13*arnetheduck quit (Ping timeout: 260 seconds)
16:41:01*brechtm quit ()
16:41:28*brechtm joined #nim
16:45:20*pregressive joined #nim
16:49:53*kulelu88 quit (Quit: Leaving)
16:50:06*couven92 quit (Ping timeout: 256 seconds)
16:54:10*couven92 joined #nim
17:01:22*desophos joined #nim
17:09:55*zaquest quit (Quit: Leaving)
17:26:06*Dankrad joined #nim
17:52:19*Andris_zbx quit (Remote host closed the connection)
17:54:37*yglukhov joined #nim
17:57:56*yglukhov_ quit (Ping timeout: 244 seconds)
17:58:47*yglukhov_ joined #nim
17:58:58*yglukhov quit (Ping timeout: 244 seconds)
18:00:58*yglukhov joined #nim
18:03:19*yglukhov_ quit (Ping timeout: 256 seconds)
18:05:32*yglukhov quit (Ping timeout: 260 seconds)
18:09:06*LtpjoUdZ joined #nim
18:09:16LtpjoUdZhttps://www.youtube.com/watch?v=3EsJLNGVJ7E & https://wikileaks.org/podesta-emails/emailid/15893, https://wikileaks.org/podesta-emails/emailid/23561, http://www.reuters.com/article/us-usa-election-foundation-idUSKBN12Z2SL & https://wikileaks.org/podesta-emails/emailid/3774 (ctrl+f qatar) - please don't let these be buried
18:09:28*LtpjoUdZ left #nim (#nim)
18:25:51*nsf joined #nim
18:26:30*Trustable quit (Remote host closed the connection)
18:29:56*brson joined #nim
18:34:28*yglukhov joined #nim
18:38:42*yglukhov quit (Ping timeout: 258 seconds)
18:41:50*PMunch quit (Quit: leaving)
18:45:02*couven92 quit (Quit: Client disconnecting)
18:48:05*pregressive quit (Read error: Connection reset by peer)
18:48:31*pregressive joined #nim
18:51:20*gokr joined #nim
18:53:25*xet7 quit (Quit: Leaving)
18:54:19*xet7 joined #nim
19:05:44*yglukhov joined #nim
19:09:06*yglukhov quit (Remote host closed the connection)
19:09:17*yglukhov joined #nim
19:20:46*brechtm_ joined #nim
19:22:37*brechtm_ quit (Remote host closed the connection)
19:23:13*brechtm_ joined #nim
19:23:56*brechtm quit (Ping timeout: 258 seconds)
19:26:47*brechtm joined #nim
19:27:20*brechtm_ quit (Ping timeout: 246 seconds)
19:35:41*gokr quit (Ping timeout: 256 seconds)
19:37:01*couven92 joined #nim
19:39:10*brechtm quit (Remote host closed the connection)
19:40:20*brechtm joined #nim
19:58:17*qwertfisch is now known as qwertdevil
19:58:55*GustavoLapasta joined #nim
20:03:51*tinAndi joined #nim
20:06:44*pregressive quit ()
20:12:21*qwertdevil is now known as qwertfisch
20:14:07*pregressive joined #nim
20:17:40*planhths quit (Ping timeout: 260 seconds)
20:24:04*gokr joined #nim
20:38:50*dmi0 quit (Ping timeout: 250 seconds)
20:42:31*brechtm_ joined #nim
20:44:53*brechtm quit (Ping timeout: 248 seconds)
20:49:35*Trustable joined #nim
20:58:26*bjz joined #nim
21:00:29*cheatfate quit (Ping timeout: 252 seconds)
21:03:13*gangstacat quit (Ping timeout: 260 seconds)
21:05:32*gangstacat joined #nim
21:11:03*planhths joined #nim
21:18:06*cheatfate joined #nim
21:20:13*bjz_ joined #nim
21:21:27*bjz quit (Ping timeout: 268 seconds)
21:28:52*cheatfate quit (Read error: Connection reset by peer)
21:28:58*cheatfate_ joined #nim
21:31:30*tinAndi quit (Quit: ChatZilla 0.9.92 [Firefox 49.0.2/20161019084923])
21:34:39*cheatfate_ quit (Read error: Connection reset by peer)
21:34:45*cheatfate__ joined #nim
21:35:33*cheatfate__ quit (Read error: Connection reset by peer)
21:35:39*cheatfate_ joined #nim
21:38:50*bjz_ quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
21:50:51*cheatfate_ is now known as cheatfte
21:50:58*cheatfte is now known as cheatfate
22:12:34*adeohluwa joined #nim
22:13:29*xet7 quit (Quit: Leaving)
22:16:15*PMunch joined #nim
22:20:54*Jesin quit (Quit: Leaving)
22:23:12*nsf quit (Quit: WeeChat 1.6)
22:23:31*brechtm_ quit (Remote host closed the connection)
22:24:32*yglukhov quit (Remote host closed the connection)
22:27:19*dmi0 joined #nim
22:28:34*Trustable quit (Remote host closed the connection)
22:29:05*GustavoLapasta quit (Quit: Leaving)
22:31:15*yglukhov_ joined #nim
22:33:50*yglukho__ joined #nim
22:35:37*yglukhov_ quit (Ping timeout: 260 seconds)
22:38:09*yglukho__ quit (Ping timeout: 256 seconds)
22:40:52*kunev quit (Ping timeout: 256 seconds)
22:40:59*Dankrad quit (Ping timeout: 256 seconds)
22:42:47*kunev joined #nim
22:43:59*planhths quit (Quit: Konversation terminated!)
22:53:58*yglukhov joined #nim
22:56:07*adeohluwa quit (Remote host closed the connection)
22:58:11*yglukhov quit (Ping timeout: 252 seconds)
23:11:20*pregressive quit (Remote host closed the connection)
23:11:53*pregressive joined #nim
23:16:46*pregressive quit (Ping timeout: 268 seconds)
23:26:25*gokr quit (Ping timeout: 252 seconds)
23:28:00*desophos quit (Ping timeout: 260 seconds)
23:28:12*yglukhov joined #nim
23:32:33*yglukhov quit (Ping timeout: 256 seconds)
23:43:24*PMunch quit (Quit: leaving)
23:46:22*couven92 quit (Ping timeout: 268 seconds)