leshow

57 ms·

751.
by leshow 9y ago
It's not though, AFAIK the x.foo() syntax is just sugar for let a = Foo; Foo::bar(&a); // if bar takes &self Plus, there is no concept of inheritance. I don't see how that meets any definition of OOP unless you m
752.
by leshow 9y ago
is bounded another word for ad-hoc? I always considered Rust's polymorphism implementation like Haskell's, and AFAIK they call it ad hoc polymorphism.
753.
by leshow 9y ago
This shows purescript winning by about twice. It also has more stars on github. I know you aren't OP, but it doesn't sound like they have jack shit to back up their statements.
754.
by leshow 9y ago
If you're asking about gtk-rs, yes you use it just like a library. The only reason the unsafe block is there is because it does FFI. The Rust compiler inherently doesn't trust ffi calls. That doesn't mean necessarily that the
755.
by leshow 9y ago
I've been a chrome user since it came out pretty much, I loved it. But I also love Rust, so I gave it a try when it came out in nightly. FF definitely 'feels' snappier and I've transferred all my bookmarks and everything
756.
by leshow 9y ago
Where can I find usage numbers of purescript and scalajs?
757.
by leshow 9y ago
The type you propose can inhabit both different variants at once, the entire point of Option is that it is either something or not.
758.
by leshow 9y ago
It's not just python that uses self. Rust, for example, it's sugar for self: Self
759.
by leshow 9y ago
You'd need generics and algebraic types to implement Result/Option
760.
by leshow 9y ago
I'm not sure if you can really express it in OO. Sum types are used to represent a closed set of variants. Inheritance like that isn't closed. In languages that have both OO and ML/Haskell-style type systems like Scala, the f
761.
by leshow 9y ago
You could easily use this argument against the writer of the original blog post. "Someone wrote a blog post saying React's license is bad"
762.
by leshow 9y ago
> C is much more forgiving :). I think this is confusing being permissible with difficulty. Because C is permissible, it makes writing correct code in it hard. The fact that the Go compiler has a (relatively) simple type system and is ab
763.
by leshow 9y ago
> ScalaJS are making progress and could eventually be real players. So ScalaJS could be a "real player" but PureScript is barely able to exist? Forgive me if I don't just take your word for it.
764.
by leshow 9y ago
You can use one for most of these functions if you switch to a tiling wm. i3 is popular and has very good defaults I find, I don't really need tmux when I can arrange terminal windows however I like with it. Most tiling WM's are e
765.
by leshow 9y ago
One benefit of the diesel approach is that it's type safe, whereas the pure SQL approach isn't.
766.
by leshow 9y ago
This has also been my experience. Elm programmers don't tolerate dissent. The community is welcoming so long as you toe the line.
767.
by leshow 9y ago
> In Hollywood, men at certain levels throw tantrums and break things when something isn't to their liking. How is that a gender specific thing?
768.
by leshow 9y ago
I agree, I've always found the use of the word 'steroids' in this manner pretty crude.
769.
by leshow 9y ago
Pick almost any technology, even outside of computers. You could make the exact same statement. I don't see the ethical problem.
770.
by leshow 9y ago
I've used pass for years, it's great.
771.
by leshow 9y ago
What do you think Apple or Google does with your files after they are uploaded? Do you think they aren't encrypted and spread out over several machines?
772.
by leshow 9y ago
Rocket uses some advanced codegen and procedural macro stuff that's not on stable if memory serves. The annotations for routes, for example.
773.
by leshow 9y ago
Rocket is great. Congrats on the new release!
774.
by leshow 9y ago
You have a migrations dir that contains the changes to schemas over time, so you can always get your table in to the state it needs to be in.
775.
by leshow 9y ago
I can't make heads or tails of what your criticism is. Algebraic types are wonderful, I find it difficult to code in a language without them. I'd hardly call it 'junk'.
776.
by leshow 9y ago
It seemed to me he was recognizing her skill as a distiller of information. That's what a lot of her posts are, how is that disrespectful?
777.
by leshow 9y ago
I see what you were getting at now, thanks.
778.
by leshow 9y ago
> for me types are an optimization or extra documentation for undescriptive naming, This is one of those things where you should try to reserve judgement about it because your experience is so limited. Modern typed languages often don&#x
779.
by leshow 9y ago
I don't think approaching type systems from the mathematical angle is much help either. When I was learning Haskell, I started to try to learn category theory to develop a better understanding of what was going on. In the end I decided
780.
by leshow 9y ago
C++ metaprogramming might not be pretty, but it's extremely expressive, I'd be surprised if it didn't have some kind of type theoretic background.

More ›