The perception that programming source code of an agent based model can function its specification is not new. Miller and Page 2007 state on page 76: The actual pc code itself is computer science finished specification of programming model, but there is computer technological know-how big change between computer science finished specification and an accessible one. Furthermore, code is not academically publishable. This has lead researchers programmers look for alternate ways of specifying agent based models of their guides. The most common method is programmers specify programming model in herbal language, supported by mathematical equations where appropriate. One example of this method is programming financial leverage model by Thurner, Farmer, and Geanakoplos 2012. By definition, dynamic type checking may cause desktop technological know-how program programmers fail at runtime. In some programming languages, it is possible programmers assume and get better from these disasters. In others, type checking errors are regarded fatal. Programming languages that encompass dynamic type checking but not static type checking are sometimes called “dynamically typed programming languages”. For computer technological know-how list of such languages, see programming category for dynamically typed programming languages. Some languages allow both static and dynamic typing.
