Форум программистов, компьютерный форум, киберфорум
Наши страницы
Haskell
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Haskell Функция, которая меняет знак всех нечетных отрицательных элементов списка чисел http://www.cyberforum.ru/haskell/thread2222253.html
Функция, которая меняет знак всех нечетных отрицательных элементов списка чисел. Помогите пожалуйста у меня есть код, который удаляет все нечетные числа, а как сделать чтобы менялись знаки? ...
ThreadDelay - странное поведение Haskell
Хочу сделать задержку выполнения программы на какое-то время.В императиве есть Delay(..). В Haskelle нашел threadDelay из Control.Concurrent.И так код: import Control.Concurrent import...
Haskell CommitBuffer: invalid argument (invalid character)
Изучаем в универе Haskell и у меня возникли некоторые проблемы со средой разработки. Нам скинули архив, в котором был SciTE с нужными библиотеками и у всех всё работает, а у меня возникает...
Haskell Constant Allocation Form Продолжаю изучать haskell, изучаю много всего и в частности пока смотрю разные реализации вычисления чисел Фибоначчи. Интересует следующее, возьмем к примеру вот такую реализацию module Main... http://www.cyberforum.ru/haskell/thread2212430.html
Haskell Работа со списками http://www.cyberforum.ru/haskell/thread2206727.html
Здравствуйте! Есть такая задача: Написать функцию tangledMap :: → → , которая применяет функции с номерами из нечётных элементов списка к следующим чётным. Например, tangledMap == . Т.е. 0-ую...
Haskell Работа со списками
Здравствуйте! Имеется такая задача: Написать функцию complexMap :: → → → → , которая применяет функции из первого аргумента в указанном во втором аргументе порядке к списку из четвертого...
Haskell Доказать справедливость используя аксиому структурной индукции
sum (map sum xs) = sum (concat xs)
Haskell а) Задать бесконечный список. б) Найти в нем указанную величину а) Квадратные пирамидальные числа – 1,5,14,30..б)количество кратных 5 чисел, меньших 1000. http://www.cyberforum.ru/haskell/thread2206084.html
Haskell Генератор списков http://www.cyberforum.ru/haskell/thread2206072.html
С помощью генератора списков найти все комбинации и их число. В аккорд входит 3 различные ноты, найти все аккорды , состоящие из 12 различных нот(одной октавы) и их число.
Haskell Списочные функции высших порядков a) используя функцию map: все четные элементы списка удвоить, а нечетные уменьшить на 3 б) используя функцию filter: удалить из строки все заглавные гласные буквы в) комбинируя две упомянутые... http://www.cyberforum.ru/haskell/thread2206068.html
hardentoo
127 / 26 / 1
Регистрация: 10.10.2017
Сообщений: 32
03.04.2018, 22:18  [ТС] 0

Почему компилится?

03.04.2018, 22:18. Просмотров 360. Ответов 3
Метки (Все метки)

Ответ

Я думал, что не будет компилится, потому что когда вызовем id 2, то компилятор будет считать, что id :: Integer->Integer, и ему не понравится id "string", так как там уже id :: String -> String. Понял, что был не прав, так как все равно id :: a-> a, и у нас действительно 2 разных вызова функции, не смотря на MonomorphismRestriction, который делает несколько иное. Catstail, KolodeznyDiver, ваши примеры разобрал, спасибо.

Вернуться к обсуждению:
Почему компилится?
0
Answers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
03.04.2018, 22:18

Есть объект типа T, но если вместо него подставить вызов функции, возвращающей T, код не компилится, почему?
Есть объект типа vector<int>, но если вместо него подставить вызов функции, возвращающей...

Не компилится(
Что за ошибка? Код likes('Иван’,’Марья’). likes('Петр’,’футбол’). likes('Иван',X) :-...

Не компилится!
Здравствуйте. Подскажите ошибки пожалуйста. Задание: Написать рекурсивную функцию, которая...

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2019, vBulletin Solutions, Inc.