« first day (1054 days earlier)      last day (3895 days later) » 

Xeo
11:00 PM
@Ell oh, I see
 
Ell
@deadmg yeah, vs is more lenient with incomplete types or something?
 
yeah.
 
Xeo
(I still want polymorphic values in C++)
 
particularly, if you have like unordered_map<K, V>, then VS will let the V be incomplete.
whereas GCC and libstdc++ won't.
@Xeo Robot and I talked about this for Wide, and it's not really possible to add it.
 
Ell
And yeah. I don't know what the problem is. Next time I can compile I will ask a question on SO about linking problems.
I know I said I would before, but I couldn't write a decent question
it seems like a very specific instance nobody else seems to have a problem with :S
 
Xeo
11:01 PM
I don't think polymorphic values would work for C++, though. :/ what's sizeof(my_polymorphic_maybe)? Ill-formed might be an option, just like for dynarray / VLA
Also decltype(my_polymorphic_maybe), might return template<class T> using that_type = maybe<T>; or something
Or maybe ill-formed too
 
@Xeo The bigger problem is that inferring T is much, much more difficult in C++.
 
Xeo
But if we get polymorphic values, we also need polymorphic type variables, i.e. class Ts that are not bound to anything in particular during instantiation (auto?)
@DeadMG Yeah, if you have template<class T> using Maybe = variant<Just<T>, Nothing>; for example, the T is a problem for deduction if you get passed Nothing.
 
Ell
How would a polymorphic value work? O.o
 
@Ell In C++ it basically wouldn't.
 
Ell
Can't you implement it with a vla? I guess there would be much UB :3
 
Xeo
11:05 PM
The type of the value would be polymorphic, not the value itself.
@DeadMG Not without reworking a whole shitton of stuff, atleast
 
@Xeo More than that, you would be talking about a very large re-engineering of the language.
 
Ell
Yeah I just realised the value itsself being polymorphic makes no sense
 
when I was talking about it to Robot, I decided that it wasn't feasible for Wide, and that is already a very large re-engineering.
 
Xeo
You need to kinda work in that direction from the beginning, I guess.
 
Ell
what is a use case for it?
 
Xeo
11:06 PM
Proper none for optional that doesn't need you to specify any specific type
numeric literals
 
@Xeo It's more than that. It interacts quite poorly with function overloading, for example.
 
Xeo
variant-types
 
and you need much more advanced type inference
 
Xeo
@DeadMG Hm... example?
 
@Xeo Well, apparently, in Haskell if you have something like a list of T, and then you insert an integer, then the compiler deduces T == int.
 
Ell
11:09 PM
I'm about to run out of battery. Talk to you guys tomorrow
 
What kind of music is this
 
Xeo
> :t [Nothing, Nothing, Nothing]
[Nothing, Nothing, Nothing] :: [Maybe a]
> :t [Nothing, Nothing, Nothing, Just 3]
[Nothing, Nothing, Nothing, Just 3] :: Num a => [Maybe a]
> :t [Nothing, Nothing, Nothing, Just (3 :: Int)]
[Nothing, Nothing, Nothing, Just (3 :: Int)] :: [Maybe Int]
@DeadMG ^ like that, I guess
 
yep.
whereas there's no way I could implement something like that in Wide.
 
Xeo
hmhm
welp, really need to get to sleep now
see ya tomorrow
 
bb
 
11:18 PM
I do wonder whether I'm being trolled here:
@minitechme Lol. It's right there in the tweet. And the screenshot. And, after all, in the webpage :/ https://twitter.com/sehetw/status/375270800804179969
 
what the
some company called "GameBrain" started following me on twitter
 
bots, bots everywhere
 
Huh from what I can tell it's an attempt at getting indie devs to notice their service
indie game devs that is
I can't for the life of me figure out what their service is though
 
0
A: C++11 introduced a standardized memory model. What does it mean? And how is it going to affect C++ programming?

ntfsWhat's the stupid question?! Google before asking it http://en.wikipedia.org/wiki/Memory_consolidation#Standard_Model_2

 
11:34 PM
 
remarkable
 
So I came back to Cookie Clicker...
I'm not used to things with frequent updates.
 
@Mysticial i feel like flagging as inappropriate
 
I spent way too much time deciding if I should use unreliable sequenced or reliable sequenced
 
11:49 PM
argh
the new ideone's sample for C++11 comes with using namespace std;.
 
is there a way to unflag something? i have a really old flag which is still active and i dont really agree with it anymore. can i get rid of it?
 

« first day (1054 days earlier)      last day (3895 days later) »