Квадранты типизации в языках программирования

[love5an]

Устал от того, что люди путают динамическую типизацию со слабой или называют лисп бестиповым.
Поэтому нарисовал вот такую картинку.


(*) Java, C# и Obj-c обладают возможностями динамической типизации. Например, боксинг в Object в Java и C#. Кроме того, в C# 4.0 ввели новое ключевое слово dynamic.
(**) В CL и Clojure присутствуют опциональные декларации типов, так что можно считать, что в них есть немного статической типизации. Современные реализации Common Lisp проводят агрессивный вывод типов при компиляции.
(***) Форт и языки ассемблера принято считать бестиповыми. Но, машинные слова разного размера это ведь тоже типы какие-никакие.

Вообще же, отличия вот в чем - статическая типизация предполагает проверку типов на этапе трансляции кода, динамическая - на этапе его выполнения. Сильная типизация предполагает множество проверок типов и минимум неявных преобразований между данными разных типов, а слабая - минимум проверок и максимум неявных преобразований.

Upd: вот еще jtootf подкинул ссылку: blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html

Comments

[jtootf.livejournal.com]

знания теории типов теорминимум не предполагает :)

[dmzlj.livejournal.com]

ггг. это лишнее. надо учить дополнительные ключевые слова VC++.

[sharpc.livejournal.com]

31. TaPL же.

[jtootf.livejournal.com]

и правда; однако почему она в "функциональном программировании", правда, откровенно непонятно

[udpn.livejournal.com]

а где же она ещё должна быть? отдельный раздел "основания ЯП"?

[udpn.livejournal.com]

иногда лучше читать, чем писать

[jtootf.livejournal.com]

хм?

[udpn.livejournal.com]

см. выше

[udpn.livejournal.com]

Visual Basic в клетке со слабой типизацией. Нехуево пошутил.

[love5an.livejournal.com]

там неявные преобразования на каждом шагу

[udpn.livejournal.com]

Вы хорошо подумали, прежде чем сморозить эту хуйню?

Option Explicit

Private Sub Main()
    Dim i As String
    Dim j As Integer
    i = "a"
    j = 5
    j = j + i ' 13: Type mismatch
End Sub

[xentronium.mp (from livejournal.com)]

Это как руби у тебя в сильную типизацию попал?

[love5an.livejournal.com]

сильная типизация у него, вот и попал

[xentronium.mp (from livejournal.com)]

И доказать ты это в состоянии?

[zw0rk.blogspot.com (from livejournal.com)]

В кложуре декларации типов не всегда ведут к "статичной типизации". Например, указание типа для record-а не означает, что в него нельзя запихать совсем другой тип. Это вызовет просто варнинг на этапе объявления (если попросить такие варнинги выводить).

т.е. вот

[zw0rk.blogspot.com (from livejournal.com)]

http://stackoverflow.com/questions/3344872/type-hinting-not-enforced-in-defrecord-constructors

[ander-skirnir.blogspot.com (from livejournal.com)]

Плюсую всё, кроме VB. Насчёт замечания про форт и асм - у меня всегда возникали такие-же мысли. Кстати, в C#5 будет eval и repl.

[oreolek.ru (from livejournal.com)]

Почему Perl так явно отнесён к динамической типизации?
В нём явно различаются скаляры, массивы и хэши. В том же PHP они все кидаются в одну кучу.

[(Anonymous)]

прочитай определение, вывод типов происходит на этапе выполнения. да и все неявно преобразуется ко всему, в перле очень непросто создать конфликт типов
for example:
➜ ~ perl -e '@a=(1,2,3,4); print 123; print "hello " . (bless {}, "asd") . @a'
123hello asd=HASH(0x112a268)4

[oreolek.ru (from livejournal.com)]

Это разве что пример того, как происходит неявное преобразование в строки. Да, неявных преобразований там тьма-тьмущая, и Perl предпочитает не выдавать ошибок, но компилятор в нём всё-таки есть, и он следит за типами — по-своему. Без use strict!

$octopus = [{tentacles => 1}];
print $octopus;
$octopus -> {noses} = 1;

$perl 1.pl
Not a HASH reference at 1.pl line 3.
ARRAY(0xdd9718)


Можно написать пример посложнее, на классах (package octopus; my octopus $found_pearl; ...). Статическая типизация в нём есть, просто она включается ну очень редко.

[(Anonymous)]

блядь, плюсы слаботипизированы. ОЯЕБУ
мальчик, вернись в школку, и не неси хуйню. даже шаблоны не делают плюсы слаботипизированными.

[love5an.livejournal.com]

хуи сосешь?

В языке, в котором есть void*, никакой сильно типизации нет и быть не может.

[(Anonymous)]

ты идиот и ассемблер у тебя типизированный. для начала поинтересуйся, что такое слабая типизация и вообще типизация, школоло.

[ddzhus.ya.ru (from livejournal.com)]

И не только в CL, в Racket тоже есть диалект со статической типизацией (Typed Scheme).

[love5an.livejournal.com]

да, все так