00:02:21 | PMunch | Isn't that basically what the bootstrap script does? |
00:10:05 | PMunch | Araq: github.com/nim-lang/Nim/pull/5001 |
00:10:59 | Araq | told ya it's simple |
00:11:57 | PMunch | Yeah, three lines changed or something like that :P |
00:14:40 | Araq | could've used a for loop |
00:15:14 | FromGitter | <ephja> what is this, 1990? ;) |
00:15:46 | PMunch | Yeah, problem was that it starts with element 1. So I would have to slice it first |
00:22:56 | FromGitter | <ephja> for i in 1 .. params.high (params.len - 1)? |
00:23:19 | FromGitter | <ephja> <params.high ;) |
00:23:40 | PMunch | Dur, didn't even think of that :P |
00:23:47 | PMunch | I 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:29 | lg_ | 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:02 | yglukhov_ | 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:59 | euantor | Out 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:17 | flyx | euantor: the streams API is buffering file I/O |
10:44:00 | euantor | flyx: 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:16 | euantor | Could be a potential cause for some confusion I would reckon |
10:44:29 | flyx | why? |
10:45:37 | euantor | The 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:03 | euantor | Again, coming from C# as I do everything IO based is a stream pretty much |
10:46:16 | FromGitter | <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:58 | flyx | I think the reason is that the streams API is for text input while sockets are for bytes input. |
10:47:32 | flyx | but 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:46 | FromGitter | <endragor> flyx: no, streams are for byte streams |
10:48:21 | euantor | And everything returns strings anyway which makes that distinction non-obvious |
10:48:47 | FromGitter | <endragor> true |
10:49:02 | flyx | which 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:45 | cheatfate | endragor: what does it mean streams are for byte streams? |
10:53:01 | FromGitter | <endragor> cheatfate: well, procs like `readInt16` and other stuff for working with binary data is definitely not for text streams |
10:53:46 | FromGitter | <endragor> by “streams” I meant `streams` module |
10:54:30 | cheatfate | endragor: yeah i see, but `readLine` is for text only |
10:55:31 | cheatfate | endragor: imho `streams` must be renamed, because it just have bunch of functions which uses `buffer` |
10:56:29 | cheatfate | endragor: and for `readInt16` buffer is not really needed |
11:00:11 | * | GustavoLapasta joined #nim |
11:01:48 | FromGitter | <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:48 | FromGitter | ... buffered data stream over any IO (socket, file, anything). |
11:04:51 | cheatfate | endragor: yup it will be nice |
11:08:04 | euantor | Yes, 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:52 | gokr | Regarding 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:23 | FromGitter | <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:55 | cheatfate | endragor: can you make some kind of abstract scheme of future streams api? |
13:46:58 | * | ofelas joined #nim |
13:51:08 | cheatfate | and i think main problem of any initiatives on streams - it can break many other things |
13:52:01 | cheatfate | but 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:52 | Araq | I don't understand the initial question, as others said, both sockets and files are buffered. |
14:43:13 | Araq | we use C's buffering for files and cannot do the same for sockets though |
14:43:26 | euantor | AH, that's probably the thing I'm missing |
14:43:42 | euantor | Because Socket has an obvious buffer, but File doesn't |
14:43:45 | Araq | and 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:06 | couven92 | Hmm... 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:21 | FromGitter | <ephja> can parser generators be used for code completion? |
15:47:20 | * | euantor joined #nim |
15:47:40 | Araq | not in any interesting sense |
15:47:53 | * | Snircle joined #nim |
15:47:56 | * | pigmej joined #nim |
15:48:36 | Araq | you could code complete 'if' to 'if ... elif elif ... else' but most code completion comes from type analysis |
15:51:44 | FromGitter | <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:17 | Araq | write your compiler to be able to deal with incomplete code |
16:13:16 | Araq | yes, 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:16 | LtpjoUdZ | https://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) |