気休め語〈consolation word〉で印象が変わる、という大問題。逆に、気休め語を分析する。
列挙。随時追加予定。
| オフィシャル構文 | 気休め語 |
|---|---|
| 1-σ | signature, class, typeclass, specification, interface, traits |
| 1-γ | construction, functor, abstractclass, adaptor, transformer |
| 1-γ from Δ | structure, implementation, class, instance, object, record, tuple, row |
| 0-σ | subset, finiteset, enum, tuple, record, object |
| 0-γ | function, assignment, map |
| 2-σ | doctrine, metaclass, metasignature |
| 2-γ | |
| 0 | sort, type, object |
| 0-σ{0} | element, point, slot |
| 1 | operation, operator, function |
| 1 :_1→* | element, point, constant |
| 1 :*→_2 | predicate, proposition, condition, constraint |
| 1 :this→* | property, attribute, query |
| 1 :this→this | method, command |
| n+1 | equation, assertion, axiom, judgement, rule |
