--- Log opened Sat Jan 03 00:00:45 2015 |
00:04 | | Turaiel[Offline] is now known as Turaiel |
00:04 | | Turaiel is now known as Turaiel[Offline] |
00:16 | <&McMartin> | Oh hey. Rust has a projected 1.0 date of February this year. |
00:16 | <&McMartin> | That is considerably sooner than I expected |
01:15 | | Red_Queen [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Connection closed] |
01:17 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code |
01:17 | | mode/#code [+o Checkmate] by ChanServ |
01:18 | <@Alek> | Rust? one of those new survival games? |
01:19 | <@Alek> | at first I was thinking of that game that was like 50GB and needed a top-end GPU at release, but then remembered that was Rage. I think. |
01:21 | <@Tamber> | Rust, the programming language, I'd guess. |
01:21 | <@Alek> | ohkay. |
01:22 | <&McMartin> | Yeah, what Tamber said |
01:23 | <&McMartin> | It's a very aggressive attempt to be a cross between a systems programming language and a modern functional-type language, and the pain points seem to not be what I'd expect |
01:23 | | thalass [thalass@Nightstar-9ai58o.bigpond.net.au] has joined #code |
01:23 | | mode/#code [+o thalass] by ChanServ |
01:24 | <&McMartin> | They're using type inference to enforce heap consistency, which is a technique my old research group was experimenting with ten to fifteen years ago |
01:24 | <&McMartin> | It's pretty restrictive in the general case, but if you can design around it it is super-handy |
01:24 | <&McMartin> | Rust is built around it and they're getting away with more than they expected |
01:24 | <&McMartin> | They're also doing mutability OCaml style and multiple inheritance Haskell style |
01:24 | <&McMartin> | It will be *very interesting* to see how much they ultimately get away with |
01:25 | <&McMartin> | (I am completely on board with the former and the latter will be great if they can get away with it - "Let's cross C and Haskell" generally seems like it's going to involve both a lot of tesla coils and a lot of radioactive spiders) |
01:26 | < JBeshir> | I find Rust interesting but am comfortable waiting until they decide they're done and they've worked out how to make it an effective tool before trying to determine if it works for anything I want to do. |
01:28 | <&McMartin> | Right |
01:28 | <&McMartin> | That is why I was surprised to learn that they expected to think they were basically done with the important parts next Februrary. |
01:29 | < JBeshir> | Sounds good to me. |
01:29 | < JBeshir> | I've known about it as a project for a long time now, and it actually struck me that it was progressing fairly slowly because of the complexity of what they were trying to do. |
01:29 | < JBeshir> | It's good to see they didn't get bogged down. |
01:30 | <&McMartin> | I will probably take a look at it once it's Really Out and try to do something that stresses its assumptions. I'm thinking "arbitrary graph library", which ownership types are traditionally very bad at. |
01:30 | <&McMartin> | I think I can make it work with cursors instead of pointers though. |
01:42 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
01:42 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
02:32 | | celticminstrel [celticminst@Nightstar-jeiu0g.dsl.bell.ca] has quit [Ping timeout: 121 seconds] |
02:40 | | celticminstrel [celticminst@Nightstar-de4ll6.dsl.bell.ca] has joined #code |
02:40 | | mode/#code [+o celticminstrel] by ChanServ |
02:47 | | Turaiel[Offline] is now known as Turaiel |
02:53 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds] |
03:34 | | Turaiel is now known as Turaiel[Offline] |
04:27 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving] |
04:28 | | Syka [the@Nightstar-c409v3.vividwireless.net.au] has quit [Ping timeout: 121 seconds] |
04:53 | | Turaiel[Offline] is now known as Turaiel |
05:03 | | JustLurk [justbob@ServerAdministrator.Nightstar.Net] has joined #code |
05:03 | | JustBob [justbob@Nightstar.Customer.Dissatisfaction.Administrator] has quit [NickServ (RECOVER command used by JustLurk)] |
05:03 | | mode/#code [+o JustLurk] by ChanServ |
05:03 | | JustLurk is now known as JustBob |
05:13 | | thalass [thalass@Nightstar-9ai58o.bigpond.net.au] has quit [Ping timeout: 121 seconds] |
05:18 | | Derakon is now known as Derakon[AFK] |
05:26 | | thalass [thalass@Nightstar-khjold.bigpond.net.au] has joined #code |
05:26 | | mode/#code [+o thalass] by ChanServ |
06:02 | | Turaiel is now known as Turaiel[Offline] |
06:18 | | Kindamoody[zZz] is now known as Kindamoody |
06:23 | | Xires is now known as ^Xires |
07:39 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [Ping timeout: 121 seconds] |
07:46 | | * McMartin loses patience with Go and it's total schizophrenia about where pointer types are or are not OK and where they are treated as value types by the syntax and where not. |
07:46 | <&McMartin> | s/it's/its/ |
07:46 | <&McMartin> | I am so impatient I cannot fail to greengrocer |
08:07 | <&jeroud> | McMartin: How do you find Go's import system? |
08:08 | <&McMartin> | Do you mean the part where you aren't allowed to include things you don't use, the part where FQNs lose their F, or the part where you're supposed to put stable download URLs in the names |
08:10 | <&McMartin> | But no, it's the batshittery with the distinction between pointers to interfaces vs. interfaces, as opposed to pointer to struct vs struct |
08:11 | <&McMartin> | Where the latter you can refer to them syntactically as if there is no difference, but the former you cannot |
08:12 | <&McMartin> | It is also apparently illegal to treat interfaces as if they were notional supertypes |
08:14 | <&McMartin> | (Re the three things I listed, though, the first is a thing I like, the second is slightly annoying but can be trivially worked around, and the third is hilarious but a property of go-get, not Go itself) |
08:19 | <&McMartin> | But the end result is that it is not clear to me that breaking this little project up into packages has actually improved its modularity any. |
08:19 | | ^Xires is now known as Xires |
08:31 | <&jerith> | I ask mostly because that's the loudest objection I've seen to Go. |
08:40 | | Orthia [orthianz@Nightstar-h0e.2ui.224.119.IP] has quit [Ping timeout: 121 seconds] |
08:45 | | Orthia [orthianz@Nightstar-a4i.3v7.224.119.IP] has joined #code |
08:45 | | mode/#code [+o Orthia] by ChanServ |
09:06 | | thalass [thalass@Nightstar-khjold.bigpond.net.au] has quit [Connection closed] |
09:20 | <&McMartin> | My loudest objection so far is that it pretends to be way more generic than it is |
09:21 | <&McMartin> | I'm OK with the import system because, at core, it is the compiler demanding you stop being sloppy |
09:21 | <&McMartin> | However, Go's idea of "sloppy" doesn't quite match up with anybody else's. |
09:22 | <&McMartin> | In particular, types that you are using, but are only using because of return values whose types are autodeclared with the := operator, count as "not being used" |
09:22 | <&McMartin> | And this is apparently an excuse for making functions have to return the lowest absolute type they in fact return |
09:22 | <&McMartin> | I am not so far seeing how you could meaningfully do a polymorphic factory but perhaps they intend you to architect around that. |
09:33 | | thalass [thalass@Nightstar-khjold.bigpond.net.au] has joined #code |
09:33 | | mode/#code [+o thalass] by ChanServ |
09:40 | | AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has joined #code |
10:05 | | Syloq [Syloq@NetworkAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
10:06 | | Syloq [Syloq@NetworkAdministrator.Nightstar.Net] has joined #code |
10:06 | | mode/#code [+o Syloq] by ChanServ |
10:29 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code |
10:29 | | mode/#code [+o Checkmate] by ChanServ |
10:56 | | AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has quit [[NS] Quit: Leaving] |
11:09 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds] |
11:16 | | Syka [the@Nightstar-c409v3.vividwireless.net.au] has joined #code |
11:44 | | Checkmate [Z@Nightstar-ev6.6um.94.83.IP] has joined #code |
11:44 | | mode/#code [+o Checkmate] by ChanServ |
12:10 | | celticminstrel [celticminst@Nightstar-de4ll6.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
12:16 | | Kindamoody is now known as Kindamoody|afk |
12:54 | | gnolam [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has quit [Connection closed] |
12:54 | | gnolam [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has joined #code |
12:54 | | mode/#code [+o gnolam] by ChanServ |
13:17 | | * thalass eyes this, finds it interesting https://medium.com/@shazow/ssh-how-does-it-even-9e43586e4ffc <-- |
15:25 | | Orthia [orthianz@Nightstar-a4i.3v7.224.119.IP] has quit [Ping timeout: 121 seconds] |
15:29 | | Orthia [orthianz@Nightstar-h0e.2ui.224.119.IP] has joined #code |
15:29 | | mode/#code [+o Orthia] by ChanServ |
15:34 | | celticminstrel [celticminst@Nightstar-de4ll6.dsl.bell.ca] has joined #code |
15:34 | | mode/#code [+o celticminstrel] by ChanServ |
16:42 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code |
16:42 | | mode/#code [+o Alek] by ChanServ |
17:02 | | thalass is now known as Thalasleep |
17:31 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
17:31 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
17:33 | | Kindamoody|afk is now known as Kindamoody |
17:48 | | Derakon[AFK] is now known as Derakon |
19:22 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Ping timeout: 121 seconds] |
20:01 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code |
20:32 | | Turaiel[Offline] is now known as Turaiel |
21:59 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [Ping timeout: 121 seconds] |
22:04 | | Turaiel is now known as Turaiel[Offline] |
22:04 | | Turaiel[Offline] is now known as Turaiel |
22:05 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code |
22:05 | | mode/#code [+o Alek] by ChanServ |
22:30 | | Turaiel is now known as Turaiel[Offline] |
22:31 | | Turaiel[Offline] is now known as Turaiel |
22:55 | | Turaiel is now known as Turaiel[Offline] |
23:13 | | Turaiel[Offline] is now known as Turaiel |
23:44 | | Kindamoody is now known as Kindamoody[zZz] |
23:50 | | Turaiel is now known as Turaiel[Offline] |
--- Log closed Sun Jan 04 00:00:01 2015 |