azdavis
No user record in our sample, but azdavis has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but azdavis has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
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.net/posts/millet/ The main motivator…
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-of-lexica... -…
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 together by current/past CMU students. Note: I…
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 can prove your PL, as defined,…
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/item?id=32512715 For my part, I think…
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.com/shwestrick/parse-sml
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 I admit myself in…
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 code that same background. Does that…
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 constructions. `t ::= ...` is saying "A CoC term,…
Wow thanks! Never had my stuff shared out before to my knowledge but I appreciate it! I’ll take a look :D