Динамическая/статическая типизация, интерпретация/компиляция и функциональные языки - плюсы и минусы - Священные войны - Страница 9

@castorsky · 01.02.2015, 17:01

Студворк — интернет-сервис помощи студентам

Сообщение от taras atavin

я, в отличие от тебя, знаком с темой

Это уже все поняли

@Voivoid · 02.02.2015, 13:46

Сообщение от korvin_

То, что корректная программа может не пройти проверку типов:

Haskell
1
2
3
xs :: [Int]
xs = []
main = let f g = (g xs, g 'a') in print $ f id

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

Haskell
1
2
inc :: Num a => a -> a
let inc x = x + "1"

тоже корректная. Типа ну а чо, все ж очевидно и наглядно, инкрементируем значение x, должно работать, лол.

Сразу скажу, что мои познания в haskell'е слабы поэтому не могу продемонстрировать пример полиморфного использования функции в таком контексте. Но вот на C++ это выглядело бы примерно так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
template <typename F, typename Arg>
auto apply( Arg arg ) {
  return std::make_tuple( F()( arg ) );
}
 
template <typename F, typename Arg, typename... Args>
auto apply( Arg arg, Args... args ) {
  return std::tuple_cat( apply<F>( arg ), apply<F>( args... ));
}
 
struct Id {
 
  template <typename T>
  auto operator()( T obj ) {
    return obj;
  }
  
};
 
int main() {
  auto x = apply<Id>( 1, 2, 3, 'a', std::list<int>() );
  return 0;
}

@castorsky · 02.02.2015, 14:54

А что надо? Функция, которая ведет себя по разному с разными типами? Так вот же

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
(define (foo arg)
  (let/cc return
    (when (number? arg) (return (+ (* arg 10) arg)))
    (when (list? arg) (return (reverse arg)))
    (when (string? arg) (return (string-append arg arg)))
    (return (void))))
 
