« first day (1463 days earlier)      last day (3478 days later) » 

9:00 PM
she looks kinda like her
dunno
 
Ell
The voice sounds like her though too
 
iquantity? Wat
 
user1804599
@StackedCrooked c'est terrible
 
@Puppy oh no, did he keep that?
 
Its in the picture
 
9:01 PM
@Puppy Yeah the interfaces are ugly, wanted to write something that could handle arbitrary arithmetics in a type-safe way.
 
Oct 12 at 19:06, by sehe
@JohanLarsson It's autoboxing the parameters in order to access the interfaces, even if they're value types
 
In C#? Lollerskates
 
@Puppy Fixed the quote, fast-concluder (the context was there for your perusal, of course)
 
user1804599
I do that in Styx too.
 
Do what
 
user1804599
9:03 PM
Autoboxing when upcasting to interface types.
 
Epic fail
 
I'm using Haskell for like 3 minutes and I already feel how it sucks comparing to the normal languages
 
I have a candidate for the worst API function ever disclosed to the public eye.
 
user1804599
The only other way would be to have everything always boxed.
 
Why not just let interfaces refer to values
 
user1804599
9:04 PM
Because the values are on the stack or in a register.
 
... And?
 
Gosh. That's embarrassing typo :S
 
constraining where T : Intecafe does not box afaik, think it was bear who told me
 
CASphp::isValidated() returns true if the user is validated or it might quit your application
 
user1804599
@Puppy So if you'd do let x: SomeInterface = 42 and there were no boxing of 42 prior to returning, things go bad.
 
9:05 PM
@Puppy ♫ runtime polymorphism ♭♪
@JohanLarsson I didn't. What is Intecafe ?! You can where T : struct though
 
So box locals on function return if they were casted to an imterface
 
Anywhere where you pass any valuetype "as an interface reference" you get the box
 
user1804599
@Puppy Yes.
 
user1804599
And when functions take interfaces and passing non-boxed values they have to be boxed as well.
 
user1804599
9:07 PM
I can't solve the halting problem.
 
if you do SomeMethod(IFuu value) it will box SomeMethod<T>(T value) where T : IFuu wil not I think
 
@rightføld Now, what do when you capture a local valuetype in a lambda :)
 
You don't need to
 
@JohanLarsson Wrong (AFAIK). I'd be really surprised if they can manage anything else
 
user1804599
The type system doesn't know anything about that though.
 
user1804599
9:08 PM
Purely codegen's business.
 
user1804599
@sehe I don't have capturing lambdas implemented yet.
 
@sehe the last part?
 
@JohanLarsson yes
@rightføld Good.
 
user1804599
But I think I'll just leave them unboxed.
 
user1804599
No need to box them.
 
9:09 PM
Alternatively just let the user worry about lifetime if he's desperate to avoid boxing
 
14
A: How does a generic constraint prevent boxing of a value type with an implicitly implemented interface?

Eric Lippert My question, however, is how the compiler enables a generic constraint to eliminate the need for boxing a value type that explicitly implements an interface. By "the compiler" it is not clear whether you mean the jitter or the C# compiler. The C# compiler does so by emitting the constrained ...

 
user1804599
If the user is desperate to avoid boxing I'm happy to let said user program in C++.
 
@JohanLarsson ooooh. Preparing to have mind blown
@JohanLarsson Ah, the key is in the beginning:
> The C# compiler does so by emitting the constrained prefix on the virtual call
So, it's by explicit CLR jitter support
 
Yes, because nobody ever would want to perform specific optimizations only in a hotpath right?
 
user1804599
Or you can call malloc once and do evil casts.
 
9:12 PM
A language should be all one thing to everybody regardless of the fact that different functions have different needs
 
@JohanLarsson Thanks for being stubborn and teaching me something I should have known :)
 
I still think it was you who told me.
Now you can tell me next time I ask the same thing after forgetting.
 
user1804599
For now I'm pretty much only interested in I/O.
 
user1804599
Number crunching can suck my dick.
 
