Аннотация:
Задача данного материала — обеспечить ''мягкое'' введение в программирование на Haskell для имеющих опыт программирования, по крайней мере, на одном языке, желательно функциональном (даже если это ''почти функциональный'' язык, такой как ML или Scheme).
Здравствуйте, VladD2, Вы писали:
VD>Вообще-то сообщение более чем внятное. VD>Компилятор, что не показал на место где была ошибка?
Внятное сообщение об ошибке еще не является оправданием того, что бы простейшие примеры конфликтовали со стандартным пространством имен. Как бы вам понравилось если бы в аналогичном простейшем С++-примере расчитанному на дилетантов именовали бы функцию как printf или SendMessage
Здравствуйте, palm mute, Вы писали:
PM>Здравствуйте, Mirrorer, Вы писали:
M>>Здравствуйте, lomeo, Вы писали:
L>>>Между прочим! Помните статья Фоккинги ходила на голландском (или кто он там) то ли по ТК, то ли по стрелкам. И ничего, все читали, благо картинок там было много, а язык математики что твой эсперанто.
M>>Не помните . Делись ссылкой
PM>Ты правда хочешь читать статью по теории категорий на голландском (у меня ссылки нет, просто из любопытства спрашиваю)?
Почему читать??? ты говорил о картинках! Комиксы по теории категорий на бочку! =)
Здравствуйте, Starlight, Вы писали:
ДМП>>Задача данного материала — обеспечить ''мягкое'' введение
S>Ну и название вы выбрали... Прям как для каких-нибудь рассказиков определенной тематики
Я не виноват! То есть переводил я, но я перевёл просто как "Введение в Хаскелл". Все вопросы по поводу названия к уважаемой редакции
Здравствуйте, palm mute, Вы писали:
PM>Ты правда хочешь читать статью по теории категорий на голландском (у меня ссылки нет, просто из любопытства спрашиваю)?
А в чем проблема то ? У меня был опыт чтения туториалов по Eclipse на японском (естественно я его не знаю)
Может окажется, что подробное текстовое описание мне мешает понять смысл, а вот зубодробительная математика в чистом виде даст просветление. В дзенском варианте. Палкой по башке
Здравствуйте, lomeo, Вы писали:
L>Здравствуйте, EvilChild, Вы писали:
L>>>Найду — обязательно поделюсь, пока не вспомню.
EC>>Это? EC>>Искал так.
L>Точно
Эй! Обещал на голландском, а подсовываешь на эстонском
Здравствуйте, lomeo, Вы писали:
L>Здравствуйте, R.K., Вы писали:
RK>>Ну или явно импортировать Prelude и захайдить length:
L>Маленькая поправка. Не явно, а квалифицировано (qualified).
Выдержка из того же "мягкого введения":
Programs implicitly import the Prelude module. An explicit import of the Prelude overrides the implicit import of all Prelude names. Thus,
import Prelude hiding length
will not import length from the Standard Prelude, allowing the name length to be defined differently.
А вот квалифицировано это будет примерно так:
import qualified Prelude as P
length :: [a] -> P.Int
length [] = 0
length (x:xs) = (P.+) 1 (length xs)
main = P.print (length [1,2,3])
Тоже можно, но в данном случае я предпочту явный импорт
Здравствуйте, deniok, Вы писали:
D>Просто в обучении Хаскеллу сложилась такая практика — разбирать в качестве примеров реализацию функций из стандартной библиотеки. Во многих руководствах соответствующее предупреждение (о необходимости переименования) присутствует. В GIH в этом отношении, действительно, есть некоторая недоработка.
Дык сложилась, не сложилась... неужели трудно дать рабочий пример? С тем же экспортом и явным исключением.
В С-шных книгах тоже часто разбирают язык на базе фукцний из стандартных библиотек, но что-то я не видел каких-то конфликтов.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
ДМП>Авторы: ДМП> Денис Москвин (перевод)
ДМП>Аннотация: ДМП>Задача данного материала — обеспечить ''мягкое'' введение в программирование на Haskell для имеющих опыт программирования, по крайней мере, на одном языке, желательно функциональном (даже если это ''почти функциональный'' язык, такой как ML или Scheme).
Здравствуйте, Кодт, Вы писали:
К>Жёсткое введение — это когда тебе сразу вручат текст про бананы, линзы и разлохмаченный провод, причём на голландском языке. И читай как можешь.
Между прочим! Помните статья Фоккинги ходила на голландском (или кто он там) то ли по ТК, то ли по стрелкам. И ничего, все читали, благо картинок там было много, а язык математики что твой эсперанто.
Здравствуйте, lomeo, Вы писали:
L>Между прочим! Помните статья Фоккинги ходила на голландском (или кто он там) то ли по ТК, то ли по стрелкам. И ничего, все читали, благо картинок там было много, а язык математики что твой эсперанто.
Здравствуйте, Mirrorer, Вы писали:
M>Здравствуйте, lomeo, Вы писали:
L>>Между прочим! Помните статья Фоккинги ходила на голландском (или кто он там) то ли по ТК, то ли по стрелкам. И ничего, все читали, благо картинок там было много, а язык математики что твой эсперанто.
M>Не помните . Делись ссылкой
Ты правда хочешь читать статью по теории категорий на голландском (у меня ссылки нет, просто из любопытства спрашиваю)?
Здравствуйте, palm mute, Вы писали:
P>>Почему читать??? ты говорил о картинках! :)) Комиксы по теории категорий на бочку! =) PM>Ты меня с кем-то путаешь. С lomeo, например :).
P.S. Понятно, что это непринципиально, но я по своей неопытности в этой области полчаса потратил, что бы до меня дошло, в чем тут ошибка. Интересно то, что данный пример фигурирует во многих публикациях, но такое чувство, что никому нету до этого дела, что здесь ошибка.
Здравствуйте, sharcUs, Вы писали:
U>дело в том, что в Prelude есть функция length, которая возвращает количество элементов, поэтому название для функции нужно изменить, например:
Ну или явно импортировать Prelude и захайдить length:
Здравствуйте, sharcUs, Вы писали:
U>Данный код выдает ошибку: U>Ambiguous variable occurrence "length" U>*** Could refer to: Main.length Hugs.Prelude.length
U>дело в том, что в Prelude есть функция length, которая возвращает количество элементов, поэтому название для функции нужно изменить, например:
U>P.S. Понятно, что это непринципиально, но я по своей неопытности в этой области полчаса потратил, что бы до меня дошло, в чем тут ошибка. Интересно то, что данный пример фигурирует во многих публикациях, но такое чувство, что никому нету до этого дела, что здесь ошибка.
Вообще-то сообщение более чем внятное.
Компилятор, что не показал на место где была ошибка?
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, sharcUs, Вы писали:
U>Внятное сообщение об ошибке еще не является оправданием того, что бы простейшие примеры конфликтовали со стандартным пространством имен. Как бы вам понравилось если бы в аналогичном простейшем С++-примере расчитанному на дилетантов именовали бы функцию как printf или SendMessage
Просто в обучении Хаскеллу сложилась такая практика — разбирать в качестве примеров реализацию функций из стандартной библиотеки. Во многих руководствах соответствующее предупреждение (о необходимости переименования) присутствует. В GIH в этом отношении, действительно, есть некоторая недоработка.
Здравствуйте, R.K., Вы писали:
RK>>>Ну или явно импортировать Prelude и захайдить length:
L>>Маленькая поправка. Не явно, а квалифицировано (qualified).
RK>Выдержка из того же "мягкого введения":
А черт, я прочёл это как два варианта решения "явно импортировать" ИЛИ "захайдить length" :-)
Ночью писал.
Например, основной тип функции head – это [a]->a; типы [b]->a, b->a (в исходном тексте опечатка, a->a – прим.пер.) или даже a являются верными, но избыточно общими, в то время как типы вроде [Integer]->Integer являются слишком частными
В примечании неточность — в исходном тексте правильно. Поясню.
Тип [a]->a в переводе на русский: для списка элементов a вернуть результат типа a.
Тип [b]->a : для списка каких-то элементов вернуть результат какого-то типа.
Тип b->a : для какого-то типа (может быть и список, а может и не быть) вернуть результат какого-то типа.
Т.е. [a]->a является частным случаем [b]->a, который в свою очередь является частным случаем b->a.
PS спасибо за статью. это мой первый источник информации по haskell
Не сообразил сразу что именно в исходном тексте написано неправильно (a->a), а в вашем варианте правильно ([b]->a). Подумал что вы в примечании указали правильный вариант.
S>Например, основной тип функции head – это [a]->a; типы [b]->a, b->a (в исходном тексте опечатка, a->a – прим.пер.) или даже a являются верными, но избыточно общими, в то время как типы вроде [Integer]->Integer являются слишком частными
S>В примечании неточность — в исходном тексте правильно. Поясню. S>Тип [a]->a в переводе на русский: для списка элементов a вернуть результат типа a. S>Тип [b]->a : для списка каких-то элементов вернуть результат какого-то типа. S>Тип b->a : для какого-то типа (может быть и список, а может и не быть) вернуть результат какого-то типа. S>Т.е. [a]->a является частным случаем [b]->a, который в свою очередь является частным случаем b->a.
Не очень понял. Ваши рассуждения правильны, но в исходном тексте, насколько я помню, было a->a, что не верно, то есть не является ни избыточным обобщением, ни частным случаем principle type.
ДМП>Авторы: ДМП> Денис Москвин (перевод)
ДМП>Аннотация: ДМП>Задача данного материала — обеспечить ''мягкое'' введение в программирование на Haskell для имеющих опыт программирования, по крайней мере, на одном языке, желательно функциональном (даже если это ''почти функциональный'' язык, такой как ML или Scheme).
Я тоже сделал перевод этой статьи Gentle Introduction to Haskell russian translation — и даже чуть раньше (11 сентября 2006 года). Как видите, язык у нас совсем разный, и форматирование тоже (у меня PDF приближенный к исходному). Надеюсь что и мой перевод будет прочтён вами.
Здравствуйте, tonykent, Вы писали:
T>Я тоже сделал перевод этой статьи Gentle Introduction to Haskell russian translation — и даже чуть раньше (11 сентября 2006 года). Как видите, язык у нас совсем разный, и форматирование тоже (у меня PDF приближенный к исходному). Надеюсь что и мой перевод будет прочтён вами.
Пусть расцветает сто цветов.
(c) Председатель Мао, Обращение к китайской интеллигенции, 1957
tonykent wrote:
> даже чуть раньше (11 сентября 2006 года). Как видите, язык у нас совсем > разный, и форматирование тоже (у меня PDF приближенный к исходному). > Надеюсь что и мой перевод будет прочтён вами.
А что ж у тебя в PDF-е-то буквы прыгают в стоках, как будто их
кипятком внизу полили ?
Здравствуйте, tonykent, Вы писали: T>Я тоже сделал перевод этой статьи Gentle Introduction to Haskell russian translation — и даже чуть раньше (11 сентября 2006 года). Как видите, язык у нас совсем разный, и форматирование тоже (у меня PDF приближенный к исходному). Надеюсь что и мой перевод будет прочтён вами.
Прикольно.
Обрати внимание на страницы 68 и 69.
Такое впечатление, что реализация функции genMatMult "перепрыгнула".
quicksort =: (($:@(<#[),(=#[),$:@(>#[)) ({~ ?@#)) ^: (1<#)
Перекуём баги на фичи!
