Drup

18 ms·

121.
by Drup 10y ago
Well, there is the speed argument. Regular expressions (not the pcre kind with backtracking and stuff) are blazing fast. Ragel[1] is a good example of that. In general, though, I actually agree. [1]: http://www.colm.net/op
122.
by Drup 10y ago
Indeed, that is the exact goal. For the little history, I started this for URLs[1]. I couldn't (and still can't) figure out a proper interface for that, but someone mentioned he would like something like that for regular expressio
123.
by Drup 10y ago
Hi, author here! I didn't invented the combinators for regex, that was already in ocaml-re (which is used as backend for tyre). The combinator approach has many advantages: - You don't need to remember which regex syntax the lib
124.
by Drup 10y ago
> trendy crap > 80 year old concept that has spanned dozens of programming languages. I don't even disagree with you, the "throwback to the roots" thing is not very useful most of the time, except for intellectual curio
125.
by Drup 10y ago
At least for the dependency solving part, a generic exchange format has emerged: CUDF ( http://www.mancoosi.org/cudf/ ). Several efficient solvers have been implemented that supports this input format. You can read about
126.
by Drup 10y ago
A good amount of new toy-ish languages compile to another language (typically javascript), and introduce new semantics and new type rules. As parent said, small DSLs. You don't really need more than a typechecker and ast tranformations
127.
by Drup 10y ago
Furthermore, the semantics of a language should be tailored for its target. Some execution pattern works well on the JVM, some don't. Same for javascript and other targets. Inventing whatever semantics you have in mind without consider
128.
by Drup 10y ago
So, the TAPL ? :) https://www.cis.upenn.edu/~bcpierce/tapl/
129.
by Drup 10y ago
https://www.emacswiki.org/emacs/TabBarMode
130.
by Drup 10y ago
Regarding the non-metalness of long words, it's just that you are not trying hard enough: http://www.invisibleoranges.com/death-metal-english/
131.
by Drup 10y ago
If you read more carefully, you would see he would prefer that the language would not allow him to ignore errors. You say "The idiomatic answer to this is that you should check error status", yes, that's a Go design pattern,
132.
by Drup 10y ago
You should read the first two blog posts in detail. He didn't knew OCaml at all at the time, and answers your remark about Go directly in the second post.
133.
by Drup 10y ago
I really whish more people knew about OCaml's object system. I would actually argue that OCaml has a better OO system than most OO languages, but it looks and feel quite different (it's "functionalish": immutable by defa
134.
by Drup 10y ago
This is related to the mirage/Solo5 integration, which you can read about in this blog post: https://mirage.io/blog/introducing-solo5
135.
by Drup 10y ago
Well, we have an excellent linter, it's called "The OCaml type checker". It even has customizable warnings for your coding style. ;)
136.
by Drup 10y ago
If you want readable regexp, just use combinators and your language's variable declaration facilities. No need for more. I don't understand why people still insist on using insane syntax for regexps instead of just ... functions (
137.
by Drup 10y ago
You can, that's precisely why we have functors and for this kind of use cases (abstracting a module over another), they are much nicer than type classes.
138.
by Drup 10y ago
I'm really wondering to which package manager you are comparing, because except cargo, all the other language package managers are either worse, or just straight crap. Linux distro package managers are usually decent, but most of them
139.
by Drup 10y ago
> Its small size serves both its aspirations of correctness ... No, a compiler (hell, a software) written in C is not correct, period. If you want a C compiler that has slight chances to be correct, you use compcert. The small size is an
140.
by Drup 10y ago
In practice, all swedes are bilingual english (yes, including young kids).
141.
by Drup 11y ago
If I may, that just means that either 1) your tooling is bad 2) Scala's type system is too complex. I don't know scala much, but it's not a problem in other languages with full inference (particularly OCaml, but it's not
142.
by Drup 11y ago
That is not exactly correct, it also does cross module inlining. Now, suppose you tweak a bit your parameters to inline ... liberally. It's going to inline all the mirage functors directly into your main, which enables various things.
143.
by Drup 11y ago
> While rolling your own parser will free you from ever getting error messages from your parser generator, it will also keep you from learning about ambiguities you may be inadvertently designing into your language. I tried several time
144.
by Drup 11y ago
Frankly, this question doesn't make sense. OCaml's type system is much richer than SML's. The opposite is pretty trivial, though.
145.
by Drup 11y ago
For a split second, I though it was a 23 pages RFC to formalize Hashtags. I got afraid.
146.
by Drup 11y ago
On the other hand, you don't need to know all of OCaml to be effective and unknown features are not going to come and bite you while you don't use them. Most people don't know the object system. Most advanced features are rar
147.
by Drup 11y ago
I understand why one would avoid first class modules (I don't use them a lot either). However I fail to see why functors are too complicated, since they are basically just functions. Could you explain ? Also, according to this[1], Ther
148.
by Drup 11y ago
Just to drive the whole "this comparison is misleading" point further: https://github.com/atemerev/skynet/pull/23 Lwt is a cooperative multi-threading library with a particular semantic: A task that
149.
by Drup 11y ago
Am I the only one that was slightly taken aback by the casual use of the word "bitch" in a document that is mostly formal and well articulated?
150.
by Drup 11y ago
> The essence of heavy metal is discipline in service of the preposterous. At its best, the genre solemnizes the impulses of adolescence. Eh, that's an interesting (if very partial) view of heavy metal.

More ›