--- Log opened Wed Feb 04 00:00:54 2015 |
00:22 | | VirusJTG_ [VirusJTG@Nightstar-lsl.j5i.46.174.IP] has joined #code |
00:25 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Ping timeout: 121 seconds] |
00:44 | | Turaiel[Offline] is now known as Turaiel |
00:44 | < Turaiel> | Anyone know if std::sort (C++) works on arrays? I can't use C++11, mind you. |
00:46 | <@celticminstrel> | It does. |
00:46 | <@celticminstrel> | Provided you know the array's length: |
00:47 | < Turaiel> | I'm trying to give it the random access iterators it wants, but std::begin and std::end only works on C++11 |
00:47 | <@celticminstrel> | std::sort(array, array + length) |
00:47 | <@celticminstrel> | Unless there's more parameters. I forget. |
00:47 | < Turaiel> | There's an optional comparator, which I used |
00:47 | <@celticminstrel> | But yeah, begin(array) is just array, and end(array) is array + array_length. |
00:48 | < Turaiel> | Are we talking array + (length * sizeof(type))? |
00:48 | <@celticminstrel> | No, this is pointer arithmetic, so the sizeof(type) bit is implicit. |
00:48 | <@celticminstrel> | Just array + length. |
00:48 | < Turaiel> | I suppose. I'm used to staying on the safe side and always specifying |
00:48 | < Turaiel> | That makes sense |
00:49 | <@celticminstrel> | If you did array + (length * sizeof(type)) here, it would overflow. Because array is a pointer. |
00:49 | < Turaiel> | Ah, right.. |
00:50 | < Turaiel> | It did not appreciate that |
00:50 | < Turaiel> | It's expecting type _RandomAccessIterator |
00:50 | <@celticminstrel> | Pointers are a random access iterator. |
00:51 | <@celticminstrel> | I suppose it's possible the array isn't decaying since this is a template function; you could try &array[0] instead. |
00:52 | < Turaiel> | The error I'm getting is refstats.cc:763:59: error: no matching function for call to âsort(TableEntry*&, TableEntry*, main(int, char**)::<anonymous struct>&)â |
00:52 | <@celticminstrel> | What's the call look like? |
00:52 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code |
00:52 | < Turaiel> | std::sort(table, table + numEntries, customCompare); |
00:53 | < Turaiel> | It might be having trouble with the comparison function |
00:53 | <@celticminstrel> | Does it work without the comparison function? |
00:53 | < Turaiel> | It's not comparable without it |
00:53 | <@celticminstrel> | Oh. |
00:55 | <@celticminstrel> | Well, you could temporarily declare an operator< to see if it's the comparison function that's the issue. Or you could try using &table[0] as the start point. |
00:56 | < Turaiel> | I fixed it |
00:56 | < Turaiel> | It didn't like that I was giving it a struct (as demonstrated at http://en.cppreference.com/w/cpp/algorithm/sort). I wrote a function and it seems happy |
00:57 | <@celticminstrel> | Huh. |
00:59 | < Turaiel> | It might also be that I was returning badly from it or something |
00:59 | < Turaiel> | Anyway, it's working now, so thanks! |
00:59 | <@celticminstrel> | No problem! |
01:00 | | Turaiel is now known as Turaiel[Offline] |
01:14 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code |
01:18 | | VirusJTG_ [VirusJTG@Nightstar-lsl.j5i.46.174.IP] has quit [Ping timeout: 121 seconds] |
01:58 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
01:58 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
02:22 | <~Vornicus> | McM: So, you'll love this. My company wants to learn the ropes of app development. <Boss> We should do a mobile app, just to prove we can. <Vorn> How about a video game? <Boss> Awesome. Any ideas what kind? <Vorn> All the games I play need a few too many controls. Not sure. <Boss> How about one of those flappy bird ones, but with some shooting too? |
02:23 | <&McMartin> | So, I have a piece of advice there: The walls will get in the way of the shooting unless you design the map carefully. |
02:23 | <&McMartin> | (This is basically where/why Coreflight fell down) |
02:24 | <&Derakon> | Make enemies that, when shot, convert into obstacles you have to fly past, maybe. |
02:26 | <&Derakon> | Oh, or you could do that thing which SNES Star Fox did where there are some obstacles you need to shoot to get them to move out of the way, and others where if you shoot them they get in the way. |
02:29 | <~Vornicus> | I think I'll start with the acceleration mechanic and shooting at all. |
02:29 | <&Derakon> | Wise. |
02:29 | <&Derakon> | Hell, even if it was just "your score is determined by shooting targets, which you need to line up with", that'd be a valid variant of Flappy Bird. |
02:30 | <@Reiv> | How do you fly and shoot simultaneously, and/or aim |
02:30 | <&Derakon> | Tap flap to add vertical velocity; tap shoot to shoot a projectile straight forward. |
02:30 | <@Reiv> | Flappy Bird's charm was that it had one button, etc |
02:30 | <@Reiv> | oh, softbuttons, 'k |
02:32 | <@Reiv> | Y'know, the fellow that did Flappy Bird had an interesting failure mode |
02:32 | <@Reiv> | In his position I suspect I would have simply disappeared from the internet for a month or two, which would have likely been more than a tad profitable, but this is because I am morally corrupt >_> |
02:50 | | thalass [thalass@Nightstar-h1qmno.eastlink.ca] has quit [Connection closed] |
03:01 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [Ping timeout: 121 seconds] |
03:28 | <&Derakon> | Hm, y'all might find this interesting: https://www.reddit.com/r/nethack/comments/2tluxv/yaap_fullauto_bot_ascension_bot hack |
05:06 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving] |
05:24 | | Derakon is now known as Derakon[AFK] |
05:38 | | celticminstrel [celticminst@Nightstar-q7on2v.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
05:49 | | Julius [abudhabi@Nightstar-7nkq9k.de] has quit [Ping timeout: 121 seconds] |
06:06 | | Julius [abudhabi@Nightstar-7nkq9k.de] has joined #code |
07:01 | | AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has joined #code |
07:22 | | himi [fow035@Nightstar-dm0.2ni.203.150.IP] has quit [Ping timeout: 121 seconds] |
07:52 | | Kindamoody[zZz] is now known as Kindamoody |
08:04 | | Kindamoody|autojoin [Kindamoody@Nightstar-e0h756.mobileonline.telia.com] has joined #code |
08:04 | | mode/#code [+o Kindamoody|autojoin] by ChanServ |
08:04 | | Kindamoody|autojoin is now known as KiMo |
08:05 | | Kindamoody [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has quit [Operation timed out] |
08:05 | | KiMo is now known as Kindamoody |
08:12 | | Kindamoody [Kindamoody@Nightstar-e0h756.mobileonline.telia.com] has quit [Ping timeout: 121 seconds] |
08:16 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds] |
08:41 | | Kindamoody|autojoin [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has joined #code |
08:41 | | mode/#code [+o Kindamoody|autojoin] by ChanServ |
08:43 | | KiMo|autorejoin [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has joined #code |
08:43 | | mode/#code [+o KiMo|autorejoin] by ChanServ |
08:43 | | KiMo|autorejoin is now known as Kindamoody |
08:45 | | Kindamoody|autojoin [Kindamoody@Nightstar-180u8i.tbcn.telia.com] has quit [Ping timeout: 121 seconds] |
08:48 | | Julius [abudhabi@Nightstar-7nkq9k.de] has quit [Ping timeout: 121 seconds] |
09:05 | | Julius [abudhabi@Nightstar-7nkq9k.de] has joined #code |
09:08 | | Orthia [orthianz@Nightstar-oep.hn6.224.119.IP] has quit [Ping timeout: 121 seconds] |
09:13 | | Orthia [orthianz@Nightstar-73b.59a.184.203.IP] has joined #code |
09:13 | | mode/#code [+o Orthia] by ChanServ |
09:14 | | Kindamoody is now known as Kindamoody|afk |
09:28 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
09:29 | | mode/#code [+o himi] by ChanServ |
09:38 | <@TheWatcher> | hrm |
09:42 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code |
09:44 | <@TheWatcher> | In git, if I want to move a bunch of (pushed) commits from master to a new branch, and have master back before those commits happened, does this look sane: `git branch medialib && git reset --hard f0432be && git push --force`? |
09:45 | <@TheWatcher> | (where f0432be is the last commit before the new work) |
09:45 | <@TheWatcher> | I'm farily sure that's right, but I have not had remotely enough tea yet |
10:54 | | * Tarinaky headdesks. Dammit I can't figure out how to express my thoughts as code -.- |
10:55 | <@Tarinaky> | I'd use matrix... but I don't know the width/height of the matrices. |
10:55 | <@Tarinaky> | :/ |
11:02 | <@Tarinaky> | Okay. Now I've got an array of the form [[1,2,3,4...],[A,B,C,D...],...] and what I /want/ is an array of the form [[1,A,...],[2,B,...],...] |
11:06 | <@Tarinaky> | I /think/ I can use Matrix now. |
11:07 | < gizmore> | try shufflesort :D |
11:07 | <@Tarinaky> | What? |
11:08 | < gizmore> | you shake the arrays until they are sorted |
11:08 | < gizmore> | also known as randsort |
11:08 | <@Tarinaky> | This isn't a sorting problem. |
11:08 | < gizmore> | hmmm... no idea then |
11:08 | <@Tarinaky> | This is matrix transposition. |
11:09 | <@Tarinaky> | foo = [[1,1,1],[2,2,2],[3,3,3],[4,4,4]]; Matrix[*foo].transpose.to_a |
11:09 | <@Tarinaky> | Not sure this is the 'correct' solution though but it seems to do the right thing. |
11:38 | | RobinStamer is now known as [R] |
12:03 | <@Tarinaky> | Is there something particularly dangerous about east asian air travel regulations? There's /another/ crash in the news. :/ |
12:04 | <@Tarinaky> | A propeller plane banked too hard, clipped a bridge with its wing, had its engines flame out and the fusilage crashed in a river. |
12:05 | < Julius> | It looked to me like it was in deep shit long before it was banking. |
12:05 | < Julius> | As if the pilot knew this and was trying to smack into the river, instead of the city. |
12:05 | < Julius> | But I hadn't read anything about it, just watched the video. |
12:05 | <@Tarinaky> | I've not seen the footage. |
12:06 | <@Tarinaky> | Just read about it. |
12:06 | <@Tarinaky> | But I remember growing up being told that air travel is supposedly the safest mode of transportation. |
12:07 | <@Tarinaky> | I wonder if there's something systemic going on in the region |
12:08 | < Julius> | I think that's a misleading use of statistics. |
12:08 | <@TheWatcher> | Is there ever any /other/ use of statistics?~ |
12:09 | <@Tarinaky> | I haven't used any statistics. |
12:09 | < Julius> | I know. |
12:09 | <@Tarinaky> | Some statistics would be nice though. |
12:10 | < Julius> | I remember there being a pretty comprehensive list of stats according to various angles of looking at the problem on Wikipedia. |
12:11 | < Julius> | http://en.wikipedia.org/wiki/Travel#Travel_safety |
12:12 | < Julius> | Air is safest by kilometer, relatively safe by hour, and moderately dangerous by journey. |
12:12 | | * TheWatcher eyes that |
12:12 | < Julius> | Those fucking motorcycles, man. |
12:13 | <@TheWatcher> | Seriously, bloody hell |
12:13 | | * Julius lives on the edge too, cycling. |
12:13 | <@Tarinaky> | Woah. |
12:14 | <@Tarinaky> | But I think we need a region/region breakdown. |
12:14 | < Julius> | That would be very nice, yes. |
12:14 | <@Tarinaky> | Hypothesis: East Asian airlines are more dangerous than other regions. |
12:16 | < Julius> | Possible. |
12:17 | < Julius> | I can really believe the motorcycle stats, too. I have a license, and those things are a whore to control. |
12:18 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds] |
12:18 | < EvilDarkLord> | I think it's a combination of exposure to a lot of possible accident situations and the fact that in a confrontation with anything bigger than you you have a high chance of serious injury or death. |
12:21 | < Julius> | I think it's primarily that you're riding a motion-balanced, high-powered, high-speed vehicle with little to no structure between the driver and whatever he happens to encounter. |
12:28 | <&Reiver> | Tarinaky: There was an analysis done on it; the strongest correlation is actually between GDP of the host nation and the relevant safety stats. |
12:29 | <&Reiver> | Poor countries have airlines that are less safe; in the case of places like indonesia this has been compounded by an exponential increase in the demand and scale of air travel in the past decade or two, so there's simply more of the semi-safe airlines around for statistics to do its work on. |
12:30 | <&Reiver> | statistics being, in this case, 'sufficient tests of a low probability will eventualy come up with a few hits'. |
12:32 | | * TheWatcher eyes |
12:33 | <@TheWatcher> | I randomly note that Indonesia is ranked #16 in the world for GDP. |
12:34 | <@Tarinaky> | I'd have more expected a time-lagged correlation on GDP than instantaneous GDP |
12:34 | <@Tarinaky> | But then you're basically just overfitting it imo |
12:40 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code |
12:40 | | mode/#code [+o Alek] by ChanServ |
12:41 | < Julius> | TheWatcher: Not per capita. |
12:42 | < Julius> | By GDP PPP per capita, Indonesia is ranked ~100th. |
12:42 | <@TheWatcher> | Reiver didn't say that, though - he said "of the host nation" |
12:43 | < Julius> | I think that's what he meant, though. |
12:43 | <&Reiver> | It was, yeah. |
12:43 | < Julius> | It's a bit silly to compare Norway and the US by pure GDP and say that Norway is poor. |
12:43 | <@Tarinaky> | Ah. |
12:43 | <&Reiver> | Tarinaky: I'm also not arguing for time-lag vs not, etc |
12:44 | <@Tarinaky> | Julius: We're not comparing GDP though, we're comparing air accidents and looking for signals. |
12:44 | <&Reiver> | It's more "Countries full of poor people and large aircraft fleets tend to have less stellar safety records", which is one of those things that sounds self evident, but only becomes so after you've done all the hard work of noticing the pattern. :p |
12:45 | <&Reiver> | Anyway, it's on 538.com, so you can look it up if you like; this is half-remembered hearsay |
12:45 | <@Tarinaky> | What's the GDP per capita of China now anyway? |
12:45 | < Julius> | Which China? |
12:46 | <@Tarinaky> | People's Democratic Republic of |
12:47 | < Julius> | PRC is ranked ~90th, Taiwan is ranked ~20th. |
12:47 | <&Reiver> | I suspect China to be an edge case, in some respects. |
12:48 | <&Reiver> | They have a very uneven distribution of wealth. |
12:48 | <&Reiver> | IIRC their rural areas are sufficiently poor that beyond providing the actual food &etc for the nation, they don't really take part in the economy, but still get the economy averaged out over them. |
12:48 | <&Reiver> | India is similar. |
12:48 | <@Tarinaky> | Yeah, but airlines don't necessarily transport citizens of the host country. |
12:49 | <@Tarinaky> | I suspect the distinction doesn't appear in the Safety vs GDP per capita. |
12:50 | <&Reiver> | oh have fun |
12:50 | <&Reiver> | http://fivethirtyeight.com/features/should-travelers-avoid-flying-airlines-that- have-had-crashes-in-the-past/ |
12:50 | <&Reiver> | Go read it :p |
12:50 | <&Reiver> | I did digging back in the day and it looks to be pretty legit |
12:54 | <@Tarinaky> | Fair enough. |
12:57 | <@TheWatcher> | Fuck you, outlook |
12:57 | <@TheWatcher> | Fuck you in the fucking crappy fucking piece of shit you call your email renderer |
12:58 | <@Tarinaky> | <DianaTroy> He seems extremely agitated. Possibly angry. |
13:32 | <@TheWatcher> | Angry would be an understatement |
13:32 | <@TheWatcher> | This shit should be trivial |
13:34 | <@TheWatcher> | But that's to Microsoft's hilariously crap word 2007 bastardised-mangling-of-HTML, it sure as hell isn't |
13:49 | | ASCII [pink@Nightstar-rcj56n.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
14:06 | | thalass [thalass@Nightstar-h1qmno.eastlink.ca] has joined #code |
14:06 | | mode/#code [+o thalass] by ChanServ |
15:08 | | celticminstrel [celticminst@Nightstar-q7on2v.dsl.bell.ca] has joined #code |
15:08 | | mode/#code [+o celticminstrel] by ChanServ |
15:39 | | Orthia [orthianz@Nightstar-73b.59a.184.203.IP] has quit [Ping timeout: 121 seconds] |
15:44 | | Orthia [orthianz@Nightstar-7hcpcc.callplus.net.nz] has joined #code |
15:44 | | mode/#code [+o Orthia] by ChanServ |
16:16 | | Orthia [orthianz@Nightstar-7hcpcc.callplus.net.nz] has quit [Ping timeout: 121 seconds] |
16:20 | | thalass [thalass@Nightstar-h1qmno.eastlink.ca] has quit [[NS] Quit: Leaving] |
16:21 | | Orthia [orthianz@Nightstar-0ck.inp.224.119.IP] has joined #code |
16:21 | | mode/#code [+o Orthia] by ChanServ |
16:24 | | AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has quit [Operation timed out] |
16:39 | | gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code |
16:39 | | mode/#code [+o gnolam] by ChanServ |
16:39 | | gnoLAN [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code |
16:40 | | gnoLAN [lenin@Nightstar-afpphi.tbcn.telia.com] has quit [Connection closed] |
16:41 | | gnoLAN [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code |
16:41 | | gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has quit [NickServ (RECOVER command used by gnoLAN)] |
16:41 | | gnoLAN is now known as gnolam |
16:41 | | mode/#code [+o gnolam] by ChanServ |
17:09 | | Checkmate [Z@Nightstar-ev6.6um.94.83.IP] has joined #code |
17:40 | | AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has joined #code |
17:46 | | AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has quit [Ping timeout: 121 seconds] |
17:58 | | Omega [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code |
17:58 | | mode/#code [+o Omega] by ChanServ |
17:58 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [NickServ (RECOVER command used by Omega)] |
17:58 | | Omega is now known as Alek |
18:01 | | Reiv [NSwebIRC@Nightstar-q8avec.kinect.net.nz] has quit [Ping timeout: 121 seconds] |
18:11 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has quit [Ping timeout: 121 seconds] |
18:17 | | Alek [omegaboot@Nightstar-c8t.a00.36.73.IP] has joined #code |
18:17 | | mode/#code [+o Alek] by ChanServ |
18:27 | | Vash [Vash@Nightstar-uhn82m.ct.comcast.net] has joined #code |
18:27 | | mode/#code [+o Vash] by ChanServ |
18:27 | | thalass [thalass@Nightstar-h1qmno.eastlink.ca] has joined #code |
18:27 | | mode/#code [+o thalass] by ChanServ |
18:34 | | Vorntastic [Vorn@Nightstar-k70f1n.ct.comcast.net] has joined #code |
18:35 | < Vorntastic> | Http://imgur.com/vkRW4bt I am having too much fun playing to develop |
18:36 | <@Vash> | Oi, oi. Now -that's- bad. =P (Although... Yay testing?) |
18:42 | <@Alek> | Ramon? |
18:50 | < Vorntastic> | My boss. This was his computer; I never bothered fiddling the username |
18:52 | <@Alek> | :P |
19:11 | | * Vorntastic actually implements the separating axis theorem for the first time. |
19:41 | | Reiv [NSwebIRC@Nightstar-q8avec.kinect.net.nz] has joined #code |
19:41 | | mode/#code [+o Reiv] by ChanServ |
19:51 | | gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has quit [Ping timeout: 121 seconds] |
20:03 | | Vashicus [Vash@Nightstar-uhn82m.ct.comcast.net] has joined #code |
20:03 | | VirusJTG_ [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code |
20:06 | | Vash [Vash@Nightstar-uhn82m.ct.comcast.net] has quit [Ping timeout: 121 seconds] |
20:06 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Ping timeout: 121 seconds] |
20:18 | | Vashicus is now known as Vash |
20:18 | | mode/#code [+o Vash] by ChanServ |
20:47 | | Kindamoody|afk is now known as Kindamoody |
20:50 | | ASCII [pink@Nightstar-rcj56n.dyn.optonline.net] has joined #code |
21:09 | < Vorntastic> | Aaah it has scores |
21:19 | | Checkmate [Z@Nightstar-ev6.6um.94.83.IP] has quit [Ping timeout: 121 seconds] |
21:21 | | VirusJTG_ [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [[NS] Quit: Leaving] |
21:21 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code |
21:24 | < Julius> | http://fsharpforfunandprofit.com/posts/is-your-language-unreasonable/ <- http://colinm.org/language_checklist.html |
21:25 | <&McMartin> | F# is an iteration of a language that's older than C |
21:28 | < Julius> | Whoah. |
21:28 | < Julius> | What's wrong with it, then? |
21:28 | <@ErikMesoy> | It's not Lisp? |
21:28 | <&McMartin> | Well |
21:28 | <&McMartin> | It's not *Haskell* if we're being jerks, but Haskell is that same lineage, just 1990 instead of 1973 |
21:29 | <&McMartin> | And we actually did get better at some stuff |
21:29 | <&McMartin> | My experience with the ML family of languages is that its module system "isn't good enough to scale cleanly" but I haven't been able to isolate anything precise about what it's lacking. |
21:30 | <&McMartin> | Haskell adds - and Rust steals - an improvement over the ML model ("typeclasses") that appear to be a better way of solving the problem that multiple inheritance was trying to solve |
21:31 | <&McMartin> | But I think of the big things ML brings to the table "strong static typing + type inference + uniform reference-based polymorphism + algebraic datatypes" |
21:31 | <&McMartin> | Which are all awesome and which FUCKING NOTHING DOES except the uniform reference-based thing which Python and Ruby in fact do |
21:31 | <&McMartin> | F# is specifically a direct descendant of OCaml, an ML variant, with .NET bindings |
21:32 | <&McMartin> | Rust and Swift are bringin in the things I list, which is great, though they also keep the type inference constrained to within a function, which is probably sensible and means some of the crazier tricks Haskell pulls with typeclasses stop being necessary... |
21:32 | <&McMartin> | ... and which may also solve the "modules are clunky" problem becuase there's a convenient place to syntactically put namespacing information. |
21:33 | <&McMartin> | Swift doesn't seem to be using the ADTs much, though, while Rust is clearly being an ML descendant |
21:33 | <&McMartin> | Rust's issues on the checklist are... |
21:33 | <&McMartin> | [X] "multi-paradigm" |
21:34 | <&McMartin> | lacks: [X] exceptions [X] reflection { all entries that are not "is not language X" } |
21:35 | <&McMartin> | philosophical objections: [X] Your language relies on an optimization that which has never been shown possible [X] There are less than 100 programmers on Earth smart enough to use your language |
21:36 | <&McMartin> | However, them writing the standard library has resolved the first of those objections to my satisfaction. |
21:36 | <&McMartin> | "We already have a safe statically-typed eager functional language" is referring to ML and its descendants~ |
21:37 | <&McMartin> | Rust's weird thing is that it uses move semantics everywhere, which is to say, actually assigning a variable to another variable makes it illegal to refer to the first one anymore |
21:37 | <&McMartin> | With a wide variety of cunning tricks to get away with that, most of which boil down to "pass shit by reference" |
21:38 | <&McMartin> | This qualifies as a rejection of orthodox programming-language thoery and systems programming, but not without justification |
21:39 | <&McMartin> | But yeah, ten years ago, compiler researchers were playing with this stuff, and some of the conclusions then were "this isn't general enough to use universally" |
21:39 | <&McMartin> | There's been a few refinements since, but I haven't checked those papers, but the Rust code I've been browsing indicates that this seems to work |
21:40 | <&McMartin> | I *think* it's that they've generalized "Object B will always be destroyed if A is" to "Object B is syntactically guaranteed to become a dead variable before A is" and that this is an annotation you can add to types |
21:46 | | thalass is now known as thalass|bewmteim |
21:49 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
21:50 | < Vorntastic> | Http://imgur.com/b0vfmNu |
21:52 | < Vorntastic> | Omgwtf it's a game. |
21:53 | <@Tamber> | :D |
21:54 | | [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds] |
22:00 | | [R] [rstamer@Nightstar-d7h8ki.org] has joined #code |
22:10 | | gnolam [lenin@Nightstar-afpphi.tbcn.telia.com] has joined #code |
22:10 | | mode/#code [+o gnolam] by ChanServ |
22:24 | | [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds] |
22:25 | | thalass|bewmteim is now known as Thalass |
22:25 | | Thalass is now known as Thalass|dinnar |
22:31 | | [R] [rstamer@Nightstar-d7h8ki.org] has joined #code |
22:38 | | Derakon[AFK] is now known as Derakon |
22:51 | <&McMartin> | Those look like Things that need Shooting. |
22:53 | < Vorntastic> | You're darn right. That's tomorrow. |
22:53 | | [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds] |
22:53 | | Vorntastic [Vorn@Nightstar-k70f1n.ct.comcast.net] has quit [[NS] Quit: Bye] |
22:55 | | [R] [rstamer@Nightstar-d7h8ki.org] has joined #code |
23:20 | | Kindamoody is now known as Kindamoody[zZz] |
23:22 | | [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds] |
23:23 | | [R] [rstamer@Nightstar-d7h8ki.org] has joined #code |
23:29 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
23:29 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
23:54 | | [R] [rstamer@genoce.org] has quit [Ping timeout: 121 seconds] |
23:55 | | [R] [rstamer@Nightstar-d7h8ki.org] has joined #code |
--- Log closed Thu Feb 05 00:00:10 2015 |