Viewing profile — Sonata

Great to see this moving forward. It does seem a bit of a mixed message to enable this by default while still saying the functionality is experimental. I fear many people will take…

The approach taken to this problem by Cats Effect (a Scala concurrency library) is interesting. It allows cancellation of a fiber from outside, but let's blocks of code be marked a…

As long as they don't make them mutable!

Nice to see some Scala content on HN. Hope he finishes the book.

Here a common example: Given the following tables: CREATE TABLE person ( id INT PRIMARY KEY, name VARCHAR NOT NULL ); CREATE TABLE pet ( id INT PRIMARY KEY, name VARCHAR NOT NULL, …

Youth culture is alive and well. And as for music subcultures, I'm a fan of several genres which have distinctive fashions, art styles and world views - rave, psytrance, drum and b…

I'm glad people are working on this problem. Typescript's compiler performance is certainly a weakness. Other commenters have rightly called out the complexity of the type system a…

Interesting. I'm not aware of any other lazy dynamic languages. I would assume it is difficult to optimise such a combination.

Having a good knowledge of HTTP is useful in many different contexts. - The correct semantics for each HTTP method - What different status codes indicate - Common headers, particul…

The important thing is that it separates the order of side-effects from the order of evaluation of expressions. This isn't a particularly important distinction in an imperative lan…

There are a lot of interesting possibilities with template literal types. I've discussed some of them here: https://davidtimms.github.io/programming-languages/typescrip...

This sounds similar to how Cloudflare Workers work - using the V8 isolate technology built for Chrome to provide secure isolation of backend processes without the overhead of VMs o…

If you're looking to create a dynamic language with reasonable performance, you could look at implementing it with RPython [1], which is used for PyPy, or for the Parrot VM [2], wh…

I'm really not a fan of the function bind operator. It adds extra complexity to the meaning of "this" in JS, which is already one of the most confusing aspects of the language. I d…

What features would a type system require to be able to soundly type check 100% of the patterns that are found in dynamically typed programs? Dependent types? Refinement types? Is …

After having used this operator in Elixir and Elm, I would love to see it in JS. I know it seems like a superficial issue, but I think the left-to-right chaining flow is one of the…

This is exactly the response to this tragedy that I was fearing in the UK. What the article fails to mention is that France passed their own sweeping surveillance law earlier this …

I really hope immutable collections get added to the standard library eventually (probably ES2017 at this rate). Proxies should allow them to be used with libraries which expect mu…

This looks fantastic. Python always feels like it's almost as good as a dynamic, imperative language could get, but I miss some of the functional idioms from other languages. It's …

This is something which really excites me about Rust. Having constructs as fundamental as function application extensible via traits reminds me of Python's magic methods, but witho…

Haskell and Clojure both use structure-sharing data structures, which allow immutability without the cost of copying the entire structure whenever you want to make an update. They …

From what I can see, seamless-immutable basically just enforces immutability on native JavaScript data structures. Immutable.js on the other hand, implements full persistent data s…