user1804599
There are already languages that are excellent at it, like C++ and Fortran.
 
9:15 PM
@JohanLarsson We're a slow, mutually beneficial circle jerk, known as the _demented programmer symbiosis"
 
user1804599
> Your E-mail has Won ($5,000,000) in the September 2014 Yahoo! Draws.
 
user1804599
Yay! My email is rich!
 
Oops.. one of the beers is 'Fallen Angel', but I asked for a 'Relegated Sunderland' by mistake...
 
user1804599
Also, is that minus $5,000,000 in bookkeeper's notation?
 
lol people who age too soon: /cc @JohanLarsson
@sehetw Ugh. A language where you can ask something like this is... simply too much for me.
 
Ell
9:29 PM
> C-style scripting language
oh god
 
user1804599
 
you mean like Quake C?
 
Hi loungers
 
user1804599
lol dat twitter thread
 
ow. It seems H2CO3 hasn't changed much yet
 
9:41 PM
TIL -> don't trust students
 
user1804599
He reminds me of Timmerfrans.
 
@FilipRoséen-refp awwww
 
@FilipRoséen-refp woot. What did they do? What did they do?
@rightføld huh?
 
holy shit this case is awesome i.ytimg.com/vi/zwSUl0j9T-Y/maxresdefault.jpg
 
user1804599
750 wat
 
9:42 PM
@sehe nothing really, but I asked for some help with the (new) automatic testing of their implementations. a new way of showing the errors made has been implemented to diagnose segfaults etc
 
@rightføld that's a 1 tweet parody account?
@FilipRoséen-refp ulimit + core dumps?
 
@sehe a student uploaded their code with a modification that would make it crash during a certain instruction (after I said where I wanted it etc etc). the automatic testing then didn't do all the shit I said that it should during a segfault
 
user1804599
@sehe no, I mean this guy
 
@sehe so I've just spent 20 minutes trying to figure out why it didn't detect (and handle) said segfault, after which I realize that the students implementation wasn't correct in some other regard and had a different error which resulted in a different error message (even though the student said "yeah, my implementation has been approved by the previous test, no worries"
 
9:45 PM
hehehe. TIL: you test your stuff yourself, before asking for monkey tests?
 
@sehe and never to trust my own eyes
 
hi
 
@sehe the judge (who interprets the data written by the test-runner) is responsible for handling errors, and the intermediate format is somewhat human readable
 
Why did you even need the student to post testcases? Couldn't you just resubmit the whole batch and go wild with your own changes?
 
Ell
@Rapptz hi
 
9:46 PM
@sehe sure, but then again a student sat right next to me being interested in the test backend
 
Ah. so it was just a friendly thing to do (and you forgot about who's responsible)
Yeah. That sucks. One can waste a lot of time even without help of others
 
@sehe anyhow, the somewhat human readable format isn't humanly readable enough. it basically just compares the expected output with the students output, looking for illformalities (like hash values that doesn't match etc). The line saying that it crashed is the last line of this output, and it was certainly there; what happened was that a hash value differed prior to this line, and that's why the judge:s error message wasn't what I expected it to be
 
Ell
I think I want to generate std::all_of for functions over a parameter pack
 
the "students output" is not entirely correct, they can't write any output themselves (all is handled by the framework testing their implementation), but you get the point
 
@Ell Boost Fusion should have it (Boost Hana if you want efficiency)
 
9:50 PM
@sehe mhm, indeed. it got to the point where I asked the guy responsible for the server the tests are running on for debugging aid, and he joined in but couldn't find anything wrong.. we both scratched our heads until I by accident heard the student mumble "hmm, I wonder why my implementation isn't accepted anymore"
 
hehehehehe. It's funny. It's just so ... Assumptions, mofos!
 
@sehe regarding ulimit and coredumps, sadly we can't use those; I'm very limited when writing tests of the students implementation, mostly because the test-environment was designed (not by me) in a way that would require a student to write an entire program reading input, spitting out output (like during coding competitions)
it isn't really made for testing standalone implementations of things such as std::vector etc etc
 
