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
Replying to
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
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).
1
1
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