Viewing profile — evincarofautumn

Wow, I honestly wonder if this was caused by mixing up “functor” in the C++ and Haskell senses… To expand on that, for those in the audience: In Haskell, a functor is a type constr…

Cool, thanks! I’m thinking about a similar sort of coercion system for a language project, and it’s good to have a slightly broader view of the design space. This area hasn’t been …

Has there been any work in Rust on something like Haskell’s ‘Coercible’? Namely, it defines the precise criteria for safe zero-cost coercions between types that provably have the s…

I would love to use it for my compiler backend…if I could find any maintained standalone implementations of it.

This is also exactly how male countertenor singers produce a female-sounding voice, by making the vocal cavity smaller to adjust the formants upward. If you don’t do that, it just …

I have an extremely strong sense of smell, inherited from my mother. Both of us are able to detect smells at lower concentrations and identify them more accurately than almost anyo…

Of course, the definition we actually use is this: -- (1) fix f = let x = f x in x Because it has better memory usage; the definition you provided is translated to the following ST…

My working model for why colours admit description more readily than smells is that we judge and decompose them in largely the same way, but it’s simply easier to develop a reperto…

> It basically combines futuristic tech with dystopian/utopian elements, and grimy, old-world stuff. In other words, “The future is already here—it’s just not very evenly distribut…

What can we do as individuals? I already eat relatively little in the way of animal products, don’t drive much, don’t use a lot of electricity or natural gas at home…but one person…

> Does Facebook own your IP? No, afaik it should still be owned by the startup incubator that was the parent company of Spaceport. We open-sourced some ancillary bits and pieces be…

I worked on a Flash implementation called Spaceport in 2012 or so. We had the most complete implementation apart from Adobe, with all kinds of goodies like actual hardware-accelera…

The language they introduce, Π, is essentially a simple concatenative programming language where all of the primitive combinators happen to be reversible; the graphical depiction i…

I don’t mean to evangelise too hard, but this is yet another reason to keep kratom legal in the US. Last I knew, over 30% of the world’s kratom is consumed by the US, and most of t…

I’m not sure, but based on what statistics I can find, it seems most blind people aren’t congenitally blind, so they probably have some familiarity with the symbols, maybe dependin…

Simon Peyton-Jones is (was?) known for writing blocks in “aligned” instead of “hanging” style, with separators in prefix: someFunction = do { foo ; mx do { baz ; pure (quux x) } ; …

Right—that was a source of inspiration for this aspect of my language. The original stated motivation in Haskell’s case was to make it easier to generate Haskell source code withou…

The language in question already has a dataflow/pipeline style by default, so expressions are generally read from left to right like this, except for some standard syntactic sugar …

Thanks so much for your response! #4 in particular is something I hadn’t considered, except in the context of how to display error messages in an editor, but now it seems obvious t…

Last I knew, Braille displays are also pretty expensive, slow, and prone to breakage. Cool idea, but doesn’t work as well as a screenreader in practice for most people.

My compiler is error-recovering for this reason: you can still get correct syntax-highlighting data even if there are lexical errors, type information even if there are type errors…

I work on programming languages (as a career & hobby) and I’d like to make sure that my main language project is designed with accessibility in mind. I need some guidance & opinion…

In my accent (a rhotic New England without the cot–caught merger) they’re all different: • “ox” /ɒks/ • “aux” /ɔːks/ • “orcs” /ɔɹks/ But hey, close enough for a pun anyway. My favo…

I sometimes dream about being & moving amongst the abstract structures that I build in my head when reasoning about a complex problem. Sometimes it gives me an insight; others, it’…