~?~

~?~

~?~

~?~

Introduction Pragmas Object Oriented Programming Objects Mutually recursive types Type conversions Object variants Methods Method call syntax Properties Dynamic dispatch Exceptions Raise statement Try statement Annotating procs with raised exceptions Generics Templates Macros Expression Macros Statement Macros Term rewriting macros Building your first macro Generating source code Generating AST by hand Author: Andreas Rumpf Version: 0.10.2 Introduction "Repetition renders the ridiculous reasonable." -- Norman Wildberger This document is a tutorial for the advanced constructs of the Nim programming language. Note that this document is somewhat obsolete as the manual contains many more examples of the advanced language features. Pragmas Pragmas are Nim's method to give the compiler additional information/ commands without introducing a massive number of new keywords. Pra...

Introduction The first program Lexical elements String and character literals Comments Numbers The var statement The assignment statement Constants The let statement Control flow statements If statement Case statement While statement For statement Scopes and the block statement Break statement Continue statement When statement Statements and indentation Procedures Result variable Parameters Discard statement Named arguments Default values Overloaded procedures Operators Forward declarations Iterators Basic types Booleans Characters Strings Integers Floats Type Conversion Internal type representation Advanced types Enumerations Ordinal types Subranges Sets Arrays Sequences Open arrays Varargs Slices Tuples Reference and pointer types Procedural type Modules Excluding symbols From statement Include statement Part 2 Author: Andreas Rumpf Version: 0.10.2 Introduction "Der Mens...

Introduction The first program Lexical elements String and character literals Comments Numbers The var statement The assignment statement Constants The let statement Control flow statements If statement Case statement While statement For statement Scopes and the block statement Break statement Continue statement When statement Statements and indentation Procedures Result variable Parameters Discard statement Named arguments Default values Overloaded procedures Operators Forward declarations Iterators Basic types Booleans Characters Strings Integers Floats Type Conversion Internal type representation Advanced types Enumerations Ordinal types Subranges Sets Arrays Sequences Open arrays Varargs Slices Tuples Reference and pointer types Procedural type Modules Excluding symbols From statement Include statement Part 2 Author: Andreas Rumpf Version: 0.10.2 Introduction "Der Mens...

home docs learn download forum faq slides # compute average line length var sum = 0 count = 0 for line in stdin.lines: sum += line.len count += 1 echo( "Average line length: " , if count: sum / count else : 0 ) # create and greet someone type Person = object name: string age: int proc greet (p: Person ) = echo "Hi, I'm " , p.name, "." echo "I am " , p.age, " years old." var p = Person (name: "Jon" , age: 18 ) p.greet() # or greet(p) slide0 Why should I be excited? Nim is the only language that leverages automated proof technology to perform a disjoint check for your parallel code. Working on disjoint data means no locking is required and yet data races are impossible: parallel : var i = 0 while i <= a.high: spawn f(a[i]) spawn f(a[i+ 1 ]) # ERROR: cannot prove a[i] is disjoin...