Extend identifier syntax + conventions #32

New issue

Open

opened 2026-07-01 10:47:26 +02:00 by st · 0 comments

st commented

2026-07-01 10:47:26 +02:00

Owner

A Lean naming convention is to define operations that might fail in groups using the suffixes ? for a version that returns an Option, ! for a version that crashes when provided with invalid input

This could easily be adapted, and extended to cover predicates even?, head?

Julia uses ! customarily for functions that mutate their input, this also makes sense here

> A Lean naming convention is to define operations that might fail in groups using the suffixes ? for a version that returns an Option, ! for a version that crashes when provided with invalid input This could easily be adapted, and extended to cover predicates `even?`, `head?` Julia uses `!` customarily for functions that mutate their input, this also makes sense here