<< 12-09-2015 >>

00:20:30*lyro quit (Ping timeout: 272 seconds)
00:25:10*lyro joined #nim
00:49:54*jaco60 quit (Ping timeout: 246 seconds)
00:51:44*kilon quit (Read error: Connection reset by peer)
00:52:25*kilon joined #nim
00:58:52*Demon_Fox quit (Quit: Leaving)
00:59:12*Demon_Fox joined #nim
00:59:37*Demon_Fox quit (Remote host closed the connection)
01:02:45*Demon_Fox joined #nim
01:03:20*^aurora^ quit (Quit: My Mac has gone to sleep. ZZZzzz…)
01:10:06*yglukhov joined #nim
01:13:39*Demos joined #nim
01:14:22*BitPuffin|osx quit (Ping timeout: 244 seconds)
01:14:27Demosyo dom96, what is the solution for nimble on 64bit windows, there don't seem to be 64bit openssl libraries available, can one disable ssl (I recall there being a compile switch to do this but I forget what it was)
01:14:35*yglukhov quit (Ping timeout: 264 seconds)
01:18:07*keyle joined #nim
01:45:10*chemist69 joined #nim
01:48:21*Demos quit (Ping timeout: 246 seconds)
01:48:47*chemist69_ quit (Ping timeout: 264 seconds)
01:54:56*keyle quit (Quit: http://twitter.com/keyle/)
01:56:15*Demos joined #nim
02:04:48*Demos quit (Ping timeout: 246 seconds)
02:11:37*yglukhov joined #nim
02:11:54*Demos joined #nim
02:16:24*yglukhov quit (Ping timeout: 272 seconds)
02:48:34*vendethiel joined #nim
02:57:44*Demos quit (Ping timeout: 244 seconds)
03:12:42*vendethiel quit (Ping timeout: 255 seconds)
03:13:23*Demos joined #nim
03:18:18*Demos quit (Ping timeout: 246 seconds)
03:21:09*Demos joined #nim
03:26:40*Demos quit (Ping timeout: 244 seconds)
03:39:39*Demon_Fox quit (Ping timeout: 246 seconds)
03:40:12*Demon_Fox joined #nim
03:46:00*Demon_Fox quit (Ping timeout: 264 seconds)
03:46:32*Demon_Fox joined #nim
04:14:11*darkf joined #nim
04:49:44*yymoto2 joined #nim
05:31:04*vendethiel joined #nim
05:45:16*yglukhov joined #nim
05:49:59*yglukhov quit (Ping timeout: 256 seconds)
05:56:13*vendethiel quit (Ping timeout: 256 seconds)
05:57:27*yymoto2 quit (Ping timeout: 250 seconds)
06:14:32*Ven joined #nim
06:20:37*lokulin quit (Changing host)
06:20:38*lokulin joined #nim
06:22:12*bjz joined #nim
06:33:35*gokr joined #nim
06:41:07*Ven quit (Quit: My MacBook has gone to sleep. ZZZzzz…)
07:10:32*Demon_Fox quit (Quit: Leaving)
07:18:04*Mat4 joined #nim
07:19:31*Mat4 quit (Client Quit)
07:22:20*Demos joined #nim
07:27:57*Demos quit (Ping timeout: 244 seconds)
07:33:53*smodo joined #nim
07:36:13*xcombelle joined #nim
07:36:36*NimBot joined #nim
07:41:18*Kingsquee quit (Ping timeout: 272 seconds)
07:44:38*Kingsquee joined #nim
08:03:18*enamex joined #nim
08:07:08*^aurora^ joined #nim
08:10:22*Demon_Fox joined #nim
08:16:41*yglukhov joined #nim
08:21:34*yglukhov quit (Ping timeout: 268 seconds)
08:23:00*xcombelle quit (Remote host closed the connection)
08:30:23*EXetoC joined #nim
08:38:49*xet7_ quit (Remote host closed the connection)
08:39:36*xet7_ joined #nim
08:57:44Araqmoin dom96
08:59:21*Ven joined #nim
09:02:35*gokr quit (Quit: Leaving.)
09:02:42*gokr joined #nim
09:11:18*^aurora^ quit (Quit: My Mac has gone to sleep. ZZZzzz…)
09:11:44VarriountHi Araq
09:11:52NimBotnim-lang/Nim devel 3959a59 Araq [+0 ±1 -0]: documented void context
09:11:52NimBotnim-lang/Nim devel a878550 Araq [+0 ±2 -0]: minor testsuite cleanup
09:11:52NimBotnim-lang/Nim devel afc891d Araq [+1 ±2 -0]: fixes #1528
09:11:52NimBotnim-lang/Nim devel 1562f74 Araq [+0 ±3 -0]: implicit return types for iterators are now deprecated
09:11:52NimBot2 more commits.
09:12:34Araqmoin Varriount
09:18:22*gokr quit (Quit: Leaving.)
09:25:28*Demon_Fox quit (Quit: Leaving)
09:26:09*enamex quit (Ping timeout: 246 seconds)
09:30:54*enamex joined #nim
09:35:54*^aurora^ joined #nim
09:40:48*boopsiesisaway is now known as boopsies
09:43:02*bjz quit (Max SendQ exceeded)
09:48:10*gokr joined #nim
09:49:00*Ven quit (Quit: My MacBook has gone to sleep. ZZZzzz…)
09:49:47*bjz joined #nim
09:58:16*bjz quit (Max SendQ exceeded)
10:05:20*bjz joined #nim
10:18:09*yglukhov joined #nim
10:22:48*yglukhov quit (Ping timeout: 272 seconds)
10:26:42*bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
10:28:09*bjz joined #nim
10:33:38*gokr quit (Quit: Leaving.)
10:34:56*Matthias247 joined #nim
10:39:03Araqoh yay I broke NimScript ... ffs
10:42:58enamexHow much type erasure does Nim do currently? Any posts/threads about that? (am interested in the same question as understood and answered by different languages. So, here, you take "type erasure" to mean precisely what you'd want it to mean in Nim)
10:44:49Araqthere is no type erasure. However, the typing is weakened for the good meta programming support (template a(x: untyped))
10:46:55Araqultimately everything is typed though and there is no "fallback" to any kind of top type (Java's Object)
10:47:02*jaco60 joined #nim
10:48:25*vendethiel joined #nim
10:54:23*Trustable joined #nim
11:10:28*Demon_Fox joined #nim
11:12:11*vendethiel quit (Ping timeout: 264 seconds)
11:16:39*Kingsquee quit (Quit: http://i.imgur.com/EsXzoum.png)
11:16:42*^aurora^ quit (Quit: My Mac has gone to sleep. ZZZzzz…)
11:20:37*aziz joined #nim
11:24:08*Trustable quit (Remote host closed the connection)
11:27:42*Matthias247 quit (Read error: Connection reset by peer)
11:30:25*elrood joined #nim
11:34:17NimBotnim-lang/Nim devel bf698fb Araq [+0 ±4 -0]: fixes some regressions
11:34:46*^aurora^ joined #nim
11:35:12enamexUhuh, I see. Seems like "type erasure" means quite different things with Haskell, C++ and Java, though.
11:51:05*gokr_ joined #nim
11:51:38*NimBot joined #nim
11:56:39*clone1018 quit (Ping timeout: 246 seconds)
11:58:41*clone1018 joined #nim
12:37:57*aziz quit (Remote host closed the connection)
12:55:11*mal`` quit (Ping timeout: 250 seconds)
12:55:30*golak joined #nim
13:05:29*BitPuffin|osx joined #nim
13:06:58*strcmp1 joined #nim
13:08:05*mal`` joined #nim
13:09:12*bjz quit (Read error: Connection reset by peer)
13:12:14*^aurora^ quit (Quit: My Mac has gone to sleep. ZZZzzz…)
13:23:36*bjz joined #nim
13:26:23*UberLambda joined #nim
13:29:45*Mat4 joined #nim
13:31:09*Mat4 quit (Client Quit)
13:33:22*bjz quit (Read error: Connection reset by peer)
13:33:42*bjz joined #nim
13:35:33*Mat4 joined #nim
13:39:29Mat4hello
13:40:37Araqhi
13:41:59*Mat4 quit (Quit: Konversation terminated!)
13:46:09*Mat4 joined #nim
13:46:50*Mat4 stumbles about some instability testing Wayland
13:47:08*yglukhov joined #nim
13:48:21*bjz quit (Quit: Textual IRC Client: www.textualapp.com)
13:51:19*yglukhov quit (Ping timeout: 244 seconds)
13:52:54*Demos joined #nim
13:53:15*yglukhov joined #nim
13:54:14*bjz joined #nim
13:55:08strcmp1ah yeah wayland. linuxs reply to 2003.
13:55:34strcmp1or maybe you can say 1995.
13:57:24Mat41995 ?
13:58:03strcmp1yeah, cos X11 is such 90s tech
13:58:33strcmp1anyway its great theyre moving on. it just took way too long.
13:58:54*bjz quit (Max SendQ exceeded)
14:00:22Mat4I think the origin of X lays somewhare around 1979 (the client/server model which limitations the Wayland project try to compensate)
14:01:10Mat4however its for sure true that development progress slowly
14:02:34strcmp1X was ok when the competition was W95/98 or even XP. i think it was invented somewhere in the 80s btw. i dont like it. its one of the things that make linux desktop crappy for me.
14:12:05Mat4agree
14:12:44Mat4however at current I see no usable open-source alternative (yet)
14:13:01*boopsies is now known as boopsiesisaway
14:14:05*bjz joined #nim
14:14:59Mat4it is good to see that Wayland get community support (in one way or another)
14:15:34*boopsiesisaway quit (Quit: WeeChat 1.2)
14:15:46strcmp1i think wayland is next in line as far as evolution of X goes, and linux is still far more pleasant for me to use than Windows but take OSX, their windowing system seems pretty good.
14:15:50*boop joined #nim
14:18:04Mat4it depends, iprobably the dynamic ressource usage is higher (if I think about Display Postscript...)
14:27:15*umurgdk joined #nim
14:28:54*enamex quit (Ping timeout: 246 seconds)
14:32:33Mat4Araq: What is planned with the reserved function keyword ?
14:33:24Araqto make it a shortcut for proc foo(a, b) {.noSideEffect, ***.}
14:33:37Araqwhere *** denotes an effect we don't know yet
14:34:07Araqmost likely: .writes []
14:34:42Mat4sorry, what effect .writes [] denote ?
14:35:12Araqthat it doesn't write to any memory location reachable by its parameters
14:35:52Mat4ah, I thought this is implicated by .noSideEffect
14:36:15Araqand since .noSideEffect means it doesn't access any global variable, it means it performs no externally visible write operation
14:36:58Mat4makes sense (somehow), thanks
14:37:41Mat4does future versions of Nim reserve the keyowrd 'fn' ? (I hope not)
14:38:02Araqnah that would be silly
14:38:35*golak quit (Ping timeout: 252 seconds)
14:40:08*Matthias247 joined #nim
14:45:10*yglukhov quit (Remote host closed the connection)
14:46:10Mat4right, I write a template
14:46:37*enamex joined #nim
14:55:17*ohmibod quit (Remote host closed the connection)
14:55:50Mat4Araq: I'm not sure that these funcional declarations can be compiled efficient by a C compiler, because there should be some unavoidable overhead for allocating return arguments. For example structures as return argument need to be allocated andmostly arguments to be copied
14:57:20*ohmibod joined #nim
14:57:23*ohmibod quit (Remote host closed the connection)
14:57:49*ohmibod joined #nim
14:59:35AraqMat4: we don't map effects to C. We have our own optimizers that can make use of the effect system.
15:03:33Mat4yes, I know. How such cases are then handled ? I mean to return a structure there must be at least exist a prior, local allocated new one. How does the effect system allows converting argument usage to be reduced to a final pointer access ?
15:06:21Araqproc depthOfTree(n: ref Node): int {.writes: [].} means it doesn't write to 'n' or any node reachable by 'n'
15:06:50Araqthat it writes 4 bytes to its result stack frame slot is irrelevant
15:07:14*lyro quit (Ping timeout: 246 seconds)
15:11:37*lyro joined #nim
15:11:48Mat4ok, so some optimization routine is able to follow the return usage (I think)
15:12:28*unclechu joined #nim
15:12:48AraqI think you see this from a much too low level perspective
15:12:59Mat4that can be
15:13:44Araqoptimizers can transform f(x)+f(x) into f(x)*2 without considering stack slots
15:18:57*enamex quit (Ping timeout: 246 seconds)
15:20:54Mat4right
15:27:57*^aurora^ joined #nim
15:31:10*enamex joined #nim
15:35:56*kotokz joined #nim
15:45:53*enamex quit (Quit: Page closed)
15:46:23*enamex joined #nim
15:56:22*FedeOmoto joined #nim
16:17:03*bjz quit (Read error: Connection reset by peer)
16:17:57*bjz joined #nim
16:21:40*bjz quit (Max SendQ exceeded)
16:23:18*bjz joined #nim
16:26:38*yglukhov joined #nim
16:30:33*Matthias247 quit (Read error: Connection reset by peer)
16:30:44*bjz quit (Max SendQ exceeded)
16:32:33*nande joined #nim
16:32:54*vendethiel joined #nim
16:36:26*bjz joined #nim
16:41:52*bjz quit (Max SendQ exceeded)
16:45:19*bjz joined #nim
16:51:42*kotokz quit (Ping timeout: 246 seconds)
16:59:32*unclechu1 joined #nim
16:59:54*unclechu quit (Ping timeout: 272 seconds)
17:04:25*darkf quit (Quit: Leaving)
17:11:48*Mat4 quit (Ping timeout: 264 seconds)
17:13:12*vendethiel quit (Ping timeout: 272 seconds)
17:22:42*UberLambda quit (Ping timeout: 272 seconds)
17:27:09*infinity0 quit (Remote host closed the connection)
17:27:48*infinity0 joined #nim
17:34:21*Demos quit (Ping timeout: 265 seconds)
17:40:26NimBotnim-lang/Nim devel c27019f Araq [+0 ±1 -0]: fixes generic instantations in concepts
17:59:40*^aurora^ quit (Quit: My Mac has gone to sleep. ZZZzzz…)
18:08:24*johnsoft quit (Quit: Leaving)
18:09:32*UberLambda joined #nim
18:17:06*Jesin quit (Quit: Leaving)
18:18:08*^aurora^ joined #nim
18:18:32*Mat4 joined #nim
18:19:39*Jesin joined #nim
18:20:28*BitPuffin|osx quit (Ping timeout: 244 seconds)
18:27:32*bjz_ joined #nim
18:27:42*UberLambda quit (Ping timeout: 244 seconds)
18:29:35*bjz quit (Ping timeout: 252 seconds)
18:32:12*^aurora^ quit (Ping timeout: 264 seconds)
18:57:23Mat4is something like 'type aType = type1 or type2' possible ?
18:57:39*irrequietus joined #nim
18:58:51*gokr_ quit (Quit: IRC for Sailfish 0.9)
18:59:37Araqyeah with exactly this syntax. but note that it creates a generic type, not a union
19:00:18Mat4ah thanks
19:02:35Mat4the type system is really as good as the one of Ada (beside the newest standard maybe), that's nice
19:05:14Araqactually it can do lots of things Ada cannot even dream about, but thanks ;-)
19:10:26Mat4as written, I don't know the newest Ada standard other that an extended type system should obviate external theorem solvers
19:11:20*bjz_ quit (Max SendQ exceeded)
19:12:42*bjz joined #nim
19:13:58Mat4(Although I think this is unlikely)
19:16:01enamex?? The new Ada obviates the need for external theorem solvers that the older one needed, or what?
19:18:20Mat4in the past for this some Ada extensions exist (such as SPARK) which includes an theorem solver so yes
19:20:09enamexah
19:22:36Mat4SPARC extend ADA with contracs (an extended comment syntax) which are processed by an external program, the 'Examiner' <- theorem solver of some kind
19:23:27Mat4Ada 2012 specify equivalent aspects as part of the language core
19:23:36*johnsoft joined #nim
19:25:13Mat4^contracts
19:27:02*koz_ joined #nim
19:27:47koz_Is the Nim Wikipedia article out of date? It says you can make Android apps with Nim, but I don't see anything about it on the Nim site anywhere.
19:28:47Araqkoz_: $nim/examples/cross_calculator/android
19:29:08yglukhovkoz, since Nim uses C as intermediate code, you can develop for every platform that supports C. In other words, literally, every platform ;)
19:29:25Araqwell of course Android still says "fuck you, native code"
19:30:53yglukhovkinda yeah, but still it seems like they're not so against native code, given their recent android studio update, that now suppotrs NDK development
19:30:57*irrequietus quit (Ping timeout: 246 seconds)
19:33:07*johnsoft is now known as redshitmuppet
19:34:59Mat4I don't think that programming for the NDK makes sense as the new runtime environment is basical an efficient AOT compiler beside some exceptions (such as writing an interpreter)
19:38:44koz_OK, thanks everyone.
19:39:14koz_Mostly I'm looking into a way not to have to write the same code twice.
19:41:56*irrequietus joined #nim
19:42:34Mat4hmm, you mean complete portability independent of the target ?
19:43:42koz_Mat4: Basically, I don't wanna have to use language X for an iOS app, then language Y for Android, where X != Y.
19:48:31Mat4for this I think you will need basical a wrapper for one of these cross-platform widget libraries (like wxWidget) and an abstraction for the operating environment
19:51:28koz_Mat4: How hard would this be to roll in Nim?
19:54:05Mat4I'm unsure. The time consuming part is abstaction of the operating environment
19:54:11Mat4for sure
19:54:45koz_I see.
19:55:01Mat4writing a wrapper for a gui library should not be the problem
20:05:48*redwyn joined #nim
20:12:37*thekilon joined #nim
20:20:27*smodo quit (Remote host closed the connection)
20:27:38AraqMat4: we have a wrapper for wxWidgets but I don't think wxWidgets runs on android
20:30:15EXetoCwill the API change much?
20:30:37AraqEXetoC: you mean wxnim? no.
20:31:12EXetoCI'll try it then. using gtk again and it's annoying to use
20:31:19Mat4Araq: I noticed wxWidgets as example for the class of cross platform GUI libraries (it support not Android but iOS)
20:32:39Mat4Qt support Android (I don't know which versions)
20:33:22AraqEXetoC: didn't try it on Linux or Mac, but shouldn't be too hard to make it work
20:34:37EXetoCok
20:36:28*Sembei joined #nim
20:40:06*adam_s joined #nim
20:40:34*yglukhov quit (Remote host closed the connection)
20:40:36*nande quit (Remote host closed the connection)
20:44:27*Miruya quit (Quit: Page closed)
20:46:23NimBotnim-lang/Nim devel 148bbee Dominik Picheta [+0 ±1 -0]: Added some info about bugfixes to news.txt.
20:59:21*Demos joined #nim
21:00:15EXetoCright, pkg-config
21:01:58*irrequietus quit ()
21:02:11*irrequietus joined #nim
21:02:24*yglukhov joined #nim
21:06:11EXetoC-.-
21:20:47EXetoCit works
21:21:10EXetoCit just spends ages on stc
21:26:09dom96https://news.ycombinator.com/item?id=10208629 :\
21:26:43*NimBot joined #nim
21:27:51*Kingsquee joined #nim
21:30:44*bitder joined #nim
21:31:12*bitder quit (Client Quit)
21:34:30Mat4dom96: sorry, but these whole discussion is just irrational nonsense in my opinion
21:34:58dom96really? Why do you think it's irrational?
21:40:32*thekilon quit (Remote host closed the connection)
21:42:34Mat4I don't see an effort for objective comparison of the reffered languages, only some interwoven monologs about non founded preferences
21:43:21profan^ there could be an interesting discussion, but the post boils down to "i think nim has no direction", it's not productive :P
21:43:27Mat4"If you aren't bound by C-linkage or zero-runtime/overhead requirements, then there are higher level, more flexible languages to use than Rust"
21:44:50Mat4that's always true or false dependent which is assumed to be 'flexible'
21:45:12profanat least he didn't mention "weak typing" anywhere in his comments :P
21:45:33*thekilon joined #nim
21:45:50*thekilon quit (Remote host closed the connection)
21:48:07Mat4to be precise it is circular reasoning to assume that the vality of programming languages can be rated based upon generalisation of personal choice
21:50:30Mat4thats like ... these language is better or not because it does not match my prefered language in style
21:52:11Mat4the same logic as you're wearing green shoes. I don't like green so you have a bad taste
21:52:28Mat4that's just irrational nonsense
21:53:02Mat4as written
21:53:18Mat4anyhow human
21:54:31*Mat4 beeing sick confonted with such 'discussions'
21:55:42Demoswhat's the status of #2599?
21:55:47Demoshttps://github.com/nim-lang/Nim/issues/2599
21:56:11AraqDemos: I think I have it working ...
21:56:33DemosI just ran into it
21:56:47Demosnot in a very minimal test case though
21:57:17Araqin a template/generic you can use `[]`(a, i) instead of a[i] as a workaround
22:01:55Araqdom96: I would reply but hacker news doesn't accept my password reset
22:02:42Demosyeah I just exported tables from my module
22:17:07juanfrawhy nim-lang/csources has only one version tagged? 0.9.4
22:20:02*NimBot joined #nim
22:21:27*Demos joined #nim
22:23:31*Mat4 quit (Quit: Konversation terminated!)
22:24:59*vendethiel joined #nim
22:28:03*adam_s quit (Ping timeout: 250 seconds)
22:31:29Araqjuanfra: I don't know. does it matter? it's all generated code, csources mostly misuses github as a file hosting service
22:36:28juanfrayeah, it matters from a package maintainer point of view. I would prefer something more formal. Something like to publish both tarballs (nim version + csources) in the web.
22:36:51juanfranot a big problem, btw :)
22:37:37Araqwe have tar.xz releases
22:37:49juanfrayes, but not for the csources
22:38:00juanfrathat is my point
22:38:04Araqthe tar.xz includes the C sources you need
22:38:12juanfraoh
22:39:52juanfrasorry for the misunderstanding
22:43:23juanfraI've another question. Someone knows if nim would work on hppa/ia64?
22:44:05*unclechu1 quit (Ping timeout: 240 seconds)
22:44:57*NimBot joined #nim
22:45:21*redwyn left #nim (#nim)
22:49:48Araqjuanfra: the GC has some code to support it that has never been tested
22:51:27juanfraok, thanks
22:51:58*boop is now known as boopisaway
23:02:28*bjz quit (Max SendQ exceeded)
23:03:35*bjz joined #nim
23:10:47*yglukhov quit (Remote host closed the connection)
23:11:25*yglukhov joined #nim
23:16:23*yglukhov quit (Ping timeout: 264 seconds)
23:21:47*irrequietus quit ()
23:22:02*BitPuffin|osx joined #nim
23:37:39*elrood quit (Quit: Leaving)
23:40:30*NimBot joined #nim
23:49:33*bjz quit (Max SendQ exceeded)
23:50:50*bjz joined #nim