Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023) — различия между версиями

Материал из 0x1.tv

(Thesis)
 
;{{SpeakerInfo}}: {{Speaker|Андрей Немытых}}
<blockquote>
Новости очередной версии языка программирования [http://refal.botik.ru/ Рефал].
</blockquote>

{{VideoSection}}
{{vimeoembed|892799669|800|450}}
{{youtubelink|YkltHXngryg}}
{{SlidesSection}}
[[File:Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023).pdf|left|page=-|300px]]

{{----}}

== Thesis ==
* Refal был 
** разработан в Советском Союзе Валентином Турчиным.
** использовался для программирования задач для Бурана.

* Refal 5  разработка студента МГТУ имени Баумана Михаила Терюхи. 
* поддерживает юникод 
** юникод, кириллицу, глаголицу и китайские иероглифы, все алфавиты юникода, включая математические.
* имеет нестандартное обозначение версии  версия определяется датой сборки.
* Расширен синтаксис языка 
** для имен функций и индексов.
** ассоциативность и поддержка деревьев произвольной арности.

Обсуждение программы верификации
* обсуждается программу верификации, которая была написана на Refal.
* программа строит граф, который представляет собой программу, и это можно увидеть на картинке.

{{----}}
[[File:{{#setmainimage:Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023)!.jpg}}|center|640px]]
{{LinksSection}}
<!-- <blockquote>[©]</blockquote> -->

<references/>

[[Категория:OSSDEVCONF-2023]]
[[Категория:Open-source projects]]
[[Категория:Draft]]

Текущая версия на 12:56, 7 марта 2024

Докладчик
Андрей Немытых

Новости очередной версии языка программирования Рефал.

Видео

on youtube

Презентация

Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023).pdf

Thesis

  • Refal был
    • разработан в Советском Союзе Валентином Турчиным.
    • использовался для программирования задач для Бурана.
  • Refal 5 — разработка студента МГТУ имени Баумана Михаила Терюхи.
  • поддерживает юникод
    • юникод, кириллицу, глаголицу и китайские иероглифы, все алфавиты юникода, включая математические.
  • имеет нестандартное обозначение версии — версия определяется датой сборки.
  • Расширен синтаксис языка
    • для имен функций и индексов.
    • ассоциативность и поддержка деревьев произвольной арности.

Обсуждение программы верификации

  • обсуждается программу верификации, которая была написана на Refal.
  • программа строит граф, который представляет собой программу, и это можно увидеть на картинке.
Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023)!.jpg

Примечания и ссылки