59nadir

35 ms·

511.
by 59nadir 6y ago
Elixir doesn't have any concept of real tagged unions or sum types. Modelling is intimately connected to checking because when we change something (as we are wont to do) we want to have that change bubble out into the rest of the syste
512.
by 59nadir 6y ago
> E.g. when using keyword lists for function options, callers need to pass the keywords in the exact same order. This would've been fixed by creating a map from the passed in list, which would remove the order dependency but still k
513.
by 59nadir 6y ago
> Static type checking does have some advantages, it can ease some of the low level testing burden. For instance, using a tool like Dialyxir (dialyzer) is helpful in elixir to give you that extra security of static type checking. Dialyze
514.
by 59nadir 6y ago
> I often wonder whether type annotations that allow a processor to generate tests that can integrate into your test suite would be a useful thing to have. Sort of like a C preprocessor. We already have this in things like `Arbitrary` ty
515.
by 59nadir 6y ago
> I'm a bit confused by this comment. Having used both Ruby and Elixir (more Ruby) both languages have type systems which are quite capable of modeling domains[1]. They lack static type checking, but I find that a thorough test suit
516.
by 59nadir 6y ago
I've used Elixir since 2015 and I find Elixir to be unusable for any kind of intelligent domain modelling, but that's primarily because it's dynamically typed and has no concept of real sum types, etc., not necessarily becaus
517.
by 59nadir 7y ago
While it's undeniable the majority of things to come out of Rust are mostly superfluous rewrites of already solid projects (to your point about "now in Rust!" being the selling point) I think it's clear the author in thi
518.
by 59nadir 7y ago
STL is mostly garbage, which is a big reason it's not used in places that actually need performance, both for build times and runtime. Yes, it's embarrassing. I think it should be noted that the performance mantra is mostly for sh
519.
by 59nadir 7y ago
The flip side to this is that for someone who knows roughly what a CPU does (you don't need in-depth knowledge to think about pre-fetching and branch prediction) C++ is going to be easier to use to leverage that. That's really the
520.
by 59nadir 7y ago
https://github.com/antirez/sds is heaps better than just using raw strings. Any language with a fat pointer variant out of the box is going to do it better than C as well. That's not to say that the rest of C is b
521.
by 59nadir 7y ago
Zen is just a copy-paste of Zig with cringy people and marketing on top, it's not a real language.
522.
by 59nadir 7y ago
It's incredibly silly to want to insert Rust into every discussion and suggest every article written about something that Rust (sort of) does should mention it. It's not a good look for people not yet into Rust that this stuff is
523.
Part 2 of Roger Clark's throwback stream to making Notepad in C on Win2k(twitch.tv)
1 points by 59nadir 7y ago|0 comments
524.
by 59nadir 7y ago
For a moment there I thought this post was written by Bryan Cantrill. About the camps and their goals, the open source one is to some extent present, obviously, but the ad one I don't really see because I run Pro. There is a third camp
525.
by 59nadir 7y ago
I actually wanted to like Cortana and really tried, but between the service actually being down, somehow not being available just from my device other times and the phone assistant app straight up not being available in my region it was jus
526.
by 59nadir 7y ago
> Is it as bad as the article describes? I run Windows 10 Pro (English, region: Bulgaria), so I don't know if that's the reason, but I don't have any popups (notifications or otherwise) and I have 4 static gaming tiles tha
527.
by 59nadir 7y ago
I just want to caution against this advice as it's very likely to be dangerous and counterproductive for anyone who actually has real issues with their hands. The solution is to stop typing immediately .
528.
by 59nadir 7y ago
It's already been positioned as a batteries included lisp and arguably has had the best standard library offering + documentation for it of any lisp out there. This move has nothing to do with that, but rather the possibility of having
529.
by 59nadir 7y ago
C++ might be "better" now (I doubt it, to be honest, it just has more features that try to fix the issue at hand; that you're using C++), but it will never, ever get simpler or simple enough. They'd have to remove someth
530.
by 59nadir 7y ago
This isn't very readable at all and certainly not any more readable than a chain of method calls, being that you've spread the operations out in different places. It's not even syntactically obvious what the `key` argument is
531.
by 59nadir 7y ago
USB-C in general was a pointless evolution of something no one had an issue with, IMO. It's as if someone looked at the state of things and said "Where can I invent an issue and solve it?".
532.
by 59nadir 7y ago
> Friend, you're making a lot of assumptions and claims about people you don't know (including me), and have a certain streak of arrogance that is difficult to get past. This is rich, coming from someone who claimed that anyone
533.
by 59nadir 7y ago
I've done all the research I need to, thank you very much, and I was there when this thread was started and much earlier than that. The consensus in the elixir community is hardly relevant when most of the users aren't experienced
534.
by 59nadir 7y ago
Any language with the possibility to express variant types that all can have different structure and have that structure be checked at compile time, properly, will be a better choice for describing simple, medium and complex domains. Whethe
535.
by 59nadir 7y ago
Yeah, I managed to get our team members to use ElixirLS for this very reason, but in the end I found that it doesn't work when it matters. The good thing about ElixirLS is that at least you have to configure something to disable dialyz
536.
by 59nadir 7y ago
I think this is right on point. The BEAM is finely tuned for a specific problem and it solves it beautifully in a way that is extremely hard to replicate unless you actually are willing to invest in some kind of run time (which instantly ma
537.
by 59nadir 7y ago
It's a near certainty that I've written an order of magnitude more elixir code than you have and I can say without a shadow of a doubt that elixir's lack of static typing definitely makes it less useful. Even if you disregard
538.
by 59nadir 7y ago
dialyzer is terrible and doesn't actually work in practice, as is evidenced by the many dialyzer errors that slip through to current releases on hex of libraries even the size of Phoenix, StreamData, etc.... Even the major community me
539.
by 59nadir 7y ago
I think it's weirder how shady the author is about everything. Most of the claims of the language are fabrications and on top of that the closed source nature of the things he's making are already becoming a problem. I also think
540.
by 59nadir 7y ago
I find these languages that are developed behind closed doors and have no source published a bit frustrating. Even more so when they make big promises. Just like you can no longer charge for compiler, I don't think it's possible i

More ›