Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Андрей Немытых}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed||800|450}} {{youtubelink|}} {{SlidesSection}…») |
StasFomin (обсуждение | вклад) (→Thesis) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
;{{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.
- программа строит граф, который представляет собой программу, и это можно увидеть на картинке.