metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2012-06-09 10:16 am

О грибах, автозамене, строгой типизации и структуре

http://ivan-gandhi.livejournal.com/2005980.html грибы шиитаке
http://languagelog.livejournal.com/2319065.html автозамена, которая выбралась из разметки текста в сам текст.
По второй ссылке первое что пришло в голову - если бы у них был короткоствол "а вот если бы автозамена была строго типизированной, то этого бы не произошло". Второе - что достаточно даже не типизации, а просто структуры, чтобы узлы с текстом лежали отдельно от узлов с метаданными.

[identity profile] clayrat.livejournal.com 2012-06-09 09:17 am (UTC)(link)
вы не поверите, но теория типов была изобретена Бертраном Расселом именно с целью разрешения парадокса Рассела