Добро пожаловать на форум. - Форум
Добро пожаловать на форум.
| |
Кросавчег | Дата: Суббота, 05.06.2010, 21:14 | Сообщение # 1 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| Ну, надо же что-то для тестирования работы форума написать.
|
|
| |
Aleksss | Дата: Понедельник, 14.06.2010, 00:39 | Сообщение # 2 |
Рядовой
Группа: Пользователи
Сообщений: 10
Статус: Offline
| Вот очень бы хотелось посмотреть ссылки на официальные сайты + на компиляторы и т.д. и т.п.
|
|
| |
Кросавчег | Дата: Понедельник, 14.06.2010, 18:00 | Сообщение # 3 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| Ссылка на офсайт есть на главной странице (http://www.mercury.cs.mu.oz.au/). Там и компилятор в исходниках, и все остальное. Есть еще бинарный дистрибутив. Очень удобно, не надо компилировать, ставится через инсталлятор и содержит файл документации с удобным оглавлением и индексом. Лежит тут (http://code.google.com/p/winmercury/).
|
|
| |
Aleksss | Дата: Вторник, 15.06.2010, 01:41 | Сообщение # 4 |
Рядовой
Группа: Пользователи
Сообщений: 10
Статус: Offline
| О, спасибо. А то я с Википедии привык на всякие подчеркивания внимание не обращать. Ну что же, опробуем данную вещь. Вообще я прошел КМБ по логическому программированию (ясен пень, на Прологе). Предмет назывался "функциональное и логическое программирование". На вступительной лекции преподаватель сказал, что само название несколько неправильно и постановка задачи не та - разные ветви программирования. И действительно - 90% материала было по Прологу, 10% - по Лиспу (даже ни одной лабораторной работы не было). Больше всего привлекло высказывание, что Mercury совмещает в себе эти два подхода. Так что хотя-бы из интереса поковыряю этот язык.
|
|
| |
Кросавчег | Дата: Вторник, 15.06.2010, 11:39 | Сообщение # 5 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| Да, язык интересный. Подход у них оригинальный. Фактически это гибрид Хаскеля и Пролога. Причем высокопроизводительный. Правда пока с документацией слабо и язык пока еще развивается. Но сама идея объединить логический и функциональный подходы - очень хорошая.
|
|
| |
misericorde | Дата: Вторник, 15.06.2010, 12:33 | Сообщение # 6 |
Рядовой
Группа: Пользователи
Сообщений: 1
Статус: Offline
| Пролог интересен своими алгоритмами и подходами к решению задач. Как говорил преподаватель, что фактически нужно переложить условие в код и машина все решит. А в гибридном соединении с Хаскелем вообще навер будет что-то мега... Спасибо за линк на компилятор))
|
|
| |
Кросавчег | Дата: Вторник, 15.06.2010, 14:33 | Сообщение # 7 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| misericorde, да, там еще программирование в ограничениях закладывают в язык. Еще реализовали параллельные вычисления, плюс трансляция в Erlang.
|
|
| |
Aleksss | Дата: Вторник, 15.06.2010, 23:06 | Сообщение # 8 |
Рядовой
Группа: Пользователи
Сообщений: 10
Статус: Offline
| На главной странице упоминалось про трансляцию в IL. Получается, что теоретически можно написать модули, которые можно использовать в разработке приложений на Visual Studio?
|
|
| |
Кросавчег | Дата: Среда, 16.06.2010, 09:11 | Сообщение # 9 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| Да, можно. И можно компилировать компилятором Visual C++. Только эти фичи реализованы пока в сыром виде. Там разработчики - юниксоиды. Но разработка активно ведется, релизы почти каждый день выпускаются. Думаю, скоро стабильного релиза дождемся.
|
|
| |
Aleksss | Дата: Среда, 16.06.2010, 17:08 | Сообщение # 10 |
Рядовой
Группа: Пользователи
Сообщений: 10
Статус: Offline
| Ну писать на одном языке, что бы компилировать его на другом - это не так интересно. Но использовать модули, которые способны выполнять некоторые задачи быстрее и эфективнее - вот это интересно. Так сказать компенсировать недостатки императивных языков программирования.
|
|
| |
Кросавчег | Дата: Среда, 16.06.2010, 20:43 | Сообщение # 11 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| Ну да, собственно для этого Mercury и создавался. Там не стоит цель полностью отказаться от императивных языков.
|
|
| |
Aleksss | Дата: Четверг, 17.06.2010, 01:00 | Сообщение # 12 |
Рядовой
Группа: Пользователи
Сообщений: 10
Статус: Offline
| Ладненько. Как по мне, стоит переходить от дисскусий к чему-то более существенному. Не скрою, то, что рассказано о языке на этом сайте очень заинтересовало. Как я уже говорил ранее, с Прологом знаком и в первом приближении его достоинства в практическом приминении вижу (хоть нам его давали только для расширения ума. Хотя и в этом плане он помог - рекурсию с ним до конца понял и научился на лету в голове строить.). Исходя из этого конкретный вопрос - что посоветуете для ознакомления с языком, что бы с одной стороны не читать основы типа "Разница между императивным языком и декларативным", но с другой стороны что-бы влиться в струю и ознакомится с достоинствами этого языка лично. Просто очень не хочется тратить время на изучения базовых основ в силу того, что паралельно учу другие ветви программирования и лишнего времени на вот такое "повторение" у меня нет. Но, с другой стороны, просто взять и выкинуть несколько глав из книги тоже сложно, так как в этом случае можно потерять что-то на первый взгляд маленькое, но очень важное. Тоесть хочется чего-то вроде быстрого старта для этого языка. Что-то по этому поводу есть?
|
|
| |
Кросавчег | Дата: Четверг, 17.06.2010, 10:57 | Сообщение # 13 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| На русском языке пока мало документации. Подробно описана она в разделе сайта "Информация по Mercury" (http://mercurylanguage.ucoz.ru/index/informacija_po_mercury/0-5). Если с Прологом уже знакомы, то тогда учебник Ральфа Бекета. Он как раз дает введение в язык. И можно читать документацию на английском, она пока не переведена.
|
|
| |
Aleksss | Дата: Четверг, 17.06.2010, 12:42 | Сообщение # 14 |
Рядовой
Группа: Пользователи
Сообщений: 10
Статус: Offline
| Значит почитаем Ральфа Бекета. Просто язык не такая проблема (все равно учить, а основа какая-никакая есть.), а вот время - это вещь, которой всегда не хватает.
|
|
| |
Кросавчег | Дата: Четверг, 17.06.2010, 22:59 | Сообщение # 15 |
Рядовой
Группа: Администраторы
Сообщений: 19
Статус: Offline
| Ну значит не зря я переводил, раз кому-то интересно.
|
|
| |
|
|
|