← All posts tagged бред

Elemir
бред идея type_theory Одная идея офигительней другой.
Берём simpled typed lambda calculus, расширяем его отношением порядка, основанном на принципе Барбары Лисков, а далее расширяем его конструкцией параметризированных универсумов. Естественно так как на Level и Set | есть вычислимой порядок, то на любом уровне Set будет задан вычислимый порядок. А теперь, ву-а-ля, добавим аксиому Set T === Level и радуемся получившемуся Логрусу.
Elemir
бред идея type_theory add Типовая система с интенсиональным равенством на зависимых типах, расширенная экзистенсиональными свободно-полиморфными типами с экстенсиональным равенством на них.
Elemir
бред juick_ppl kapsh Я нашёл ответ на другой трепещащий вопрос жуйка о капше. Я наконец понял "почему сразу капш?" Ведь наш капшик-то есть антропоморфная персонификация жуйка!
Elemir
бред juick_ppl L29Ah [05:42]<L29Ah_> просыпаюсь я, а у меня на столе валяются книжки по пиэйчпи и пайтону
[12:11]<Πλατύπους> — Здравствуйте, меня зовут Сергей, я си-кодер, но последнее время я стал замечать, что пишу во сне быдлокод на пиэйчпи и пайтоне
— Привет, Сергей!