A programming language is said to use static typing when type checking is performed during compile-time as opposed to run-time.
There's not much info in the spec on what type ascription is, and there certainly isn't anything in there about …
scala static-typing ascriptionIs there any support for static typing in ECMAScript 6? How about ECMAScript 7?
javascript ecmascript-6 static-typing ecmascript-7I am a PHP web programmer who is trying to learn C#. I would like to know why C# requires …
c# static-typingI am wondering if there are any statically typed, embeddable scripting languages. Python, JavaScript, etc. are great languages, but they …
language-agnostic embedded-language static-typingI'm working with a large existing Python codebase and would like to start adding in type annotations so I can …
python static-typingHow can I have multiple class constraints, so if A is an Eq and B is a Num, I could …
haskell types static-typing type-signatureI know you can create an anonymous function, and have the compiler infer its return type: val x = () => { System.…
scala anonymous-function static-typingI am looking for a Lua front-end compiler that is type-checked at compile time, but outputs standard Lua 5.1 byte-code (that …
compiler-construction lua static-typingI wondered if there is a programming language which compiles to machine code/binary (not bytecode then executed by a …
programming-languages typing static-typing dynamic-typingI'm coming from a statically-typed background and investigating functional programming, but I'm not entirely excited about dynamic typing. I'm curious …
types programming-languages functional-programming static-typing