Viewing profile — anfelor

Yes, that is true! Koka's constructor contexts also allow you to do this. A constructor context is a data structure with exactly one hole which you can fill in with an arbitrary va…

Partially instantiated data structures are also available in Haskell (via Laziness), in OCaml (via tail modulo cons, https://inria.hal.science/hal-03146495/document ) and Koka (via…

Disclosure: I work on Koka's FBIP optimization (Option 4). > The most efficient data structure to use here would be a mutable dynamic array and in an imperative language that's wha…

Perhaps contrary to most people in this thread, I think you should avoid learning lenses or category theory too early. These are great tools, but they take months or even years to …

Another interesting data structure related to skiplists but not mentioned here are zip trees: https://arxiv.org/abs/1806.06726 The are a tree-based version of skiplists and thus mo…

You can use more external displays using a dock and DisplayLink Manager though. I got three extra monitors to run on my M1 Air with no problems that way.

Some of the research behind Koka was discussed at: FP2: Fully In-Place Functional Programming [pdf] - https://news.ycombinator.com/item?id=36471591 - July 2023 (24 comments) Perceu…

The headline "GPT-4 increased BCG consultants’ performance by over 40%" is misleading since it implies that they became more productive in their actual work, when this is a careful…

Sure, it would be great to chat! If you are interested in contributing to Koka at some point, there might also be opportunities there :)

These are two different languages, see https://effekt-lang.org/ and https://koka-lang.github.io/koka/doc/index.html -- although I believe that the FP^2 work mentioned by OP current…

Thanks, I am surprised and delighted to see our paper here! We also wrote a follow-up recently, which you may enjoy: https://www.microsoft.com/en-us/research/uploads/prod/2023/0...…

I would also recommend Koen Claessen's simplified finger trees ( https://dl.acm.org/doi/abs/10.1145/3406088.3409026 ) and Zip trees ( https://arxiv.org/pdf/1806.06726.pdf ) for pur…

On the contrary, I think this is a great example for how similar co-working spaces look. Even though this company apparently tried hard to make them look different, the pictures ar…

Intuition from category theory has certainly been useful for some programming language features (eg. algebraic effects, modal types or lenses), but I don't think it has helped with…

Ah thanks! I didn't find that paper, is it online somewhere? You may also be interested in the stack allocation system in OCaml: https://www.youtube.com/watch?v=yGRn5ZIbEW8 In part…

Another question: In the section on eliminating heap-allocated captures, you discuss creating a datatype for captures that is passed by-value. But what if that datatype is recursiv…

Thanks for confirming, and that is a good point! However, I think that for monomorphizing compilers, programmers often write code in such a way as to avoid triggering a larger rec-…

Thank you for this cool blog post! > Each syntactic function (a lambda \x -> ...) gets a unique name > Determine the stack size of its captures based on the largest captures of any…

https://www.jasper.ai/

This should have an (2011) in the title. luu, could you say a few words on what you found interesting about this thesis? The first chapter sounds impressive, but later it only seem…

Also, you can produce pretty horrific stuff by asking GPT to create a poem "celebrating", "glorifying" such things. You can also ask it to write a short story told by a general or …

Which programming language is best? There is no single programming language that is the "best" for all situations. Different programming languages are designed for different purpos…

The best attempt at creating a learnable programming language I've seen is this design document by Bret Victor: http://worrydream.com/#!/LearnableProgramming It is now ten years ol…

I am not sure the "Geeks, MOPs, and Sociopaths" model applies here since the most significant actors in this development came from the geek phase. SBF started out earning to give a…