LINUX.ORG.RU

Опубликован исходный код компилятора Miranda

 , ,


0

3

Исходный код компилятора языка Miranda был выпущен под открытой (BSD 2-clause) лицензией. Miranda — функциональный ленивый язык программирования, созданный в 1985 году Дэвидом Тёрнером и широко использовавшийся в 80х и 90х годах для обучения функциональному программированию. Также он стал прообразом более популярного языка Haskell, который возник в том числе из-за закрытости исходного кода Miranda.

>>> Обсуждение на Hacker News

>>> Страница о языке в Wikipedia

>>> Подробности

★★★★★

Проверено: unfo ()
Последнее исправление: Satori (всего исправлений: 2)

Ответ на: комментарий от anonymous

Да. Там на хакерньюс какой-то тип всех убеждал, что миранда лучше код генерирует, чем хаскель. Похоже, что с ЛОРа выбежал.

anonymous
()
Ответ на: комментарий от anonymous

Хаскель, простите, в лице GHC.

anonymous
()
Ответ на: комментарий от Kompilainenn

Если бы звёздочки на ЛОРе были мне действительно важны, я б уж за 13 лет как-нибудь их наболтал бы.

Но со звёздочкой удобней, чеи без неё, можно сообщения править.

be_nt_all ★★
()
Последнее исправление: be_nt_all (всего исправлений: 2)
Ответ на: комментарий от anonymous

Эх, Миранда это здорово, но хорошо бы наконец исходники SETL открыли.

Ну так уже больше десяти лет прошло, как пообещали открыть. Видимо что-то не срослось…

be_nt_all ★★
()
Последнее исправление: be_nt_all (всего исправлений: 1)
Ответ на: комментарий от LINUX-ORG-RU

Кто-то из местных на нём хотя бы ls написал?

У меня пока руки не дошли…

Про что язык вообще?

Про «правильное» функциональное программирование со статической типизацией и ленивым вычислением. Как и появившийся позже Хаскель. Он и появился то в основном из за того, что у Миранды были закрытые исходники плюс закопирайченное название (т.е. написать с нуля компилятор OpenMiranda было нельзя). И именно в качестве предка Хаскеля про язык в основном и помнят.

be_nt_all ★★
()
Ответ на: комментарий от be_nt_all

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

Хотя сейчас все, что было в сетле так или иначе растащили все, кто только мог и особого фурора раскрытие исходников не произведет. Так бездарно просрать потенциал это надо было суметь. Остается только исторический интерес.

anonymous
()
Ответ на: комментарий от hateyoufeel

А самому хостить непонятно что — примерно такой же геморрой

Да, согласен, для домохозяек — не вариант.

ugoday ★★★★★
()
Ответ на: комментарий от hateyoufeel

На моём телефоне

Вы предлагаете жирный эмулятор Android держать? Ещё хуже.

И как-то без проблем всё это работает

Поди, не работают на самом деле, а гоняют пуши через гугл? Ну кроме Wire и консервы, и то не точно.

чем запускать транспорты и жаббер-сервер на телефоне

VPS за пару евриков в месяц — это для буржуев? Напомнило анекдот:

Стоит чукча на краю Чукотки и кричит в сторону Америки: «Нищие!!! Нищие!!!». К нему подходит Американец.

— Почему нищие?

— Аляску однако купили, а на Чукотку однако денег не хватило! Нищие!

Причём подключаться к ней можно сразу с кучи устройств.

mertvoprog
()
Ответ на: комментарий от mertvoprog

Вы предлагаете жирный эмулятор Android держать? Ещё хуже.

Я ничего не предлагаю. Я опровергаю твоё утверждение о необходимости одного клиента ввиду того, что несколько клиентов что-то там может не потянуть. Если ты вылезешь из своей норы, то рискуешь узнать, что у кучи людей на телефонах по нескольку мессенжеров, и всё нормально работает.

