throwaway17_17

10 ms·

91.
by throwaway17_17 10mo ago
What is the proposed replacement for ASM (in particular) and C in the context of the bootstrapping process? Then why lump ELF (unless you don’t mean the executable format) in with the low level language? Historically, pjmlp has pushed very
92.
by throwaway17_17 10mo ago
Can you explain the assembler bit? Are you talking about the handling of inline assembly? I though Rust allowed that in unsafe code.
93.
by throwaway17_17 10mo ago
I really am curious why the article goes with just implementing Templates early. If the question is going back from today (or even 2013 as the year for Bjarne giving the question to his class) why would someone recommend templates when type
94.
by throwaway17_17 10mo ago
Curious as to why you chose Pony as the language to use for your none used language. Any specific reason or was it just the first one that you thought of that fit the sentence? I’m not sure if Pony is still being used, but the language was
95.
by throwaway17_17 10mo ago
I read the aliasing post that made the front page yesterday and thought it was good, then read this post and thought the same. Only after scrolling back to top of page did I notice this is Matt Godbolt’s blog. I really have a to respect a g
96.
by throwaway17_17 10mo ago
I see that there is a section (relatively short) on real time GC. But for anyone who has read the Handbook, how much emphasis is placed on GC in constrained environments. I have fought the urge to implement a 3D, modern AA game with GC just
97.
by throwaway17_17 10mo ago
What the actual fuck? What does your comment mean? Is there some sort of substance to your statement or are you just being a hateful troll? Did you even read the post? Are you trying to draw some conclusion from a person’s appearance? I don
98.
by throwaway17_17 10mo ago
From the outside looking in, it seems that despite trends in language development to the contrary, Rust has taken an extremely conservative stance on the inclusions into and the evolution of its standard library. I applaud the decision and
99.
by throwaway17_17 10mo ago
I just wanted to drop a quick comment to clear up your first question. The term ad-hoc polymorphism to describe both Haskell and Rust’s typeclasses/traits is taken directly from Wadler and Blott’s paper which introduces the idea/c
100.
by throwaway17_17 10mo ago
Both of the example things you picked are generic types, and container-esque types at that. I think that my opposition to generics in general is a scale of dislike for different uses of generics. So, an off the cuff scale from (well founded
101.
by throwaway17_17 10mo ago
Swift is a good reference point in this area because Swift essentially took the dictionary-passing approach of Haskell and added the ‘low level’ type information like bit-width, offsets, etc as a Type Metadata parameter. The big upside is t
102.
by throwaway17_17 10mo ago
My problem with ad-polymorphism is primarily that it encourages more generic-ness in authoring code, which I am aware is often lauded as a positive characteristic of a given program. Taken to the extreme, there are whole communities of deve
103.
by throwaway17_17 10mo ago
I’ll answer what I think is the more interesting topic first (i.e. licensing is discussed at the bottom): To start, for Rust to a larger degree than Scala, I certainly don’t think the language lacks merit. I am convinced the hype around Rus
104.
by throwaway17_17 10mo ago
My reason for citing the package manager (and its popularity) as a reason I dislike Rust is because the language org that oversees the language oversees Cargo and its ecosystem. It’s not a tribal thing, it’s a “I feel like this choice enabl
105.
by throwaway17_17 10mo ago
I laid out three examples of issues I have with Rust in a sibling comment (which I can never remember how to link), those weren’t exhaustive, merely illustrative. The Rust zealot posting (if they ever really existed) have certainly not been
106.
by throwaway17_17 10mo ago
As I think I conveyed in my original post, I am not against anyone using whatever language they want to make their software. If a "genius" Rust program 'solved' cancer I would be exceptionally impressed by the PROGRAMMER
107.
by throwaway17_17 10mo ago
I am not certain that technical argumentation is required on many, many threads on HN. In fact, TFA is just a blog post about the concept of compiler backends generally. Also, the comment I replied to was not a technical question so I just
108.
by throwaway17_17 10mo ago
Of the three options you presented as being potential results of putting forward arguments supporting my dislike of Rust, the third is interesting. I am quite sure that a vast majority of actual Rust programmers would consider addressing my
109.
by throwaway17_17 10mo ago
Just be clear, it is not a case of I don’t want to learn anymore. That’s actually pretty far from the case. As an example and sticking to programming languages, I am currently putting Koka and Eff through their paces and learning a decent a
110.
by throwaway17_17 10mo ago
Not parent, but I share the ambivalence (at best) or outright negativity (at worst) toward the focus on Rust. It is a question of preference on my part, I don’t like the language and I do not want to see it continue to propagate through the
111.
by throwaway17_17 10mo ago
Disney has a long history of donating large dollars to ultra-conservative legislators and presidential hopefuls (they also donate to liberal candidates as well). As for the Muslim portion, it’s most likely due to Disney donating $2 million
112.
by throwaway17_17 10mo ago
Is this even a fair question? A common response to pointing out that Oberon and the other Wirth languages where used to write several OS’s (using full GC in some cases) is that they don’t count, just like Minix doesn’t count for proof of mi
113.
by throwaway17_17 10mo ago
I don’t disagree with you about the additional inefficiency that is very likely to accumulate as JS adds more and more ‘features’ (via the language, frameworks, or libraries). But as a genuine question, isn’t this reimplementation (or any c
114.
by throwaway17_17 10mo ago
While I agree with GP that this should be the expected behavior, your comment raises what I think is a large problem/wild-goose-chase in ‘modern’ language designs implementing concurrency. The push from language designers (this applies
115.
by throwaway17_17 10mo ago
I applaud the work that’s been done on Dingo (I also really like the name and inspiration, i.e. Dingo is a language that broke free from Google’s control). However, I don’t think Dingo is Typescript for Go, because it is too limited in scop
116.
by throwaway17_17 10mo ago
Not parent, but I think there is certainly space for a Typescript-esque language for Go. If the parent commenter was looking for a static type system, the implication is they would probably want a more functional language inspired type theo
117.
by throwaway17_17 10mo ago
I think the view that it’s a non-issue comes down to familiarity via language usage. I am on the ‘everything explicit all the time’ team and see no issues with Allocator, or the proposed IO mechanism. But, programmers coming from other lang
118.
by throwaway17_17 10mo ago
I think (and I’m not a Zig user at anything above a hobbyist level) based on what the developers have discussed publically: React has a ‘roughly’ functional slant to the way it does things and so needs to provide a special case ‘hook’ for a
119.
by throwaway17_17 10mo ago
This is pretty concise, but is still really technical. That aside, I think the actual bone of contention is that Zig’s IO is not a Reader-esque structure. The talks and articles I’ve read indicate that function needing the IO ‘context’ must
120.
by throwaway17_17 10mo ago
I see I’ve been beaten to the punch, but I’ll post my try anyway. Your comment about IO handled by an external system In response to a comment about the more general concept of a monad is what they are, somewhat abruptly referring to in the

More ›