I'm not sure I follow, but I'm okay with that
 
@sehe so basically all I get to work with is compiling my code together with theirs, to generate a resulting executable that is responsible for testing different shiznit (and write implementation of a judge that interprets their output with the expected output)
@sehe I'd do it very differently if I could redesign the system from scratch, but I can't (sadly). (using ptrace to just attach to the process, looking at every move it makes)
 
@FilipRoséen-refp I don't see any limitation, really
 
9:54 PM
@sehe well, for starters we can't detect invalid memory access as it is now, I can have a signal handler for segfaults and such; but not more than that
 
@FilipRoséen-refp You don't want to see the moves, right. You just want the observable behaviour. Because anything else is snake-oil anyways. You need human inspection anyways (or switch to a language that affords formal proofs)
 
Ell
@sehe cheers
 
@FilipRoséen-refp I don't see why you should care beyond that.
 
@sehe yes, that's the gist of it; but we also want to make sure that they don't make uneccessary copies where one should only move, etc
 
Okay, instantiate with sentinel types.
 
9:56 PM
@sehe because we don't want to spend time with questions like "the tests are making my application crash, I don't know why, please help me (because I'm lazy)"*
@sehe that's being done, no worries
 
@FilipRoséen-refp I thought that's where SO came in o.O
 
@sehe if I could spare both myself, and the Internet, such questions.. I will
 
(in case it wasn't obvious: j/k)
 
@sehe I second that
I'm quite satisfied with how the tests are written though, it's really easy to extend a test (or creating one from scratch for that matter)
there's a lot of magic involved, but the one writing tests don't have to care about that
 
Wow. This might be interesting footage for loungers (and the internet at large):
> "I don't want to work in a community that will tear down other people or anger bubbles to the surface too quickly, or it devolves into attacks on a person," he said. "If that happens in my communities, I'll call you on it, and I hope that if I start to get emotional, you'll do the same for me." Linux Kernel Developers Respond to Concerns About Community Culture
 
10:02 PM
@sehe these are the two main files for writing a test for a std::vector clone (not to a full extent, but quite similar). one of them uses some test-instructions from a UIntVector implementation (which the requirements of Vector<T> include), codepad.org/t6CMy9DV, and instead of throwing a super-long template error in their face (since the student code will hide deep inside a template not written by them); codepad.org/pU8roROv
maybe that's not very interesting though, without knowing more about the background.. but it automatically generates an interpreter that can read an assembly-like language that specifies the tests themselves (which can be auto-generated)
 
@FilipRoséen-refp Oh boy. Did no one ever do reality check? It seems so ginormously overblown to me right now. Maybe I'm missing bits of the picture (like, the 90% that's outside the current picture)?
 
Ell
okay now I think I need a make_tuple which has indices too
 
@Ell Why?
Clarified
 
@sehe overblown, how?
 
user1804599
mktup
 
Ell
10:08 PM
@sehe complicated! I'll try to keep it brief: I have a compile time parameter pack Args..., and a set of std::vector<std::type_index>. I'm trying to match the parameter pack to the appropriate runtime signature (ie runtime overload resolution). Right now, I'm doing std::copy_if of the candidates in the set, the predicate being whether the typeid of argument n in the pack matches the type_index of arg n in the runtime vector
 
In every way. How about let students write a header file with the implementation and run 100 tests like gcc -c test01.cpp || echo "Cannot compare iterators returned by end() and begin()" >> error.log?
 
Ell
does this make any sense? I can show code if you like but it's an awful mess
 
@sehe @rightføld made a tag
 
Ell
Or. I'll try to reduce the problem to a smaller example and then post code :)
 
user1804599
No, I didn't.
 
10:09 PM
@JohanLarsson Did you misspell Goo? Cheers :)
 
@sehe because I don't have access to the compiler arguments, nor can I say stuff like that
 
Sucks to be you in your place. Doesn't make it not overblown though :/
 
@sehe where?
 
