Silq is a strongly-typed, functional-styled programming language.