code logs -> 2015 -> Sat, 03 Jan 2015< code.20150102.log - code.20150104.log >
--- 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
code logs -> 2015 -> Sat, 03 Jan 2015< code.20150102.log - code.20150104.log >

[ Latest log file ]