andolanra

10 ms·

31.
by andolanra 6y ago
This does not make Rust less safe. The capability to use assembly is already there: either by using the existing assembly syntax, by linking to C code, or by linking to assembly routines directly. In order to use this, you need to use the
32.
by andolanra 6y ago
One thing you can do is explicitly revoke permissions. This allows you to start the program with more permissions and then give them up as the tasks that required them are done, e.g. allowing environment variable access at the beginning a
33.
by andolanra 6y ago
Because Python's design philosophy is that, for a given operation exposed by the language, there should ideally be a single clear way of doing it, and that philosophy is optimized around reading code rather than writing it. You might
34.
by andolanra 6y ago
Some of these are arguably "incorrect abstractions", but others are just design decisions that are being treated as "incorrect" because they don't follow Haskell's design sensibilities. A perfect example is the
35.
by andolanra 6y ago
This is a very old opinion, and one I don't think has aged terribly well. How old? Partway down the page there's a link called "new developments" that cites GHC 6.12, a version that came out in 2009! Some thing it cites
36.
by andolanra 6y ago
You can't import your posts, but they will still exist at your old account: if I move from foo@social.example to bar@social.example, then all the posts I made as @foo are still visible on @foo's timeline, rather than getting moved
37.
by andolanra 7y ago
I now use a personal Gogs instance, but I also want to give a shout-out to Klaus: it's something like Gitweb with a more Github-like UI. Klaus (like Github) shows you first and foremost the state of the tree with nicely rendered or syn
38.
by andolanra 7y ago
I'm not necessarily going to go to bat for the specific encoding of OOP Haskell in the linked post, but in general , there are problems where objects are a good fit. William Cook (in the paper On Understanding Data Abstraction, Revis
39.
by andolanra 7y ago
"Please don't fall into the trap of believing that I am terribly dogmatical about [the goto statement]. I have the uncomfortable feeling that others are making a religion out of it, as if the conceptual problems of programming cou
40.
by andolanra 7y ago
My Firefox install has seven search engines by default in the "one-click search engine" options. By contrast, DuckDuckGo has 13000 bang shortcuts. Sure, you don't need all of them, but I use dozens: some of them almost dail
41.
by andolanra 7y ago
"[Haskell is], indeed, heavily founded on mathematical theories (category theory and lambda calculus)." This is a pretty common reason given for why Haskell is "math-ey", but I'd argue it's simultaneously a bit
42.
by andolanra 7y ago
I said this in a previous comment on a different story, so I'm going to copy-paste the content of that comment with some minor edits: The bfnightly tutorial is a very good tutorial, but I do want to warn that it's not always terri
43.
by andolanra 7y ago
The text does indeed say marg bar America , the phrase being discussed in the article. The bombs aren't supposed to indicate "let's drop them on America", but rather are intended to represent the bombs dropped by Americ
44.
by andolanra 7y ago
The bfnightly tutorial is a very good tutorial, but I do want to warn that it's not always terribly idiomatic Rust: Herbert was using the writing of the tutorial as a way of practicing Rust, so there are places where the explanations a
45.
by andolanra 7y ago
I own a handful of Esperanto books, most of them translations that range in quality (e.g. a surprisingly good translation of The Hobbit that also translates both the poetry and the runes on the map, but also an abysmally bad translation o
46.
by andolanra 7y ago
Servo is not a browser, it is a browser engine . To quote the Mozilla Research page about it: "Like WebKit, the Servo project is not a complete browser. It is an experimental project that delivers components that can load, run, and
47.
by andolanra 7y ago
If you were to open a file that didn't exist and then not use the result at all , then you get a warning (which can be made an error, if you want): File::open("foo"); // warning: unused `Result` that must
48.
by andolanra 7y ago
You should probably have read the rest of the blog post, because in Rust it is a compiler error to not test the result, and the post specifically calls this out. Specifically, look for this section: let mut my_file = MyFile::open(pa
49.
by andolanra 7y ago
There are some papers (which postdate this blog post) that add simple extensions to context-free grammars that are capable of expressing the grammars of indentation-based languages in a principled way: Principled Parsing for Indentation-Sen
50.
by andolanra 7y ago
> …you have to remember Haskell's list comprehension syntax… I get the point you're trying to make, but this feels like a huge stretch. Haskell's list comprehension syntax is straightforward and in many cases a terse and u
51.
by andolanra 7y ago
I think this is a question that's orthogonal to OOP-versus-functional-programming, but is rather about programming style. Haskell programmers like being terse, but there's also nothing stopping you from writing Haskell like this:
52.
by andolanra 7y ago
Others have pointed out that Rust's type-checking is all done at compile time. Rust also does not have exception handling. To be more specific: errors in Rust are either propagated by function return values (usually in the form of `Res
53.
by andolanra 7y ago
One thing I like about Rust a lot is that it lets you choose which hit you want to take when it comes to polymorphism. You can manually (and without much difficulty!) prefer dynamic dispatch if it's important to you to keep your bina
54.
by andolanra 7y ago
The thing Interslavic is doing has also been tried before, but the illustrative example isn't Esperanto (which is an ad-hoc mixture of words taken arbitrarily from existing languages and put into a synthetic grammar) but rather Interli
55.
by andolanra 7y ago
A friend of mine one jokingly but reasonably accurately described Ithkuil as, "Build a language with as much derivational morphology as humanly possible, then add some more, and you've got Ithkuil." It's a fascinating ex
56.
by andolanra 7y ago
They address this briefly in the PEP[0], and it's largely because they want to be very clear about when it's happening. The distance between if x = y: and if x == y: is very small, and easy to ignore, so insistin
57.
by andolanra 7y ago
For what it's worth, I've worked as a professional Haskell programmer at multiple companies and have been writing Haskell for more than a decade, and I still have trouble reading code written in that style. I usually end up deco
58.
by andolanra 7y ago
Sorbet has two components, broadly speaking: the typechecker, which is a standalone application, and the runtime, which is a Ruby gem. The typechecker can parse Ruby code and find the sig blocks in the code to extract type information fro
59.
by andolanra 7y ago
After poking around the site, I can't see any specific reference—which makes me suspect it was an independent discovery of a cool idea—but this is very similar to a deliberately-constrained version of the Join Calculus https:/&
60.
by andolanra 7y ago
The Voynich manuscript has been pretty reliably dated to the early 15th century by both carbon dating and by comparison of the materials, techniques, and style used in the manuscript—tens of thousands of years, at least, after a proto-human

More ›