![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Jan. 29th, 2013
- do not use common words as a part
- do not use your birth year as a part
- do not use current or last year as a part
- do not use your name as a part
Because they are atomic things, like one character
Like say your pwd is
John1971Baby
it is almost the same as
J1B
- do not use your birth year as a part
- do not use current or last year as a part
- do not use your name as a part
Because they are atomic things, like one character
Like say your pwd is
John1971Baby
it is almost the same as
J1B
typeclasses take 4
Jan. 29th, 2013 09:43 pmКороче, не алгебраические теории, а и геометрические тоже. Например,
Ну вот; и что ещё хочу, э, обсудить.
Ну вот взять алгебраическую теорию, у неё же универсальная модель есть. Например, у моноида универсальная модель -
Забыл совершенно, а у геометрических теорий универсальные модели есть?
Надо поскорее про это всё нарисовать слайд-шоу, конечно. Так, чтобы среднему скальщику понятно было.
Да и вообще; учиться, учиться, ещё раз учиться, потом блин что-то забудешь, и опять учиться. Тьфу.
Comparable[T] aka Ord a - геометрическая теория, потому что там Предикат есть.Ну вот; и что ещё хочу, э, обсудить.
Ну вот взять алгебраическую теорию, у неё же универсальная модель есть. Например, у моноида универсальная модель -
List. Так это, надо бы разобраться: а) нет ли тут системы; б) не прячется ли тут где-то или расширение Кана, или монада коплотности, или и то и то.Забыл совершенно, а у геометрических теорий универсальные модели есть?
Надо поскорее про это всё нарисовать слайд-шоу, конечно. Так, чтобы среднему скальщику понятно было.
Да и вообще; учиться, учиться, ещё раз учиться, потом блин что-то забудешь, и опять учиться. Тьфу.