notjack

6 ms·

1.
by notjack 2y ago
Rhombus massively advances the state of the art for macro systems in infix languages. Macros in Scala, Rust, and Elixer are extremely limited compared to Rhombus macros. The enforestation-based approach that Rhombus uses and the underlying
2.
by notjack 2y ago
Are you familiar with `syntax-rules` based macros? Because this is roughly the same logic here. It's trying to unify how macros produce syntax objects via `syntax-rules`-style pattern matching and ellipses with how regular pattern matc
3.
by notjack 9y ago
This is not a disagreement on political positions, this is a belief that women are inherently less capable than men at software engineering. It's a direct attack on the legitimacy and humanity of his coworkers. A disagreement over poli
4.
by notjack 9y ago
Other programming ecosystems are at least an order of magnitude smaller and not intrinsically tied to technology that's in relatively extreme flux with a massive amount of users (browsers).
5.
by notjack 9y ago
The "Racket VM" is designed from the ground up for other languages to be built on top of it (hence the #lang line at the beginning of every file) so it would likely be much better. Hackett[1] is a Haskell-like lang built on top of
6.
by notjack 9y ago
> We did what we always do when there's a problem without a clear solution: we waited. Waiting gives us more time to add experience and understanding of the problem and also more time to find a good solution. In this case, waiting
7.
by notjack 9y ago
Note that at no point in the post whatsoever were any contributions to these specific issues from outside the core maintainers thanked or even acknowledged.
8.
by notjack 9y ago
It's worth noting that the argument against call/cc is specifically against undelimited continuations . Delimited continuations, such as those created by the `shift` and `reset` control operators, do not suffer from the problems
9.
by notjack 9y ago
Then why does their behavior disproportionately affect women, who have less power to complain about their behavior? If this were entirely an aspect of their character or personality they'd be an asshole to everyone equally, not opportu
10.
by notjack 9y ago
I think the default storage format Hypothesis uses is a flat file with a diff-friendly format so it's easy for developers to check it into source control, and it's easy for patches to update the database without exploding the git
11.
by notjack 9y ago
Some property testing tools like Python's Hypothesis[1] allow specifying specific example values for properties in addition to a general set of values so you get some specific deterministic tests. Hypothesis also saves falsifying value
12.
by notjack 9y ago
It's hard to tell from a cursory overview, but I'm pretty sure L2's macro system is roughly equivalent to "fexpr" based macro systems used by some other lisps and schemes.
13.
by notjack 9y ago
You might be able to use Rosette to implement refinement types on top of Hackett, giving you (I guess?) Liquid Hackett.
14.
by notjack 9y ago
You probably could, but part of the purpose of Idris is to statically prove things with dependent types rather than test them.
15.
by notjack 9y ago
Typed Racket runs after macro expansion, performing analysis on fully-expanded code. This technique runs as part of macro expansion, rather than after. The upshot is that macros get to use and generate type information, so language and type
16.
by notjack 9y ago
This presumes proper medical diagnosis and treatment are readily available.
17.
by notjack 10y ago
Not a server language (no NodeJS at google). The other is C.
18.
by notjack 10y ago
I wouldn't call it a grand plan, but it is one of Google's five officially supported server languages and as a result there's a lot of work being done to build tools and libraries for it. Code generation and relying on langua
19.
by notjack 10y ago
Those are two different problems.
20.
by notjack 10y ago
Go has one of the largest tech companies on earth actively pushing it and pouring countless programmer hours into developing tooling and support for it. That pretty much trumps all of its misfeatures in terms of gaining adoption.
21.
by notjack 10y ago
How does this compare to lisp and lisp-like languages that use macros to create DSLs? Particularly Racket and its #lang mechanism?
22.
by notjack 10y ago
If you don't use networks then all services are on the default network and can refer to each other by service name, so even without complicated full-blown networks links are superfluous.
23.
by notjack 10y ago
HATEOS, and REST in general, is a lot more useful when there are middlemen involved. If I have some link relation type named "api.myservice.com/rels/access-controlled-by" and some content type for authentication policies
24.
by notjack 10y ago
If your requests are "POST to create something" requests, you can get a more REST-ful flavor of idempotency by turning the POST into a redirecting GET followed by a PUT to emulate two phase commits. Instead of POSTing to /tra
25.
by notjack 10y ago
Hi, Racket community member here. Thanks for the in-depth comment about your experience, and thanks for writing about your work with the webserver library! A couple follow up questions if you've got the time: 1. Could you elaborate on
26.
by notjack 10y ago
> Whether these restricted languages are doable as embedded DSLs in general-purpose language remains to be seen I'd argue that the Racket language (or language platform, depending on your view of things) shows it's possible wit
27.
by notjack 10y ago
I think there's a tendency in the Racket community to rely much more on a thorough reading of manuals and docs than a peek at the source code. I personally can count on one hand the number of times I've had to look up implementati
28.
by notjack 10y ago
Fun fact: this is basically what Tutum did before they were acquired by Docker and became Docker Cloud
29.
by notjack 10y ago
*Alexis, not Alex
30.
by notjack 11y ago
This is a very crucial point. The so called "stupid" financial behavior of people in (first world) poverty is anything but, it's a series of carefully calculated and measured responses to extreme inflexibility. Almost all mea

More ›