kebab-case-identifers?
- neverOK7.9%
- (ideal-for a-lisp)67.4%
- always-ok(even, here)24.7%
89 votesFinal results
10
3
Conversation
For folks voting "always-ok", have you seen it anywhere in the wild?
8
Koka uses them! Nix as well.
2
1
Nice! I see that in the Koka book:
koka-lang.github.io/koka/doc/book.
but can't find evidence of it for Nix... Am I looking in the wrong place?
1
Oh, to be clear, in Nix they are 'always allowed' but generally only used as identifiers for packages names, by convention. To be honest I'd prefer they were always used though! nixos.org/guides/nix-pil
1
1
Oh I should also add that Agda allows dashes in identifiers. Whether they are used is a matter up author discretion though (I'm not sure if any precise programming standards exist).
Also add Twelf to the list: cs.cmu.edu/~twelf/guide-1 For an example of it in use: twelf.org/wiki/Proving_m - other characters are also allowed, so using `/` is a common idiom in identifiers: twelf.org/wiki/Linear_lo