;Добро пожаловать в DrRacket, версия 6.1.1 [3m].
;Язык: racket; memory limit: 128 MB.
> (map foo '(1 "asdf" (a s d f) #[1 2 3]))
'(11 "asdfasdf" (f d s a) #<void>)
>

@Curry · 02.02.2015, 15:07

Пример рекурсии.

@korvin_ · 02.02.2015, 17:02

Сообщение от Voivoid

Не вижу в ней ничего корректного.

Сообщение от Voivoid

Но вот на C++ это выглядело бы примерно так

Взаимоисключающие параграфы?

Сообщение от Voivoid

Вообще с такой логикой и дальше можно пойти и заявить

Нельзя. Мой пример корректен, ибо id полиморфна и принимает аргумент любого типа. Проблема только в том, что Хаскелл не позволяет описать такую apply своими средствами. Остаётся только TH, но я не рассматривал подробно пример тов. KolodeznyDiver.

Сообщение от castorsky

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

Нет, которая ведет себя одинаково с разными типами.

@castorsky · 02.02.2015, 17:22

korvin_, что понимать под "одинаково"? Пока склоняюсь к противоречию. Функция определена на множестве, отображение может быть на другое множество. Нужен дженерик, имитирующий похожий результат для всех возможных множеств? 1 + 1 = 11, "foo" + "bar" = "foobar", '(1) + '(a) = '(1 a) - это одинаково?

@taras atavin · 02.02.2015, 17:23

А разве нет?

@castorsky · 02.02.2015, 17:38

Сообщение от taras atavin

А разве нет?

Я лучше поосторожничаю чем делать выводы из Ваших комментариев

@korvin_ · 02.02.2015, 17:52

Сообщение от castorsky

что понимать под "одинаково"? Пока склоняюсь к противоречию. Функция определена на множестве, отображение может быть на другое множество. Нужен дженерик, имитирующий похожий результат для всех возможных множеств? 1 + 1 = 11, "foo" + "bar" = "foobar", '(1) + '(a) = '(1 a) - это одинаково?

Речь не о функциях id и show. Речь о функции apply.

@Voivoid · 02.02.2015, 17:56

Сообщение от korvin_

Взаимоисключающие параграфы?

Я вероятно не совсем ясно выразился. Имелось в виду следующее:
"Я не вижу в твоем коде ничего корректного ( в том смысле, что ошибка компиляции в нем вполне ожидаема ), но
задачу, которую ты этим кодом пытался решить, я понял и её реализация на C++ выглядела бы примерно вот так."

Сообщение от korvin_

Мой пример корректен, ибо id полиморфна и принимает аргумент любого типа. Проблема только в том, что Хаскелл не позволяет описать такую apply своими средствами

Мой пример корректен, ибо строка "1" может быть приведена к числу 1. Проблема только в том, что в Хаскелл нет перегруженного оператора + который позволяет складывать числа со строками

Но вообще я не очень понимаю что ты хочешь этим сказать. Что возможны такие ситуации, в которых конкретная система типов окажется бессильна? Ну-у-у, вполне возможно, только подозреваю, что они носят весьма теоретический характер и на практике вряд-ли встречаются. Если же у тебя есть какие-нибудь примеры, давай, попробую написать на C++ типобезопасную реализацию

@nullxdth · 02.02.2015, 18:51

korvin_, приведи сюда, пжлст, пример с show. Ссылки почикали.

@castorsky · 02.02.2015, 20:55

Сообщение от korvin_

Речь не о функциях id и show. Речь о функции apply.

у apply одно назначение: "соединить" функцию и список аргументов (аппликация). Следовательно я делаю вывод что список может быть составлен из разных типов и функция для них одна. Оно?

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(require racket/match)
 
(define (bar x)
  (match x
    ((? number?) number->string)
    ((? char? ) string)
    ((? symbol?) symbol->string)
    (_ identity)))
 
(define (fold . xs)
  (let loop ((args xs) (acc ""))
    (match args
      ((cons (? list?) xs)
       (loop xs (string-append acc (loop (car args) ""))))
      ((cons (? vector?) xs)
       (loop xs (string-append acc (loop (vector->list (car args)) ""))))
      ((cons x xs)
       (loop xs (string-append acc ((bar x) x))))
      (_ acc))))
 
> (apply fold `(2 + 3 * e ^ #e.23))
"2+3*e^23/100"
>

@Curry · 02.02.2015, 21:19

"Сломал" я Haskell с помощью "аццкава" расширения (не рекомендованного к использованию, как небезопасное)

Haskell
1
2
3
4
5
6
{-# LANGUAGE ImpredicativeTypes #-}
 
f :: (Show b, Show c) => (forall a. Show a =>  a -> d) -> (b,c) -> (d,d)
f get (b,c) = (get b, get c)
 
main =  print $ f show (1, 'a')

Только не надо теперь говорить, что и Show не дОлжно указывать. Это уже совсем другая история.

Сообщение от castorsky

Нужен дженерик, имитирующий похожий результат для всех возможных множеств? 1 + 1 = 11, "foo" + "bar" = "foobar", '(1) + '(a) = '(1 a) - это одинаково?

"Давайте спорить, но прежде давайте условимся в терминах" (c) Сократ
Что под операцией, обозначенной как + понимать, сами можем решить. Кстати, два последних варианта в Haskell одно и тоже если использовать ++ вместо + .

Сообщение от Voivoid

Проблема только в том, что в Хаскелл нет перегруженного оператора + который позволяет складывать числа со строками

И славатехосспоти что нет

@castorsky · 02.02.2015, 21:28

Сообщение от KolodeznyDiver

Что под операцией, обозначенной как + понимать, сами можем решить.

Я думаю что об этом даже вслух не надо говорить. И так ясно.

Сообщение от KolodeznyDiver

И славатехосспоти что нет

и хосподиспасиисохрани весь люд от крестов этих

@Curry · 02.02.2015, 21:58

Сообщение от castorsky

Я думаю что об этом даже вслух не надо говорить. И так ясно.

К чему тогда Вы этот пример привели?

Добавлено через 3 минуты
Кстати, и при чём Вы ~~к ночи~~ упоминали дженерики? Даже если иметь ввиду не эти дженерики.

Добавлено через 15 минут

Сообщение от castorsky

и хосподиспасиисохрани весь люд от крестов этих

... и от ImpredicativeTypes . Я их, позволю себе вольно перевести как "непредсказуемые типы" (unpredictable - какая разница

). Невменяемые в общем. А от невменяемых типов нужно держаться подальше.
И, похоже, в некоторых языках только такие типы и есть.

@castorsky · 02.02.2015, 22:04

Сообщение от KolodeznyDiver

К чему тогда Вы этот пример привели?

Только для наглядности. Визуальное сопровождение текста вносит конкретику в его восприятие.

Сообщение от KolodeznyDiver

Кстати, и при чём Вы к ночи упоминали дженерики?

А почему их так называют? В контексте моего понимания проблемы я думаю аналогия понятна.

Сообщение от KolodeznyDiver

... и от ImpredicativeTypes . Я их, позволю себе вольно перевести как "непредсказуемые типы" (unpredictable - какая разница ). Невменяемые в общем. А от невменяемых типов нужно держаться подальше.

Ну это проблемы хацкеляторов.

Сообщение от KolodeznyDiver

И, похоже, в некоторых языках только такие типы и есть.

Например. В любом языке есть тип "байт". Опять ~~дроч~~ неудачный вброс?

@Curry · 02.02.2015, 22:21

Сообщение от castorsky

Например. В любом языке есть тип "байт".

Как он связан с реализациями ПП, о которых речь и шла?
И в Haskell байт (Word8) можно применять без всяких ImpredicativeTypes.

@korvin_ · 02.02.2015, 22:55

Сообщение от castorsky

Оно?

Зачем ты всё усложняешь?

Lisp
1
(mapcar #'print-to-string '(1 2.3 "45"))

Добавлено через 1 минуту

Сообщение от nullxdth

приведи сюда, пжлст, пример с show. Ссылки почикали.

Haskell
1
2
3
4
f :: ?
f g (x, y) = (g x, g y)
 
main = print $ f show (1::Int, "23")

@castorsky · 02.02.2015, 23:03

Сообщение от korvin_

Зачем ты всё усложняешь?

Да, действительно. Постигаю суть вопроса методом проб и ошибок.

@korvin_ · 02.02.2015, 23:06

Сообщение от KolodeznyDiver

Haskell
1
f :: (Show b, Show c) => (forall a. Show a => *a -> d) -> (b,c) -> (d,d)

А если вместо (forall a. Show a => *a -> d) взять (forall a. Show a => *a -> a), будет

Haskell
1
f2 :: (forall a. a -> a) -> (b, c) -> (b, c)

?
Но вернемся к варианту с Show, как мне теперь сделать эту функцию (f) полиморфной относительно тайпкласса? Типа

Haskell
1
f :: class c ==> (c a, c b) => (forall t. c t => *t -> t') -> (a, b) -> (t', t')

Добавлено через 1 минуту

Сообщение от Voivoid

Проблема только в том, что в Хаскелл нет перегруженного оператора + который позволяет складывать числа со строками

Как и в Scheme. Какое это имеет отношение к вопросу? В моем примере нет сложений чисел со строками, только законные действия.

Новые блоги и статьи Все статьи Все блоги /
Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. zorxor 22.08.2026 Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .	Жизня: рисунок укладки багажа, сделанный клодом anaschu 21.08.2026 Сделал 15 снимков, он по снимкам сделал схему.	Был там один разговор по поводу свободы в материальном мире. kumehtar 19.08.2026 Суть: рассматривается живое существо, оказавшееся внутри довольно странной системы (этого мира) и пытающееся обустроить в ней свой кусок пространства. Жизнь действительно предъявляет каждому. . .	Когда логика программы не спасает от человеческих ошибок Maks 18.08.2026 В последнее время всё чаще и чаще сталкиваюсь с таким явлением, как абсолютная невнимательность (или глупость) пользователей. Проявляется это чаще всего на работе в коллективе. Допустим, человек с. . .
Лето уходит kumehtar 17.08.2026	Мысли в слух kumehtar 17.08.2026 Забавно, насколько сейчас стала доступна информация. Например о магии, духовном развитии, медитациях, и других подобных направлениях, ранее зачастую тайных, передаваемых от учителя к ученику. Хотя. . .	Перемещение строк из ТЧ в другой документ с учетом текущего пробега Maks 17.08.2026 Реализация из решения ниже выполнена на примере нетипового документа "Автозапчасти", с ТЧ "Шины". За основу взят алгоритм отсюда: https:/ / www. cyberforum. ru/ blogs/ 359708/ 10838. html Задача: . . .	Саморегулирующийся социальный контракт для сервера cross-section. Hrethgir 14.08.2026 С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .

@Curry Модератор 5165 / 3527 / 536 Регистрация: 01.06.2013 Сообщений: 7,677 Записей в блоге: 9
	02.02.2015, 15:07
	Пример рекурсии. 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	02.02.2015, 17:22
	korvin_, что понимать под "одинаково"? Пока склоняюсь к противоречию. Функция определена на множестве, отображение может быть на другое множество. Нужен дженерик, имитирующий похожий результат для всех возможных множеств? 1 + 1 = 11, "foo" + "bar" = "foobar", '(1) + '(a) = '(1 a) - это одинаково? 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	02.02.2015, 17:23
	А разве нет? 0

@nullxdth 2305 / 1064 / 77 Регистрация: 12.03.2013 Сообщений: 4,987
	02.02.2015, 18:51
	korvin_, приведи сюда, пжлст, пример с show. Ссылки почикали. 0