@JohanLarsson "Gu"
 
It is my department at work
 
10:10 PM
xD
 
@sehe the only thing I can work with; 1) compile code together with the students, without access to the compiler flags 2) write a judger that can make sure the output is that of the expected output (ie. that they are doing stuff correctly)
 
wrote the code at home :)
 
I find reading about guys like this one interesting
The Zodiac Killer was a serial killer who operated in northern California in the late 1960s and early 1970s. The killer's identity remains unknown. The Zodiac murdered victims in Benicia, Vallejo, Lake Berryessa, and San Francisco between December 1968 and October 1969. Four men and three women between the ages of 16 and 29 were targeted. The killer originated the name "Zodiac" in a series of taunting letters sent to the local Bay Area press. These letters included four cryptograms (or ciphers). Of the four cryptograms sent, only one has been definitively solved. Suspects have been named by law...
the most interesting part being how his action branched out and affected so many lives
 
@sehe the judger is then what is responsible for writing readable error-messages to the student. which is why SFINAE is used to detect flaws such as not having a correct operator[] (std::size_t) const etc
 
@FilipRoséen-refp Do you realize how ironically close this comes to annoying noob questions on the main site saying "I'm not allowed to use std::transform or std::vector because my prof doesn't like it"?
 
10:12 PM
@sehe I don't see how those that correlates to this one? maybe I'm looking at it from the wrong angle though
 
user1804599
I want proper ice cream.
 
@FilipRoséen-refp The kool-aid, you drank it. I was observing from the outside. I may not be swayable by incidental internal policies and infrastructure that might be in place.
@FilipRoséen-refp "the only thing I can work with; 1) ... 2) ..." - it's classic! Every practical solution would not fit because of random restrictions x/y/z....
We've seen it so much on SO (though I don't anymore since I only look at tags boost*)
 
@sehe oh well, in this case I've yet to discover any other means of doing what sadly is required
 
user1804599
Kool-AIDS
 
6 mins ago, by sehe
In every way. How about let students write a header file with the implementation and run 100 tests like gcc -c test01.cpp || echo "Cannot compare iterators returned by end() and begin()" >> error.log?
^ that could work
 
10:15 PM
@sehe no, because of the requirements set forth by the test-backend
I've no access to stuff like that, whatsoever
 
> because of the requirements set forth
> I've no access to
etc.
I'm feeling for you
 
@sehe no, you don't. ;-)
 
And I'm not understanding it. At all. I guess I like jobs where people get paid for adding value.
 
@sehe no, because you don't know the full story (sadly). github.com/kattis/problemtools <- that might help (but probably not)
 
@FilipRoséen-refp Oh yes. And I'm particularly sad that you don't see how you're loving the restrictions that make this so expensive. (Again, of course, unless I'm missing 90% of the picture here)
 
10:17 PM
@sehe the "missing 90%" is what is relevant here
 
@FilipRoséen-refp You failed to tell me in time. I specifically requested it too :/
 
@sehe I.. mentioned it, I'm quite sure I did
 
> (like, the 90% that's outside the current picture)? link
> "it"
Hand wavy gestures about "oh no, back-end requires" does not make a convincing argument why using that backend is the right choice. So "mentioning" kattis is helpful but not a "pass directly to finish" ticket
I think I'll bow out now, I was intending to do other stuff. But now it's gonna be sleep.
 
27 mins ago, by Filip Roséen - refp
@sehe so basically all I get to work with is compiling my code together with theirs, to generate a resulting executable that is responsible for testing different shiznit (and write implementation of a judge that interprets their output with the expected output)
when I wrote "all I get to work with", I literally meant; "all I get to work with"
 
> I get to work with is compiling
That's a statement, not an argument. So, did you consider that the infra structure "you get to work with" might be overblown and costing a lot of money?
 
10:22 PM
@sehe if I've considered it? sure. is it possible to change it because of the bureaucracy on the uni I'm working at? no.
 
@FilipRoséen-refp I've said I sympathize many times. But I'm detecting a fair bit of Stockholm Syndrome, I guess. It's sad that this happens, AFAICT. I've not heard a single argument why /you/ think all these constraints are heavenly and very good choices?
 
@sehe ironically I'm living in Stockholm.
@sehe they aren't good choices, nor do I like them
I'm just working with what I get to work with, that's it really
 
@FilipRoséen-refp Ah. See, now we're talking. The problem with my understanding was that you seemed to be one-sidedly defending the choices. chat.stackoverflow.com/transcript/message/19494598#19494598
 
@sehe of course not.. I'm however defending the way it (not the backend) is currently implemented (since I'm inside this box where I can't do nothing else)
 
I'm just here lamenting the wasted time/talent
The latter could be relative though. People can grow their skills on the strangest of assignments :)
 
