[17:06:18] <vlad2> Трэш и угар: https://forum.oberoncore.ru/viewtopic.php?p=103830#p103830
[17:06:54] <vlad2> Какую философию только не придумают, лишь бы нормальный отладчик не сделать.
[17:45:10] <geniepro> vlad2> Какую философию только не придумают, лишь бы нормальный отладчик не сделать.

да нормально, мне формула понравилась.
вот только оберон ей не соответствует, конечно...
[19:09:35] <valexey_> ну, отладчик для нового языка часто делают в последнюю очередь, если реализация языка компилируемая
[19:09:47] <valexey_> ну и в первую очередь, если реализация это интерпретатор :-)
[19:12:51] <valexey_> "Оберон обеспечивает статическую и динамическую безопасность памяти благодаря особому сборщику мусора, который стал возможен благодаря строгим правилам синтаксиса."
[19:12:53] <valexey_> O_O
[19:12:59] <valexey_> в каком месте он там особый?
[19:24:52] <geniepro> valexey_> "Оберон обеспечивает статическую и динамическую безопасность памяти благодаря особому сборщику мусора, который стал возможен благодаря строгим правилам синтаксиса."
да, это был вообще эпический бред )))
[19:26:06] <geniepro> Турчинов говорил: компилятор -- это суперкомпиляция интерпретатора, а интерпретатор -- это специализация компилятора, что бы это ни значило...
[19:26:18] <geniepro> проекция футамуры-турчинова, типа того
[19:27:51] <geniepro> вроде переврал: "Кратко выразим это так: специализация специализатора по интерпретатору дает компилятор. Или еще короче: автоспециализация по интерпретатору дает компилятор."
https://books.google.co.uz/books?id=hlqdDQAAQBAJ&pg=PA77&lpg=PA77&dq=компилятор+--+это+суперкомпиляция+интерпретатора,+а+интерпретатор+--+это+специализация+компилятора&source=bl&ots=6JEqin18Oo&sig=yEZX1fSfPhK_WiIPCPJM-5jCHs0&hl=ru&sa=X&redir_esc=y#v=onepage&q=%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%82%D0%BE%D1%80%20--%20%D1%8D%D1%82%D0%BE%20%D1%81%D1%83%D0%BF%D0%B5%D1%80%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%86%D0%B8%D1%8F%20%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D0%BF%D1%80%D0%B5%D1%82%D0%B0%D1%82%D0%BE%D1%80%D0%B0%2C%20%D0%B0%20%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D0%BF%D1%80%D0%B5%D1%82%D0%B0%D1%82%D0%BE%D1%80%20--%20%D1%8D%D1%82%D0%BE%20%D1%81%D0%BF%D0%B5%D1%86%D0%B8%D0%B0%D0%BB%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F%20%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%82%D0%BE%D1%80%D0%B0&f=false
[19:28:50] <geniepro> и вапще Турчин его фамилия
[19:44:08] <valexey_> аффтар рефала?
[20:08:59] <geniepro> valexey_: он самый
[20:10:04] <geniepro> вообще, что касается доказательного программирования -- там главная проблема написать правильную полную спецификацию на программу
далее дело техники, перевод спецификации в код программы может быть автоматизирован
[20:10:46] <geniepro> так что в идеале -- пишешь спецификацию, получаешь машкод
правда тут мы приходим к тому, что спецификация программы становится самой программой
[20:11:09] <geniepro> и, видимо, по рекурсии придётся писать спецификацию спецификации
[20:15:59] <valexey_> да-да и нужно доказать, что последовательность сойдется :-)
[20:16:22] <valexey_> потому как ошибки в спеке - это вообще сплошь и рядом
[20:16:30] <geniepro> https://scontent.fala5-1.fna.fbcdn.net/v/t1.0-9/28952043_1914974035211452_86916501549875200_n.jpg?oh=1fd0467453961343c5297467ef609700&oe=5B02A89F
[20:19:31] <valexey_> ROFL!
[21:06:24] <geniepro> омг эту книгу перевели а я и не знал! надо почитать теперь ))) https://rutracker.org/forum/viewtopic.php?t=5338945
Чисто функциональные структуры данных
Год издания: 2016
Автор: Окасаки К.
Переводчик: Бронников Г.К.