Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (→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
- Докладчик
- Андрей Немытых
Новости очередной версии языка программирования Рефал.
Содержание
Видео
Презентация
Thesis
- Refal был
- разработан в Советском Союзе Валентином Турчиным.
- использовался для программирования задач для Бурана.
- Refal 5 — разработка студента МГТУ имени Баумана Михаила Терюхи.
- поддерживает юникод
- юникод, кириллицу, глаголицу и китайские иероглифы, все алфавиты юникода, включая математические.
- имеет нестандартное обозначение версии — версия определяется датой сборки.
- Расширен синтаксис языка
- для имен функций и индексов.
- ассоциативность и поддержка деревьев произвольной арности.
Обсуждение программы верификации
- обсуждается программу верификации, которая была написана на Refal.
- программа строит граф, который представляет собой программу, и это можно увидеть на картинке.