LINUX.ORG.RU

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

 , ,


0

2

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

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

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

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

★★★★★

Проверено: unfo ()

24 числа вспоминал про этот язык, нашёл сайт, скачал исходники и любопытства ради откомпилировал. Лицензия в архиве была BSD-подобная:

  • Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.

  • Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.

Что-то поменялось за 5 дней, или просто я туда полез раньше, чем народ сччёл это новостью?

upd. Дата скачанного мной релиза стоит 31 января. Так что новость опоздала минимум на месяц, и, кажется, не только тут.

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

Есть только одна Миранда – которая мессенжер

Вот раскрыли бы они исходники лет на 30 раньше, и, возможно, сейчас не было бы никакого Хаскеля. А былы бы только одна Миранда – на примере которой в универах функциональное программироание изучают.

А так там на название – tm (впрочим как и в том или ином виде у ЯП Perl, Python, PHP и Rust) и исходники в начале 1990 точно открыты не были.

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

Что-то поменялось за 5 дней, или просто я туда полез раньше, чем народ сччёл это новостью?

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

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

Ах да, я там ссылку случано дал на фокусрайтер (на другом сайте коммент про него писал). Правильная ссылка Проблемы свободы проекта Rust (комментарий)

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

Ты залез туда раньше, чем я об этом узнал и написал новост

Ага, сообразил бы тогда, что исходники недавно открыты, мне бы как раз на вторую звёздочку хватило. Ну да и ладно.

be_nt_all ()

С помощью этого компилятора можно компилятор Glasgow Haskell Compiler забутстрапить? А то там йогурт получается как в случае с компиляторами Java и Rust.

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

Ага, сообразил бы тогда, что исходники недавно открыты, мне бы как раз на вторую звёздочку хватило. Ну да и ладно.

Ну я сам как-то это пропустил, пока сегодня в /r/haskell не увидел.

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

Выглядеть будет не менее уродливо. Посмотри в вики, там действительно маленькое лого. Разве что отступы прозрачными сделать, но я не знаю как это будет на ЛОРе выглядеть. Особенно с моей любимой синей темой.

Но, один чёрт, поздно уже.

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

А кто-нибудь им сейчас пользуется?

Понятия не имею. У меня не осталось мессенжеров, которые бы он нормально поддерживал помимо жаббера. А для жаббера есть другие клиенты. Но вроде как его до сих пор пилят.

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

На сайте есть шире и менее прозрачное https://pic4a.ru/03/eJf.jpg

Но впрочем, оно всё равно несвободное вроде, так что под критерии не подпадает ;-)

поздно уже

Модераторы могут и после подтверждения прикрепить картинку.

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

Почему «фапать»? Звёздочки дают возможности. Например, выдвигаться в корректоры или модераторы, или писать в закрытых на определённое количество звёзд тредах.

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

Потому что делиться своим паролем с каким-то левым сервисом — крайне тупая идея. А самому хостить непонятно что — примерно такой же геморрой, как и пользоваться несколькими мессенжерами. Плюс, использование транспорта ставит крест на фишках типа E2EE, не позволяет делать видео-чат и т.д.

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

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

На каждом локалхосте? Профит-то какой? Ну, кроме значка почётного линуксоида-мазохиста.

А в скольких мессенджерах веранда его умела?

В душе не чаю. Я ей 15 лет не пользуюсь.

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

На каждом локалхосте?

А почему нет? Или Вы из секты свидетелей различий серверов, десктопов и мобилок?

Профит-то какой?

Не слезать с веранды?

линуксоида-мазохиста

Стереотипчики.

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

А почему нет?

Потому что один клиент, покрывающий все протоколы, гораздо удобнее, чем клиент + демон.

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

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

Потому что один клиент, покрывающий все протоколы, гораздо удобнее

Это если сам клиент удобный.

Потому что один клиент, покрывающий все протоколы, гораздо удобнее

Ну уж нет, держать кучу жирных «официальных» клиентов — не по всякому железу задача. Тем более, они ущербны хотя бы тем, что логи чатов не пишут, например.

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

Ну уж нет, держать кучу жирных «официальных» клиентов — не по всякому железу задача.

Ну, смотри. На моём телефоне (Pixel 2) сейчас установлены Wire, Slack, Discord, Skype и Conversations. И как-то без проблем всё это работает. Судя по статистике, только один из них ест два-три процента батарейки между зарядами, остальные – меньше процента. Что я делаю не так?

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

hateyoufeel ★★★★★ ()