Programming Languages Concepts: Difference between revisions

From NovaOrdis Knowledge Base
Jump to navigation Jump to search
Line 13: Line 13:
==Type Systems==
==Type Systems==


* [[The Go Type System]]
* [[Go Concepts - The Type System|The Go Type System]]


=Duck Typing=
=Duck Typing=

Revision as of 19:49, 16 March 2016

Typing

Static Typing vs Dynamic Typing

Dynamically typed languages are convenient, but certain types of errors cannot be caught until the program executes. For statically typed languages, many of these errors are caught at the compilation phase. On the downside, static languages usually comes with a great deal of ceremony around everything that happens in the program (heavy syntax, type annotations, complex type hierarchies).

Strong Typing vs Loose Typing

Type Systems

Duck Typing

Metaprogramming

Metaprogramming is writing code that manipulates other code, or even itself.

Functional Programming

Closures and recursion are at the base of the functional programming paradigm.

Closures