Где здесь лайки ставят?

Одобряю.

С.

Вы писали 01 декабря 2019 г., 12:52:03:

>> ... Если ещё немного усложнить язык - получится Хаскелл, зачем тогда Рефал?

> Получить Haskell или вообще язык с системой типов Hindley–Milner
> из Рефала не то что с небольшими усложнениями, а вообще нереально
> ожидать.  Рефал ведь слабо типизированнъй язык, тогда как с
> Hindley–Milner-овскими языками как раз наоборот.  И механизмы
> сопоставления у Рефала и у Hindley–Milner-а совсем разные.
> У каждого свои преимущества.

> А избежание необходимости усложнений Рефала, на мой взгляд, можно
> постичь, если реализовать небольшое его подмножество в виде библиотеки
> на ANSI C.  Это даст, с одной стороны, компилятор, интерпретатор и
> REPL этого минимального и совсем простого Рефала для непосредственных
> применений, в том числе для изучения, обучения и всяких хобби занятий.
> С другой стороны, через интерфейс к ANSI C будет обеспечена возможность
> сочетать программирование на Рефале с программированием на почти любом
> другом языке.  На этих других языках, а не в самом Рефале, и будут
> реализоваться все желательные языковые расширения.

> И то, и другое увеличило бы, помимо прочего, практическую доступность
> Рефала.  Зависимости от операционной системы, например, вообще не
> будет — одна реализация языка на все системы, где есть C.

> Ещё одна возможность — реализовать тот самый небольшой Рефал в
> виде библиотеки на JavaScript, что обеспечило бы применимость и в
> вебприложениях, и (через Node) во многих других.

> Может, я что-то упускаю из вида, но именно такой путь развития Рефала
> мне кажется очень перспективным.



-- 
С уважением,
Абрамов С.М.                          mailto:ab...@botik.ru

              • ... Arkady Klimov arkady . klimov_AT_gmail . com
              • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
  • Re:... Eisymont Leonid verger-lk_AT_yandex . ru
    • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
      • ... Eisymont Leonid verger-lk_AT_yandex . ru
        • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
          • ... Eisymont Leonid verger-lk_AT_yandex . ru
            • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
              • ... Александр Гусев gusev_aleksandr_AT_mail . ru
              • ... Boyko Bantchev boykobb_AT_gmail . com
              • ... Sergei M. Abramov
              • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
              • ... Boyko Bantchev boykobb_AT_gmail . com
              • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
              • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
              • ... Boyko Bantchev boykobb_AT_gmail . com
              • ... Arkady Klimov arkady . klimov_AT_gmail . com
              • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
              • ... Arkady Klimov arkady . klimov_AT_gmail . com
              • ... Александр Гусев gusev_aleksandr_AT_mail . ru
              • ... Boyko Bantchev boykobb_AT_gmail . com

Reply via email to