choeger

42 ms·

541.
by choeger 5y ago
I like Rust mostly for its user-friendly tools. I dislike the compilation model. The type system I already liked even before Rust existed. So, not every String opinion on PL is down to Rust.
542.
by choeger 5y ago
To be fair, I never had a chance to use Idris nor Agda. I don't know how capable I would be to encode the proofs in libraries nor client code. If it's usable, I am all for it. Otoh, I do know that languages like OCaml, Haskell, or
543.
by choeger 5y ago
> Some people judge the language on their ability to get work done with it. Really? Safety and correctness aren't relevant for you? Then why even bother with go instead of Python or a Lisp? For me it's crucial that a programmin
544.
by choeger 5y ago
> Now that they are present, it's a legitimate language. I second that sentiment, but I would have to look into the specifics. Generics ala Java aren't really that attractive when Rust mainstreams ML-style polymorphism with Has
545.
by choeger 5y ago
The thing is that even the pessimistic explanation of the data (high immunity due to prior infection) should give everyone (except maybe some countries) hope. After all, most industrialized countries should have a double digit percentage of
546.
by choeger 5y ago
After reading this story I wonder if we are already into deep, deep trouble. So many things depend on timely production and delivery of complex goods and very often that production depends on a stack of badly written and badly used software
547.
by choeger 5y ago
Space is big. Any orbital plane has a diameter of, roughly, 13000km. That gives a sphere with a surface area of about 5.3 * 10^8 square kilometers. We could give every satellite in a single plane 100 square kilometers and still put millions
548.
by choeger 5y ago
Especially in a Mercedes.
549.
by choeger 5y ago
Schönfinkel, please.
550.
by choeger 5y ago
Can someone here enlighten me how a default can be "contagious"? I could imagine that Evergrande bonds become worthless so that many investors will realize losses. But surely no one, or very few, will have invested mostly into Eve
551.
by choeger 5y ago
Well, shit. They broke the language. I still hope that a reasonable subset of the type system remains decidable, though.
552.
by choeger 5y ago
> Frankly I don’t understand the criticism; I don’t care if I get a compiler error during template evaluation or during compilation or during linkage, a compiler error is a compiler error. You might want to consider a setup where the lib
553.
by choeger 5y ago
What's striking here is the Japanese trust into their own intel. If someone came up to me with a plan for a "surprise" attack that the defender had wargamed not once but twice and wouldn't know about any countermeasures
554.
by choeger 5y ago
Probably they cannot. They outsourced this dashboard and it runs on AWS now ;).
555.
by choeger 5y ago
No. An ML-style functor is well-designed and can be type checked at the site of definition. If C++ had functors I would be very happy, but functors are not "zero cost" abstractions..., maybe they can be in a compiler like MLton, t
556.
by choeger 5y ago
Where shall I start? Template specialization order? Recursive template definitions for variadic arguments? Conditional template arguments? std::enable_if ?
557.
by choeger 5y ago
A type safe language has a deterministic, terminating algorithm that can prove the absence of certain errors in a program. For instance you cannot use integers instead of functions in well-typed a Haskell program whereas you can make this m
558.
by choeger 5y ago
Wait a second. Your team was capable of porting from Haskell but incapable of maintaining an existing Haskell code base? Are you sure they just didn't want to use Java because of their own personal reasons?
559.
by choeger 5y ago
The complication of templates arises from the fact that you need to know the inner workings of a C++ compiler instead of just a language definition. I know that C++ is specified in a very implementation-oriented manner and I also know that
560.
by choeger 5y ago
> they are integrated into the semantics of eg. overload resolution in a way syntactic macros obviously can't be. Exactly, they are macros that can only be invoked via some weird implicit entry points. Proper macros could be used
561.
by choeger 5y ago
Haskell has the downside of being lazy and thus very unintuitive. OCaml, with multicore might be a better choice, if the community gets a tad more vibrant. But in general, I get the sentiment. For high-level projects, use a high-level langu
562.
by choeger 5y ago
You shouldn't compare C++ templates to Rust polymorphism. The latter is decidable, the former is not. Compare C++ templates to Rust macros. Btw. Who likes C++ templates? They are such a roundabout way to program the compiler that it re
563.
by choeger 5y ago
Yeah and the inter-service specification lives where? How is it monitored, tested, enforced? I have the feeling that with the (quite possible!) addition of an inter-service codebase we would end up with a distributed monolith, i.e., a progr
564.
by choeger 5y ago
That's what I said in more words. I didn't mention the case of encoding the source language in the target because it should be obvious that this is, from the perspective of the translator, the trivial, and as you mention, useless,
565.
by choeger 5y ago
> that existing Nix code could be translated into, It is highly unlikely that this is feasible. I don't know nix in detail but I infer from your post that it is an untyped language. Untyped languages can, in general, not be translat
566.
by choeger 5y ago
If I was CTO of a company, microservices would give me nightmares. How do you do due diligence on used free software (licenses and security updates)? How do you plan the resource usage of your whole setup if every developer can add a new au
567.
by choeger 5y ago
That's not true in general. Case in point: https://icfp21.sigplan.org/track/icfp-2021-papers#event-over... the key is that "elite" in science means "small", amongst other things. Any conference
568.
by choeger 5y ago
There's little that can be done, sadly. We had so many shutdowns/lockdowns that did not really help (here in Germany, lockdowns were usually announced when the growth rate had already leveled off). Closing schools and kindergarten
569.
by choeger 5y ago
Sad to read this, but at least he saw his team have some success this season. RIP, Sir Williams.
570.
by choeger 5y ago
Which step in that process could not be automated? What's so fucking difficult on either writing a Cross-Platform UI or using a Cross-Platform framework? <rant> Is it not instead the case that today's hipster developers si

More ›