Viewing profile — Weebs

Not the person you replied to but I leave unused variables as future TODOs. It's a warning in F#. I also often use them for inspecting data in the debugger

Shhh no class consciousness on HN allowed

Waiting for async to finish and await are two different things. Async functions essentially have a different calling convention than standard functions. They're either converting y…

I keep asking LLMs if I can define an interface implementation as an expression or without creating a new type in C# Every single one I ask always happily says yes, and starts clai…

A VM with good FFI and structs is pretty unique and all of the tooling around .NET is excellent F# is a sleeping giant of capability in the FP/ML space, being able to use a lot of …

Any lesser known knobs one should know? I'm considering a .NET backend for my compiler

I've been working on a C++ backend for F# and while I'm very familiar with F# and it's AST I barely know C++. The amount of time I save being able to ask things, check my understan…

Now do it with code

I'm wrestling with this right now. I only use LLMs for design and exploration because I am not employed and can't pay for a subscription right now, and they make the design phase f…

A lot of code ends up being easy to factor out into small pieces for tests. I can't speak for Haskell but coming from another ML with eager evaluation step debugging works as you w…

I like to think about it as a VM that all the major browsers agreed to implement, designed by a broad group of stake holders with lessons from past plugin and VM systems For that i…

Certain algorithms are a lot easier. It's not needed though

Interesting language! I like the focus

They're modeling reactivity, not classes. It's a well established pattern in functional programming The one time setup mixed with repeated render calls is odd, but it's a design de…

"I thought this would be about Hegel... oh, wait"

This is a direction I've been pushing in partly because I'm using a significantly slower type inference algorithm in my language. I'm hoping with that and focusing on separate comp…

Afaik that is true of traditional HM, but fortunately there was a big advancement in inferring subtypes w/ Dolan's Algebraic Subtyping a few years ago! It's not nearly as fast as H…

I've been left out of the loop by people before because of it. It's not a big deal but it's annoying to have it come up all the time

There's definitely tradeoffs to some things, and I think in particular Rust's static guarantees can cause additional friction, but in general I've found ML derived languages to be …

Good to hear they're providing a good dev experience. My only gripe at the time was more of a worry on whether the split was going to be worthwhile because the ML ecosystem is alre…

I have nothing to say other than thank you! I might not use OCaml often myself, but I appreciate the effort to improve the ML ecosystem in any way :) I was a bit disappointed with …

> And we should all try to do something weird. YES It's a big world out there and there's so many cool techniques we know are helpful but aren't widespread and really should be, an…

You got me thinking and I think part of what it comes down to for typed FP languages is that you can either generally 1) Go for a simple design, but having poor interop with existi…

Yeah I'm not saying immutability solves the problem, I am saying that having good support for immutability is helpful for building those synchronization and rollback systems. If I …

I'm not the person you replied to, but symbols are easier to distinguish visually, tho they need careful balance. Too many are worse than too few