#dynamic type

First Time: Short Film

Dynamic Type 2

Vector fields and bitmaps make star dust. Made in Flash with Actionscript.

Related:

그렇다면 현 세대의 정적 타입 언어들은 이 부분에서 동적 타입 언어에 대한 경쟁력을 갖고 있을까? Go의 interface나 Rust 및 Swift의 확장 가능한 타입, C# 등이 가진 향상된 제네릭 타입 등은 이 문제를 해결하는가? Haskell의 type class는 어떤가? 최근까지 학술계의 전유물에 가까웠던 dependent type이 도입된다면 타입 시스템의 이상을 깨지 않고 동적 타입에 비할 만한 유연성을 얻을 수 있을까? 오히려 반대의 일이 일어나진 않을까?

“In his [WWDC 2013] session, Ian Baird, the person in Cupertino responsible for how Apple’s mobile products handle text, showed off what he called the ‘coolest feature in iOS 7′: Text Kit,” Jürgen Siebert and Maurice Meilleur report for Typographica.…

Typing

..Erlang is dynamically typed: every error is caught at runtime and the compiler won't always yell at you when compiling modules where things may result in failure--book

Erlang is also strongly typed.

vs

Weakly type.

Example of weakly type:

6 = 5 + "1"

Erlang will not let you do this because it is strongly type