Ell
10:25 PM
I wrote a lil' example of what I want to do with fusion
 
user1804599
 
@sehe that was your fault, your message was a reply to me linking the implementation written by me, so the "it" being overblown was interpreted as if you were talking about what I've been working on, not the backend itself
 
@FilipRoséen-refp I'd hesitate not a minute and just skip on the box entirely. I mean, you can get the submitted code out, just run the damn tests on your own box and go with that.
 
@sehe as said; if I could, I would.
 
@FilipRoséen-refp hahaha "fault". So that's another good try to find the common ground. Well, to be clear: I was seeing the ramifications from reading your code. It did look really impressive and clean. But I was also seeing what monstrous amounts of time were involved.
@FilipRoséen-refp Are you saying you /cannot/ access the student's submission before the interview?!
 
10:27 PM
@sehe I wrote that with a smile on my face, but seems as if I forgot the ";-)"
@sehe I can access them through the service (the box)
 
@FilipRoséen-refp :) Same here.
@FilipRoséen-refp See, problem solved :) --- ...
 
@sehe haha, easy now tiger; that's only the first half of the story
@sehe sure, I could set up a separate box polling the original box for submissions, and validate them, and then send out an email to students when they upload something to Kattis with the result of my own test
 
Now comes the part were the totalitarian government of Sweden withholds payments unless all college assignments are machine validated on the SMORGASBORD NSA certified campus verification center. And if you try to subvert the rules, you get exiled to Haiti?
 
A few problems; 1) there isn't any API to work against for retrieving code from the box 2) the students expect everything to be done in the box, since "that's how it's always been" 3) the box is rate-limited, so even if we had a crawler we would at least have to get access to a bot-net for not hitting that limit
@sehe probably not, but the forth problem; 4) time
 
@FilipRoséen-refp I agree, that would be ... ridiculous, but in terms of rational effectivity, I'm willing to bet it is superior
 
10:31 PM
for the next semester, sure; setting up a new system would be awesome, but for this one we didn't have time to experiment that much
 
@FilipRoséen-refp Don't give me that. I absolutely refuse to believe that writing the snippets I've seen was time efficient.
 
@sehe it was the better alternative when deciding between "writing a hack that will fit in the box, and will work" vs "writing a standalone service that will work towards the box, which might work.. but we won't know for sure until it's done"
and it hasn't taken that much time
 
user1804599
der Bratwurst
 
@sehe aaand; implementing a test now is done in about 25-30 minutes, no matter what we are testing
 
Ell
@rightføld have you used boost::fusion before?
 
user1804599
10:33 PM
No.
 
@sehe if I went through all this trouble just for one test, sure; that'd be foolish. but the "backend" (the testsuite, my testsuite) was written so that we could write the several other tests as quick as possible)
 
user1804599
Only Boost.ASIO, Boost.Multiprecision, Boost.Optional, Boost.Utility and Boost.Variant.
 
@FilipRoséen-refp Well. You must be the most amazing dev ever, then. Because that looks like full blown DSLs over an already obfuscated domain (C++ with template meta programming, no less) and my experience tells me it's very painful to climb the learning curve there.
So then it boils down to: It's a ginormous waste of your talent. Because you could be programming Mars rovers or .... wait for it... curing cancer?
 
