-
Notifications
You must be signed in to change notification settings - Fork 17
Wolfe Naming Conventions
Sebastian Riedel edited this page Mar 3, 2015
·
9 revisions
| Type | Rule | Examples |
|---|---|---|
| domains (val defs and constructors) | Uppercase, plural | Doubles, Ints, Seqs(..), val Worlds = World.Dom(…) |
| term val defs | lowercase, singular | val d = Double.Var |
| domain specific term constant constructors | domain.Const(value) | worlds.Const(World(true,false)) |
| domain specific term constructors | domain.Term(…) | worlds.Term(x,y) |
| domain specific variable | domain.Var | worlds.Var |
| constant creation with implicit domains | value.toConst | 2.0.toConst |
| create constants with creating anonymous domain | standard scala constructor for type, with Const postfix | SeqConst(…), SetConst(…), Tuple2Const() |
| term transformation functions | lowercase | sigm(x), log(x) |
| iterable to domain conversion | iterable.toDom | Seq(1,2,3).toDom |