VPS за пару евриков в месяц — это для буржуев?

Зачем нужен VPS за пару евриков, если можно его не покупать и пользоваться ванильными клиентами? Профит-то где? Плюс, моё время, которое придётся затратить на администрирование этого VPS, стоит гораздо дороже пары евриков в месяц.

hateyoufeel ★★★★★
() автор топика
Последнее исправление: hateyoufeel (всего исправлений: 2)
Ответ на: комментарий от be_nt_all

haskell-xmpp

И где это используется?

adept at jabber.kiev.ua (via XMPP :)

Угу, угу. Ничего, что этот сервер уже год как умер?

mertvoprog
()
Ответ на: комментарий от hateyoufeel

на телефонах

Какое отношение это имеет к среде обитания веранды? На десктопной винде пару мобильников работало, и те эдак десятилетней давности.

ванильными клиентами

Они жрут дохрена ресурсов и не пишут логи.

моё время стоит

Задрали уже монетизаторы личного времени. Немедленно прекратите спать, Вы каждый день терпите огромные убытки, а ведь могли бы в это время заработать!

mertvoprog
()
Ответ на: комментарий от mertvoprog

Какое отношение это имеет к среде обитания веранды? На десктопной винде пару мобильников работало, и те эдак десятилетней давности.

Потому что 15 лет назад мессенжерами пользовались на компьютерах. Сейчас ситуация иная, и большинство их используют на телефонах.

Они жрут дохрена ресурсов

Мы уже выяснили. Не жрут.

и не пишут логи.

Я бы не сказал, что это прямо таки плохо, но, если ты погуглишь немного, то внезапно пишут. Либо есть сторонние экспортеры. Но, да, это пожалуй единственный разумный аргумент в твоей позиции.

Задрали уже монетизаторы личного времени. Немедленно прекратите спать, Вы каждый день терпите огромные убытки, а ведь могли бы в это время заработать!

Ты, кажется, опять ничего не понял. Суть как раз в том, что вместо настройки и администрирования VPS я лучше заплачу другим чувакам за это, если возникнет необходимость, а сам в это время лучше посплю или подружку трахну лишний раз. Но необходимости не возникает, т.к. использовать ванильные клиенты почти везде проще и быстрее.

hateyoufeel ★★★★★
() автор топика
Ответ на: комментарий от hateyoufeel

Потому что 15 лет назад мессенжерами пользовались на компьютерах. Сейчас ситуация иная, и большинство их используют на телефонах.

Но при чём здесь веранда? Очевидно же, что целевая аудитория веранды пользуется мессенджерами на ПК. Не съезжайте с темы.

Не жрут.

Потому что не работают. Вы имеете хоть малейшее представление о том, как устроеные приложения для Android, что такое сервисы и активити, что такое Google Cloud Messaging? Официальные десктопные мессенджеры строятся совершенно по другому принципу, там огромная жиробасина, которая запущена постоянно. Нету смысла их сравнивать.

погуглишь

Очередной гуглопропагандист?

Либо есть сторонние экспортеры

Android разделяет данные разных приложений, просто так что-то из данных другого приложения не выковырять, разве что с рутом. И то они зашифрованы. skypeforlinux, TelegramDesktop, Slack, Hangouts — вообще ни хрена на локалхосте не сохраняют, кроме кешей, причём и их с лёгкостью теряют — вся история в облаке. И сохранять её желательно сразу по получению, потому что если даже запускать время от времени экспортёры истории — быстро удалённые сообщения так потеряются.

почти везде

У буржуев с 64 ГБ оперативки и кукурузеном? Не меряйте большинство пользователей ПК по своему зажравшемуся смузихлёбскому окружению.

mertvoprog
()
Ответ на: комментарий от mertvoprog

Но при чём здесь веранда? Очевидно же, что целевая аудитория веранды пользуется мессенджерами на ПК. Не съезжайте с темы.

