Viewing profile — azdavis

Nice post, I like the benchmarking and property testing. I had a somewhat similar post: https://azdavis.net/posts/unrecur/

Thanks! But I don’t think it quite worked?

I wrote a small post on that: https://azdavis.net/posts/lambda-cube/ Hope it’s helpful!

This is likely in response to https://news.ycombinator.com/item?id=43863937

I didn’t realize that “docs like code” was a noun phrase and was trying to figure out how docs can be liking code that is in basic terms.

Might this help? I wrote it: https://azdavis.net/posts/define-pl-01/

SML pops up now and again on HN, which is always nice to see. I wrote a language server for SML in an attempt to improve the tooling situation around the language: https://azdavis.…

I made a language server for SML with a focus on attempting to provide good error messages: https://azdavis.net/posts/millet/

Glad to see new languages designed around having good support for IDEs. matklad (rust analyzer) and I wrote a bit about this: - https://matklad.github.io/2023/08/01/on-modularity-o…

For the IDE use case, I made a language server for SML: https://azdavis.net/posts/millet/

For editor support for Standard ML you can try Millet, a language server. https://azdavis.net/posts/millet/ There’s also https://smlhelp.github.io/book/ which is mostly put togethe…

The biggest reason why you'd want a formal semantics for your PL, as opposed to just a "human" language specification, is so that you can do proofs about the formal semantics. You …

I’ve been working on a language server for Standard ML called Millet: https://azdavis.net/posts/millet/ There was some past discussion about it on HN: https://news.ycombinator.com/…

Hoping Millet doesn't mean anything offensive in any language… Studio Ghibli had this problem mildly with their film "Laputa" ("la puta" = "the whore" in Spanish).

There's https://github.com/standardml/smackage

It’s a group of mostly current/former CMU 15-150 TAs working on various SML tools, like: https://github.com/brandonspark/mulligan https://github.com/T-Brick/molasses https://github…

Just to make the MVP simpler. I note in the caveats that the current approach is to recompute everything whenever even one file is changed. But that’s probably not sustainable, as …

Author here, hope you like it!

You can enforce this with a clippy lint: https://rust-lang.github.io/rust-clippy/rust-1.62.0/index.ht...

https://azdavis.net/ I often write about programming languages.

Thanks!

Thanks! I updated it and replied to the parent comment.

Do you mean the inline code or code blocks? In any case, I tweaked the background to be more different from the page background (in both light and dark mode) and also gave inline c…

The definition I gave at the end of the article (the thing starting with `t ::=`) is basically a context-free grammar describing the syntax for terms of the calculus of constructio…

Wow thanks! Never had my stuff shared out before to my knowledge but I appreciate it! I’ll take a look :D