Java vs Kotlin

Цитата korvin @ 23.07.11, 11:44

задача изначально была одна: определить тип (int > 0) средствами статической типизации. если ты ее как-то не так понял, не зачем возмущаться =)

Кинь ка мне ссылочку на изначальное определение задачи.

Добавлено 23.07.11, 11:47
Может я чего упустил.

Цитата MyNameIsIgor @ 23.07.11, 11:45

А я здесь типизации не вижу.

как это нет? integer -- один тип, natural -- другой. у них есть определенные различия

Добавлено 23.07.11, 11:49

Цитата Повстанець @ 23.07.11, 11:46

Кинь ка мне ссылочку на изначальное определение задачи.

Может я чего упустил.

вот основной вопрос: Java vs Kotlin (сообщение #2941949)

в качестве примера я выбрал определение типа (int > 0)

Цитата korvin @ 23.07.11, 11:46

ой лол, тебе система типов на что дадена?

Явно не для того, чтобы ветвления устраивать, ага.

Цитата korvin @ 23.07.11, 11:47

в качестве примера я выбрал определение типа (int > 0)

Что выбрал, то и получил. Хотел в статике -- получил в статике.

Цитата MyNameIsIgor @ 23.07.11, 11:50

Явно не для того, чтобы ветвления устраивать, ага.

какие ветвления? о чем ты? я всего лишь хочу тип natural

Цитата korvin @ 23.07.11, 11:44

задача изначально была одна: определить тип (int > 0) средствами статической типизации

Покажешь пример с динамической типизацией, позволяющий объявить такой тип?

Просто в статике это можно реализовать через пользовательский тип с проверкой значений во время выполнения. Другого способа нет. Ни в статике, ни в динамике. Поэтому такие типы и не применяются.

Цитата Повстанець @ 23.07.11, 11:52

Что выбрал, то и получил. Хотел в статике -- получил в статике.

нет, не получил

Цитата korvin @ 23.07.11, 11:56

нет, не получил

Да ну... Статика? Статика... Всё что меньше нуля отбрасывает? Отбрасывает.

Все дальнейшие условия появились после решения этой задачи.

Сообщение отредактировано: Повстанець - 23.07.11, 12:00

Цитата amk @ 23.07.11, 11:55

Покажешь пример с динамической типизацией, позволяющий объявить такой тип?

я уже показывал:

(define (natural? x)
  (and (integer? x) (positive? x)))
 
; или используя контракт and/c:
 
(define natural? (and/c integer? positive?))

все

Цитата amk @ 23.07.11, 11:55

Просто в статике это можно реализовать через пользовательский тип с проверкой значений во время выполнения. Другого способа нет. Ни в статике, ни в динамике. Поэтому такие типы и не применяются.

я знаю, проверка в конструкторе. только в динамике и так все в динамике, поэтому противоречий с системой типов не происходит. и таки в динамике применяются.

Добавлено 23.07.11, 12:01

Цитата Повстанець @ 23.07.11, 11:57

Да ну... Статика? Статика... Всё что меньше нуля отбрасывает? Отбрасывает.

пример с переменными, а не константами, будет? или вы всю программу в константах пишете?

Цитата korvin @ 23.07.11, 12:00

пример с переменными, а не константами, будет?

Ты не просил переменных и рантайм. Ты просил статику и этап компиляции.

korvin, вам бы научиться изъясняться... Желательно по-русски...

Цитата korvin @ 23.07.11, 12:00

я знаю, проверка в конструкторе.

Жаждите увидеть такое? Тогда к чему вопросы, если понятно, что это реализуемо?

Нифига не понял.

template <bool> Bool2Type{};
 
template <typename T> T f(T t, Bool2Type<false>);
template <typename T> T f(T t, Bool2Type<true>);
 
template <typename T> T f(T t)
{
  return f(t, Bool2Type<std::numeric_limits<T>::is_signed>());
}

Цитата Повстанець @ 23.07.11, 12:02

Ты не просил переменных и рантайм. Ты просил статику и этап компиляции.

угу, статику с переменными, или что, статическая типизация этого не позволяет? константы я и в CL/Racket могу в compile-time проверять.

Добавлено 23.07.11, 16:47

Цитата MyNameIsIgor @ 23.07.11, 12:06

Жаждите увидеть такое?

нет, такой ад не жажду увидеть

Добавлено 23.07.11, 16:47

Цитата Qraizer @ 23.07.11, 14:55

Нифига не понял.

template <bool> Bool2Type{};
 
template <typename T> T f(T t, Bool2Type<false>);
template <typename T> T f(T t, Bool2Type<true>);
 
template <typename T> T f(T t)
{
  return f(t, Bool2Type<std::numeric_limits<T>::is_signed>());
}

аналогично

Цитата korvin @ 23.07.11, 16:46

нет, такой ад не жажду увидеть

Жалкий ниасилятор

Цитата MyNameIsIgor @ 23.07.11, 17:19

Цитата (korvin @ Вчера, 19:46)
нет, такой ад не жажду увидеть
Жалкий ниасилятор

Пример был реально аццкий)) Недетерминированный тип простым фабричным методом... оригинально. А если условие чуть усложниться? Надо будет, скажем, отдельный тип для простых чисел. На что unsigned заменишь, чтобы контроль не потерять? В этом плане пример korvin'а, конечно, рафинирован гораздо лучше.