« first day (928 days earlier)      last day (2564 days later) » 

11:35 AM
@Shepmaster Context? :P
I recently learned about "universal" vs. "existential" in the context of type theory stuff... now I feel a bit smart :P
And, lovely Rust people, I want this for the Rust playground. How can we make it happen?
 
 
1 hour later…
12:48 PM
@LukasKalbertodt That's interesting. The more I learn about type theory the more stupid I feel :P
 
12:59 PM
@PeterHall oh well... granted, that's usually the case for me too :D
 
1:17 PM
@LukasKalbertodt Which part of it specifically do you want?
 
@Shepmaster I don't want to create playground links manually, basically
 
So you want the integrated with SO part?
 
1:45 PM
@Shepmaster yep
 
@LukasKalbertodt Out of my control then ;-)
Otherwise I was going to enlist you to make the playground have more features
 
I think this rici didn't know Rust before and read all about it anew to answer my questions 0_o wow
 
@LukasKalbertodt likely; has a silver badge in "parsing"
@LukasKalbertodt should have believed in yourself (stackoverflow.com/questions/43692500/…)
 
2:04 PM
@Shepmaster Nah, I'm too scared now :P
 
@LukasKalbertodt Mjolnir takes a heavy toll
 
Also I was kinda disappointed in myself that I only searched for duplicates after I spent a lot of effort writing my answer... sigh
 
@LukasKalbertodt haha, I do the same sometimes
If nothing else, helps you figure out good keywords
 
@Shepmaster What are you talking about? I don't follow :P
 
sometimes I'm writing the answer and go looking for references to support my statements
and those references are the answer
6
Q: Where did the use of the name Mjolnir come from?

dav_iOften The Dupe Hammer, aka The Mighty Mjolnir is talked about. Obviously this is named after Thor's hammer in Norse mythology. But when did the name start being used in StackMythology and why?

 
2:08 PM
@Shepmaster Ah ^_^
 
I'm always surprised when "not me" closes as a dupe
Gotta get used to it!
 
But there are like 6 more Rust gold badgers, no?
 
yup
7 more, including you
but sadly many are less active nowadays
and others like DK. rarely if ever use it
 
 
3 hours later…
4:42 PM
Does anyone know how to use HeaderFormat?
 
@набиячлэвэли what's that
 
I guess I could have another type then invoke fmt_header() from its Display impl...
There's gotta be a better way tho
Like this:
struct HeaderFormatTester<T: HeaderFormat>(T);

impl<T: HeaderFormat> fmt::Display for HeaderFormatTester<T> {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        self.0.fmt_header(f)
    }
}

#[test]
fn fmt_header() {
    assert_eq!(&HeaderFormatTester(RawFsApiHeader(true)).to_string(), "1");
    assert_eq!(&HeaderFormatTester(RawFsApiHeader(false)).to_string(), "0");
}
Which, I guess, works, but is definitely less than ideal
 
5:09 PM
seems like it's not really meant to be used by anyone other than iron itself
 
6:08 PM
@Shepmaster Carol might be interested in this comment. Although I don't know if the book isn't already finalized
 
@Shepmaster Yeah but I'd've thought there was some easier way to obtain a Formatter than using another object :/
 
@LukasKalbertodt I'll pass along. My own opinion is that relating to any particular language is not useful most of the time.
like, are there really that many Haskellers coming to Rust?
 
@Shepmaster Mh... I don't know about that. I'd say many people can learn a lot easier when they can relate to something they already know. I told all of my students from whom I know they know Java, that traits are similar to interfaces.
 
@LukasKalbertodt I worded that poorly.
 
Of course, if you address all of people, it's a bit more difficult. I don't know how to solve it, but ... I think I personally would mention the relationship between a few important concepts in rust and a few important languages (like haskell, OOP stuff,...)
 
6:21 PM
Should every section in the book have a "this is what it is in language X, but it's different because A and B"
@LukasKalbertodt That's another tricky thing
 
@Shepmaster We had a survey about that, right? IIRC most of new Rust users are coming from python?
 
> few important languages (like haskell
 
@Shepmaster yeah ok, true that :D
 
@Shepmaster only if your book is targetting users of language X
 
(disclaimer: I'm expecting a visitor any time now and might vanish then :P)
 
6:22 PM
@milleniumbug I think I've heard Carol and Steve advocate that the community should produce those guides
 
I mean, it's called a "book", but it would be nice if the reader could just... say "I',m familiar with language X" and then everything is compared with language X.
Actually I'm thinking about such a system for quite some time already... mh
 
@Shepmaster But maybe link to a few nice resources in the book? :P
 
@LukasKalbertodt got any examples?
 
@Shepmaster There is a quite famous "Rust for C++ programmer", right? But I don't have anything at hand right now
 
6:26 PM
@LukasKalbertodt If it's the one I'm thinking about, it's not very good
because it hasn't really been updated in quite a while
 
 
3 hours later…
9:39 PM
Hmm...
 
 
1 hour later…
10:41 PM
Yep, sure is quiet here now.
 
11:03 PM
seriously
Are the last 2 questions "THE CALLER DETERMINES THE GENERIC"
 
Is that really an issue tho
 

« first day (928 days earlier)      last day (2564 days later) »