Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-typing

Clojure static typing, part 2

clojure static-typing

Why does this code declare a DISTINCT type?

F# - Generate simple empty type from string at compile time

Using scala to call java.util.Hashtable#put

Would optional static typing benefit Python API-design or be a disadvantage? (type checking decorator example included)

python static-typing

Static testing for Scala

testing scala static-typing

How to test if a class satisfies a concept in C++?

Can C++ pattern of making structs to 'correspond' types be emulated in Haskell (template specialization)?

Intepreters and static type checking

Why can't i declare a field using var [duplicate]

c# var static-typing

How do statically-typed languages deal without generics?

Does a type safe language needs to be statically typed?

Static type of the exception object

Homogenize a heterogenous list with a funtion that has a particular kind of context

Is it possible to specify an anonymous function's return type, in Scala?

Are union types not enforced?

Can automated unit testing replace static type checking?