Delphi vs C++ vs C# , ну и Java немножко, где-то ближе к старшему байту номеров страниц

[D_KEY]

Цитата korvin @ 01.05.11, 21:29

алг.типы -- это просто наборы полей, где нулевое поле -- метка конструктора

Брр... Ты валишь в одну кучу реализацию и теорию.
Алгебраические типы данных - дизъюнктивное объединение декартовых произведений множеств.
Для задания АТД и работы с ними вводят конструкторы, части, селекторы, предикаты.
Все остальное - вопрос реализации. И реализация в scala ничем не уступает реализации в haskell.

Сообщение отредактировано: D_KEY - 01.05.11, 21:38

[Мяут-Настоящий]

Цитата korvin @ 01.05.11, 21:34

затем, что весь юниксовый шелл по сути работа с неизвестными объектами -- разбор текстового IO

И часто ты путал номера аргументов в awk'е? И нахрена это в высокоуровневый ЯП тащить?

Сообщение отредактировано: Мяут-Настоящий - 01.05.11, 21:41

[D_KEY]

Цитата korvin @ 01.05.11, 21:34

Цитата D_KEY @ 01.05.11, 21:19

Описывают.
А в ОО-мире алгебраические типы данных вполне можно рассматривать как абстрактный класс + фиксированный(или нет) набор конкретных классов.

нет. нельзя, т.к. класс сам по себе не предоставляет должной абстракции. для алг. типов набор конструкторов строго фиксирован

В scala у класса один конструктор(при необходимости можно ввести дополнительный конструктор, но не для case-класса).

Цитата

Цитата Мяут-Настоящий @ 01.05.11, 21:33

Вот так и непонял, нафига взаимодействие с "неизвестными объектами"

затем, что весь юниксовый шелл по сути работа с неизвестными объектами -- разбор текстового IO

Причем тут это? И как ты собираешься у текста спрашивать, какие операции он поддерживает?

[korvin]

Цитата D_KEY @ 01.05.11, 21:38

Цитата korvin @ 01.05.11, 21:29

алг.типы -- это просто наборы полей, где нулевое поле -- метка конструктора

Брр... Ты валишь в одну кучу реализацию и теорию.
Алгебраические типы данных - дизъюнктивное объединение декартовых произведений множеств.
Для задания АТД и работы с ними вводят конструкторы, части, селекторы, предикаты.
Все остальное - вопрос реализации. И реализация в scala ничем не уступает реализации в haskell.

нет, не валю, а ты похоже путаешь CS и теорию множеств =)

Добавлено 01.05.11, 21:47

Цитата D_KEY @ 01.05.11, 21:45

В scala у класса один конструктор(при необходимости можно ввести дополнительный конструктор, но не для case-класса).

я не понял к чему ты это

Добавлено 01.05.11, 21:48

Цитата D_KEY @ 01.05.11, 21:45

Причем тут это? И как ты собираешься у текста спрашивать, какие операции он поддерживает?

при том, что удачный парсинг == подтверждение реализации объектом интерфейса.

[D_KEY]

Цитата korvin @ 01.05.11, 21:45

Цитата D_KEY @ 01.05.11, 21:38

Цитата korvin @ 01.05.11, 21:29

алг.типы -- это просто наборы полей, где нулевое поле -- метка конструктора

Брр... Ты валишь в одну кучу реализацию и теорию.
Алгебраические типы данных - дизъюнктивное объединение декартовых произведений множеств.
Для задания АТД и работы с ними вводят конструкторы, части, селекторы, предикаты.
Все остальное - вопрос реализации. И реализация в scala ничем не уступает реализации в haskell.

нет, не валю, а ты похоже путаешь CS и теорию множеств =)

Валишь. Даже по твоей ссылке подтверждения твоим словам нет.

Сообщение отредактировано: D_KEY - 01.05.11, 21:49

[korvin]

Цитата Мяут-Настоящий @ 01.05.11, 21:41

И часто ты путал номера аргументов в awk'е? И нахрена это в высокоуровневый ЯП тащить?

не понял при чем тут путание аргументов в awk, но попробуй мыслить абстрактно

[D_KEY]

Цитата korvin @ 01.05.11, 21:45

Цитата D_KEY @ 01.05.11, 21:45

Причем тут это? И как ты собираешься у текста спрашивать, какие операции он поддерживает?

при том, что удачный парсинг == подтверждение реализации объектом интерфейса.

Я не понимаю, как можно сравнивать парсинг с программированием.

[korvin]

Цитата D_KEY @ 01.05.11, 21:49

