-
Notifications
You must be signed in to change notification settings - Fork 17
Wolfe Naming Conventions
Sebastian Riedel edited this page Mar 13, 2015
·
9 revisions
| Type | Rule | Examples |
|---|---|---|
| domains (val defs and constructors) | Uppercase, plural if length > 1, singular otherwise | Doubles, Ints, Seqs(..), val Worlds = World.Values(…), val Y = Seqs(Bools,5) |
| term val defs | lowercase, singular | val d = Doubles.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, Seq("1","2","3").toConst |
| term transformation functions | lowercase | sigm(x), log(x) |
| iterable to domain conversion | iterable.toDom | Seq(1,2,3).toDom |