С какой темы? На миранде тут ты залип. Я подверг критике твоё утверждение о том, что использовать жаббер с кучей транспортов имеет смысл.

Вы имеете хоть малейшее представление о том, как устроеные приложения для Android, что такое сервисы и активити, что такое Google Cloud Messaging?

Конечно. Но какая разница, если результат тот же? Более того, существуют открытые системы пуш-нотификаций. Кто мешает запилить пуши для десктопа? Ну кроме того, что десктопными мессенжерами мало кто пользуется сейчас, за исключением корпоративных поделий.

hateyoufeel ★★★★★
() автор топика
Ответ на: комментарий от hateyoufeel

На миранде тут ты залип

Мы — ни разу не верандоюзер. Мы её даже не видели толком.

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

Для Вас не имеет — проходите мимо. Зачем обобщать и приплетать к контексту разговора мобильники, на которые есть официальные клиенты?

если результат тот же?

Не тот же. Мобильные и десктопные версии официальных клиентов совершенно разные зачастую.

Кто мешает запилить пуши для десктопа?

Закрытость официальных клиентов (кроме телеги, да и туда левые патчи неохотно принимают). Какой смысл теоретизировать, если по факту они сделаны через жопу?

десктопными мессенжерами мало кто пользуется сейчас, за исключением корпоративных поделий

Ну да, нормальные люди зачем-то извращаются с набором текста на тачскринах. Делают кучу опечаток, полагаются на автоисправление ввода, которое генерирует их ещё больше, пырятся в экран всё время набора, портя глаза, особенно во время тряски в транспорте. Зачем они так страдают — Нам невдомёк, пути хомячков неисповедимы. Ладно бы искали редкие мобильники с клавиатурой всё на том же ведроиде, или хотя бы пристёгивали внешнюю — но ведь они не делают и этого.

mertvoprog
()
Ответ на: комментарий от mertvoprog

Можно хоть на локалхосте поднять. Впрочем, виндузятникам это сложно, да.

Спорим, что любой сертифицированный админ-вендузятник посцыт на тебя в вопросах построения и администрирования IT-инфраструктуры?

anonymous
()
Ответ на: комментарий от mertvoprog

Я знал, что линуксоиды все отбитые как один, но чтобы настолько… Меряться уровнем интеллекта по использованию ос. Клоун, тупые как раз такие как ты, а не те кто пользуется windows. Если будешь пытаться кудахтать в свое оправдание, то у тебя ничего не выйдет, я тебя заранее посылаю на йух.

anonymous
()
Ответ на: комментарий от mertvoprog

Иди русский язык выучи для начала, полудурье. А потом уже ставь себя выше других людей. Дебил обоссанный…..

anonymous
()
Ответ на: комментарий от anonymous

При чём здесь уровень интеллекта и ОС? Речь о способности завести заточенное под линукс ввиду патологического линуксячества его разработчиков ПО патологически неспособными же осилить что-то кроме винды. При этом последние могут даже использовать при этом линукс, далеко ходить не надо, вон зенитур местный или метапрог; и наоборот — первые могут пользоваться при этом виндой, обмазывая её по возможности всякими блэкбоксами, WSL, цыгвинами и прочим, потому что принять винду и виндовые подходы они не могут.

mertvoprog
()
Ответ на: комментарий от anonymous

Вы на «подымать» стриггерились, что ли? Хорошая зажигалка, качественная! Будем в следующий раз скупляться — ещё парочкой таких затаримся про запас! В кулёчек положим, который на змейку застёгивается.

mertvoprog
()
Ответ на: комментарий от mertvoprog

Махмуд, зажигай! Можно прямо по Далю пойти. У него много хороших слов, неизвестных доконным знатокам русского языка.

anonymous
()
Ответ на: комментарий от anonymous

И? Вот я взял словарь Даля и тоже могу по нему пройти. Иди обоссы сам себя, клоун.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.