Валишь. Даже по твоей ссылке подтверждения твоим словам нет.

гм... как бы первый же абзац

Цитата

In computer programming, particularly functional programming and type theory, an algebraic data type (sometimes also called a variant type[1]) is a datatype each of whose values is data from other datatypes wrapped in one of the constructors of the datatype. Any wrapped datum is an argument to the constructor. In contrast to other datatypes, the constructor is not executed and the only way to operate on the data is to unwrap the constructor using pattern matching.

Добавлено 01.05.11, 21:55

Цитата D_KEY @ 01.05.11, 21:50

Я не понимаю, как можно сравнивать парсинг с программированием.

тоже попробуй мыслить абстрактно.

парсим текст => (распарсили => работаем с полученными данными) || выдаем ошибку
опрашиваем объект о реализации интерфейса => (интерфейс реализованн => работаем с объектом) || выдаем ошибку

[Мяут-Настоящий]

Цитата korvin @ 01.05.11, 21:53

опрашиваем объект о реализации интерфейса

Ну дак в моем коде это делает dynamic_cast<Interface*>

[D_KEY]

Цитата korvin @ 01.05.11, 21:53

Цитата D_KEY @ 01.05.11, 21:49

Валишь. Даже по твоей ссылке подтверждения твоим словам нет.

гм... как бы первый же абзац

Цитата

In computer programming, particularly functional programming and type theory, an algebraic data type (sometimes also called a variant type[1]) is a datatype each of whose values is data from other datatypes wrapped in one of the constructors of the datatype. Any wrapped datum is an argument to the constructor. In contrast to other datatypes, the constructor is not executed and the only way to operate on the data is to unwrap the constructor using pattern matching.

Ну и где тут "набор полей"? Где тут противоречие с реализацией scala(scala в статье упоминается в списке языков с поддержкой алг.типов данных)?

Цитата

парсим текст => (распарсили => работаем с полученными данными) || выдаем ошибку
опрашиваем объект о реализации интерфейса => (интерфейс реализованн => работаем с объектом) || выдаем ошибку

Да, именно это происходит в языках со статической типизацией. В частности, при инстанцировании шаблона в С++.

[korvin]

Цитата Мяут-Настоящий @ 01.05.11, 22:02

Цитата korvin @ 01.05.11, 21:53

опрашиваем объект о реализации интерфейса

Ну дак в моем коде это делает dynamic_cast<Interface*>

не делает, нет у нас SomeClass, у нас есть просто объект, неизвестного класса.

Добавлено 01.05.11, 22:11

Цитата D_KEY @ 01.05.11, 22:05

Да, именно это происходит в языках со статической типизацией. В частности, при инстанцировании шаблона в С++.

нет, не происходит. с каким классом шаблон инстанциируешь?

[D_KEY]

Цитата korvin @ 01.05.11, 22:09

Цитата Мяут-Настоящий @ 01.05.11, 22:02

Цитата korvin @ 01.05.11, 21:53

опрашиваем объект о реализации интерфейса

Ну дак в моем коде это делает dynamic_cast<Interface*>

не делает, нет у нас SomeClass, у нас есть просто объект, неизвестного класса.

Откуда он у нас есть?

[korvin]

Цитата D_KEY @ 01.05.11, 22:05

Ну и где тут "набор полей"?

а что это по-твоему, как не набор полей простой структуры?, не ну можно и просто массив, собственно он от структуры только отсутствием разметки и отличается.

Добавлено 01.05.11, 22:15

Цитата D_KEY @ 01.05.11, 22:12

Откуда он у нас есть?

откуда угодно, из сети например

[D_KEY]

Цитата korvin @ 01.05.11, 22:09

Цитата D_KEY @ 01.05.11, 22:05

Да, именно это происходит в языках со статической типизацией. В частности, при инстанцировании шаблона в С++.

нет, не происходит. с каким классом шаблон инстанциируешь?

С тем, который "пришел" На этапе компиляции же. Тип будет выведен, или будет указан явно.

[korvin]

Цитата D_KEY @ 01.05.11, 22:19

С тем, который "пришел" На этапе компиляции же. Тип будет выведен, или будет указан явно.

откуда пришел? как ты выведешь тип готового объекта неизвестного типа в условиях статической типизации (да и в условиях динамической это не просто)?
вот давай я щас опишу какой-нить класс на С++, создам объект и скину тебе его двоичное представление. выведешь тип? причем на этапе компиляции обязательно

Сообщение отредактировано: korvin - 01.05.11, 22:25