Juan-Carlos Gandhi (![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2011-10-30 09:21 am
juan_gandhi) wrote2011-10-30 09:21 am
Entry tags:
о языцех - Бейсик
Я его, конечно, никогда не уважал. Но когда Андрей Петрович (тм) попросил посмотреть на его программу, которая типа вычисляет предел в категории, я, конечно, завёлся, и мы месяц, наверное, протрахались с этим делом, дойдя до интерактивного построения категории и до расчёта топологий Гротендика; с топологиями Гротендика мы обломились на категории Δ3, где, по моим прикидкам, расчёт займёт три недели на бейсике. Пришлось перекатать на фортран, а операции над множествами - на ассемблер; 4 часа - и топологии расклассифицированы.
В следующий раз это был вижуал бейсик, Берлин, 95. Netz&So ввёз меня в качестве гастарбайтера; заплатили, по немецкому обычаю, половину (а я варежку разинул); но я насладился Западным Берлином, вообще атмосферной немецкой конторы.
Что я делал - локализационное решение для вижуал бейсика. Выдёргивал ресурсы из кода, строил файлы с переводами, и в рантайме считывал это дело, подставляя ресурсы. Конкатенация строк на Бейсике ещё хуже, чем на Фортране; я развлекался написанием смесил сишного и Бейсиковского кода, лишь бы работало. Работало, но я как-то не насладился. Напрягал повсеместный дебилизм в решениях и невозможность сделать элементарные вещи не через жопу.
Самый плохой язык из тех, что мне встречался.
В следующий раз это был вижуал бейсик, Берлин, 95. Netz&So ввёз меня в качестве гастарбайтера; заплатили, по немецкому обычаю, половину (а я варежку разинул); но я насладился Западным Берлином, вообще атмосферной немецкой конторы.
Что я делал - локализационное решение для вижуал бейсика. Выдёргивал ресурсы из кода, строил файлы с переводами, и в рантайме считывал это дело, подставляя ресурсы. Конкатенация строк на Бейсике ещё хуже, чем на Фортране; я развлекался написанием смесил сишного и Бейсиковского кода, лишь бы работало. Работало, но я как-то не насладился. Напрягал повсеместный дебилизм в решениях и невозможность сделать элементарные вещи не через жопу.
Самый плохой язык из тех, что мне встречался.
no subject
Ухты, интересно. Расскажите, пожалуйста, зачем это нужно, и что именно требуется для того, чтобы что-то такое написать. Этот предел имеет отношение к обычному пределу (для какой-нибудь конкретной категории функций или чего там)?
no subject
Зачем нужны пределы? Ну как,
select a.*,b.* from a,b where a.userid = b.userid;- это частный случай предела (pullback).Зачем нужно узнать, какие бывают топологии Гротендика над такой-то категорией? Это ключ к логике категории. А так - ничего не требуется, знание определений.
no subject
Почему эта ссылка не написана красным по белому где-нибудь в заголовке вашего блога? :)
>> select a.*,b.* from a,b where a.userid = b.userid; - это частный случай предела (pullback).
Я думал, что это отфильтрованное декартово произведение. Интуиция не сработала, увы. К обычному пределу функции он отношения всё-таки не имеет?
>> Это ключ к логике категории.
Это, наверное, результат общения с теорией категорий: очень общие ответы :) Какой-нибудь пример или класс задач, решаемых с их помощью, бы.
no subject
Мне казалось, она легендарна и не требует лишней рекламы. :)
no subject
Я ничего общего с классами задач не имею... но пример вот я уже привёл же.
no subject
pullback выражается через эквалайзер от произведения. Так что, почти правда.
А все конечные пределы выражаются либо через эквалайзер с произведениями, либо pullback с терминальным объектом.
no subject
no subject
no subject
Вот после "bananas, lenses etc" сразу понятно: это нужно для алгебраического мышления о программах. Типа таким образом классифицируется вся рекурсия.
no subject
Ну, не вся. Но довольно много.
Да не то, чтобы алгебраического мышления...
Если привыкнуть, это более простой и унифицированный взгляд.
Заодно, помогает пониманию некоторых фундаментальных вещей.
no subject
no subject