user1804599
Cure C++ programmers.
 
@rightføld So you don't use dates, regular expressions, string algorithms, ranges, string refs, ...?
 
10:36 PM
@sehe I think it might look a lot scarier than it actually is
 
user1804599
@sehe indeed.
 
user1804599
Never needed those in C++.
 
user1804599
And I want holes in my ears.
 
user1804599
But that's not gonna happen soon either.
 
10:37 PM
@FilipRoséen-refp I certainly hope so. But you know. Years in ICT projects have told me a thing or two about fossilized random constraints and backends
 
@sehe basically you don't need to know anything more than that natch::environment<T> is an environment for testing Ts, environment<T>::variable_type is a wrapper (very similar to boost::optional) around such T, and throw the relevant exception upon detected errors (the reference implementation together with the magic stuff sorts out the rest)
@sehe the reference implementation = an implementation that could just as well have been uploaded by a student (but which should be correct, since that is what we are making sure follows the same behavior)
@sehe the NATCH_CREATE_CHECK looks scary too, but if I were to write documentation for it (which I will, tomorrow hopefully) it would be real short (but easiest is just to look at how it's implemented, that serves as documentation too)
@sehe the project is currently hosted under a git-server owned by the uni, which only people with a uni-account can get access to (don't ask me why that is, non-uni-folks should still be able to access (ie. read from) it, imo)
@Ell what are you trying to accomplish (more than making that work)?
 
Ell
@FilipRoséen-refp open multi methods
 
37 mins ago, by Ell
@sehe complicated! I'll try to keep it brief: I have a compile time parameter pack Args..., and a set of std::vector<std::type_index>. I'm trying to match the parameter pack to the appropriate runtime signature (ie runtime overload resolution). Right now, I'm doing std::copy_if of the candidates in the set, the predicate being whether the typeid of argument n in the pack matches the type_index of arg n in the runtime vector
 
Ell
runtime overload resolution I guess :)
 
@Ell is this some sort of "I must use boost::fusion-thingie?
because it certainly isn't remotely required
 
user1804599
10:48 PM
I need an extra blanket and two extra pillows.
 
user1804599
A single blanket and three pillows is inconvenient.
 
Ell
@FilipRoséen-refp No, not at all, I've never really used boost::fusion. I didn't know it was required
 
@FilipRoséen-refp I surrender. I'm convinced it's awesome. I will ignore that you appeared to not enjoy losing time testing today, and also my intuition that a lot of that was down to the intransparent test box given. As to the actual tests, they look crisp and elegant to me.
(I'm still a bit surprised that it would not give useful diagnostics then (since you only figured out that the hash check failed after the student mumbled about this))
 
Ell
I want to do std::all_of over the tuple elements
because I want to check each of their typeids with each runtime candidate
 
boost.org/doc/libs/1_56_0/libs/fusion/doc/html/fusion/algorithm/… seems applicable (though you probably need binary folding if that exists)
 
10:49 PM
@sehe haha no, that's not it; don't give up on me now!
@sehe because I didn't read what I was supposed to read, [atch.se/korv.png]; apparently I'm color blind.
 
Wokay!
 
Ell
oops I forgot a return. the error seems much more related now
 
@Ell so maybe binary transform followed by std::all_of would do
 
@Ell I just don't get it.. see this hack
 
Ell
@FilipRoséen-refp my explanations aren't very good at this time of night, maybe I'll have fixed it b y tomorrow night anyhow but thanks anyway :)
ah that looks good
@sehe ahh
 
10:56 PM
it's not good, it can be written in a far better manner.. but it's something different than what you are currently trying
@sehe ops, no I see that the link wasn't working as it shall.. atch.se/korv.png, but to sum it up; seems like I'm color blind, and don't trust students. (the thingie in the picture is the debug output)
 
Ell
I don't think I even need binary transform, you've given me an idea though!
 
@FilipRoséen-refp I can edit hyperlinks! It's on my CV
 
@sehe damn, I should put that on mine.. after "really good at being bad at writing hyperlinks"
 
user1804599
sleep
 
@FilipRoséen-refp typeids being identical isn't the same as arguments being convertible to the formal argument types :)
@FilipRoséen-refp lol
 
10:59 PM
@sehe surely not, but he's using the wrong tool for what he's after in either case (if that is what he's after)
 
I'd say he's not using a tool at all yet. And vastly underestimating the... fun... in overload resolution
 
ah well, that's one way of looking at it
 
Ell
@sehe wait. I do need binary transform - I see what you mean now. Thanks! :)
@sehe hey - if I was accurately estimating it, I'd never even attempt it - where's the fun in that? :D
 
Overload resolution time, my favorite! #not
 
@Ell you need a better plan..
 
11:01 PM
@Ell zing
 
@Ell what problem are you trying to solve? you know every static type of your variables at compile-time, and if you are trying to solve something like func (Base*); func (Derived*) having Base * ptr = new Derived; .. well, there certainly are better alternatives
 
runtime overload resolution. Specs unclear to me. Perhaps C++-like?
 
Ell
I'm trying to implement open multi methods
ie, the dispatch depends on the runtime type of the arguments
so you can have things like colliding(Square* a, Circle*), colliding(Polygon* a, Square* b)
and you can pass in a Shape* and they will be dispatched to the correct function
 
and call it as colliding (ptr_to_shape, ptr_to_shape)?
 
Ell
@FilipRoséen-refp yes :)
I know I could do it with visitors, or a big switch
but I'm having fun doing it this way :P
 
