RT https://twitter.com/kupiakos/status/1595527817785405440 :
Cursed Rust question: what happens when you pass a ZST to a C-variadic parameter?
https://github.com/rust-lang/unsafe-code-guidelines/issues/378
---
Answer:
No, there are some targets that don't ignore ZST arguments.
https://github.com/rust-lang/rust/blob/d121aa3b5584eb919a4aaf64dbae0ea1e8e30231/compiler/rustc_ty_utils/src/abi.rs#L356-L367
#rust #CompilerDesign #PLDesign
#pldesign #compilerdesign #rust
After playing with MS Power suite, I've got the urge to find some way to support spaces in variable names, thinking this could be as simple as single quotes since I don't feel the need to offer two string delimiters (gotta use up every little symbol I can). #pldesign
How much cognitive load would be added if you accessed an object's inner fields from right to left? #pldesign
Still circling the drain on the object model... I have retreated to a simple prototype model. In fact, this is what I originally imagined but I thought it was too minimal. Now I think I have come up with an expressive syntax that is minimal and powerful. #pldesign
Made some progress on the lexer yesterday. I'm trying out using libhandler by traversing source via effects (next, peek, etc) #pldesign
However if I decide to wait on speccing objects they could really suffer from feeling tacked-on #pldesign
I'm having an internal debate about whether I should converge on a more OO or functional style. I think functional style is an easier fit for the syntax I've designed and the object model currently feels incongruous. #pldesign
So I can't decide on implementing the compiler in C, C++, D, or Rust. My brain tells me to use C because it's more ubiquitous, better chance of gaining contributors, and more documentation/tooling available. But I like the idea of starting with one of the new system languages too 😖 #pldesign
Been thinking about doing a weekly stream once I've fully settled on an initial language spec. I would discuss the spec, various considerations I made and then write the compiler and tooling. I think it would be kind of neat to document right from the first loc. Would anyone on here be interested? #pldesign
Though I've been stuck on design longer than anticipated, I feel the language will be better off for it. A common theme among PL postmortems and version bump PRs is always "if only we'd done this at the beginning...". So I don't feel like this is time ill spent. #pldesign
Ok I'm still stuck between two options for my language's domain:
1⃣ <name>.xyz
2⃣ <name>-lang.org
Unfortunately, the main org domain is taken, the io domain is taken and those are my other two ideas. The "-lang" seems pretty common.
#pldesign
Any preference on a programming language url? It seems like most have org tld but they aren't as unified on the dash:
nim-lang.org
golang.org
dlang.org
kotlinlang.org
ruby-lang.org
dartlang.org
#pldesign
Feeling pretty good about functions and conditionals. Now moving on to the last fundamental piece of syntax: loops #pldesign
Anyone interested in some guiding principles of my language I'm working on, check this comment out:
https://www.reddit.com/r/ProgrammingLanguages/comments/6re0lm/why_arent_most_any_major_languages/dl5x748 #pldesign
Interesting how much variety there is wrt function signatures and return semantics. #pldesign
Working on a syntax to distinguish operator overloads and I'm wondering if I could be cunning and avoid the need to differentiate them from normal methods #pldesign
I have to remember my principles which align with innovation on a user/accessibility level not necessarily on a new-way-of-coding level. That's not to say i don't think I've found something neat but just that I shouldn't innovate for the sake of innovation #pldesign