11:04 PM
@Ell or magic thingies.. I'll have a smoke, make myself some coffee, and it some more pizza (maybe not in that order). but if you are still working on this when I get back I'll see if I can push you in some direction
 
Ell
@FilipRoséen-refp okay cheers :)
 
if you are having fun I don't wanna interrupt, please continue.
 
smoke yourself a coffee pizza
Night all
 
@sehe peace man, always nice talking to ya
 
Ell
11:06 PM
@EvgenyPanasyuk IIRC, bjarne suggests an implementation requiring the linker to do extra work, and generate a dispatch table. But I will reread that again tomorrow :)
 
@Ell ah, ok. I just remember that he has article about that.
 
Ell
@EvgenyPanasyuk cool!
 
@Ell btw, how do you intend to make the map (or equivalent) holding all potential functions? it sure is possible with type-erasure and stuff, just asking out of curiosity about your thoughts
 
Unfortunately have to specify capture list explicitly: IF((x, local), is_same<T, std::string>) - x and local are captured.
 
Ell
@FilipRoséen-refp I've done this part by having a DynamicFunction class with a pure virtual call(std::vector<boost::any> params) member function, then I have derived template functions which implement the call function
then I have std::unordered_map<runtime_signature, DynamicFunction<ReturnT>>
 
11:11 PM
@Ell inheritance is the root of all evil
5
 
Ell
@FilipRoséen-refp haha, it's an easy way of doing type erasure though right? :P
 
@Ell one should use it carefully, but yes; type erasure is done through inheritance but you should not force a developer to use inheritance to specify that a type can be used in a certain context
 
Ell
Yes I agree with that, there are much better tools in c++ where inheritance may be necessary in other languages
 
@Ell Some might say that the other languages that use inheritance are better for many tasks, I could not possibly comment..
Also, I'm slaughtered..
 
Ell
haha
I'm elliot, pleased to meet you
 
Ell
11:30 PM
I think I need a fusion adaptor for std::vector<T> if that is even possible
I'm a little confused about the distinction between runtime and compile time in boost::fusion
 
Ell
11:44 PM
I'll just leave this here in case anyone feels like investigating coliru.stacked-crooked.com/a/15dd087e97bbeaf1
 
@rightføld Herb mentioned the concept of linearizability in his talk on lock-free programming. It seems to be about the same thing your said.
 
Ell
I need to get into concurrent more
 

« first day (1463 days earlier)      last day (3478 days later) »