Русскоязычное программирование

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.


Вы здесь » Русскоязычное программирование » русский язык » Нарицательные имена русского языка как имена параметров шаблонов


Нарицательные имена русского языка как имена параметров шаблонов

Сообщений 1 страница 4 из 4

1

[html]
Сокращать будем способом создания аббревиатур (взять первые буквы слов, склеить их в аббревиатуру, и записать полученную абревиатуру в верхнем регистре).
<br />
Заглавная буква "М" - это сокращение слова "множество".
<br />
множество = М.
<br />
<br />
Операцию типизации, когда чему-то приписывается тип, будем обозначать в виде нижнего индекса:
<br />
некое множество это множество = некое множество<sub>множество</sub> = некое множество<sub>М</sub> = НМ<sub>М</sub>
<br />
<br />
Когда мы хотим различать разные множества, мы по-разному называем их, т.е. даём им (какие-то, возможно собственные) имена.
<br />
пустое множество<sub>М</sub> = ПМ<sub>М</sub>

<hr />

Можно вообразить себе функцию/алгоритм выделения/обнаружения некоего элемента и отнесения его к некоему множеству.
<br />
Аргументы функции будем помещать между круглыми скобками.
<br />
<br />
элемент множества = элемент(некоторого множества) = элемент(НМ<sub>М</sub>) = Э(НМ<sub>М</sub>)
<br />
некий элемент который имеет тип элемент некоторого множества = некий элемент <sub>Э(НМ<sub>М</sub>)</sub> = НЭ<sub>Э(НМ<sub>М</sub>)</sub>
<br />
<br />
Существуют нарицательные имена, это когда мы даём абстрактное название некоторому элементу множества.
<br />
нарицательное имя (НЭ<sub>Э(города<sub>М</sub>)</sub>) = город<sub>нарицательное имя, Э(города<sub>М</sub>)</sub> = город<sub>НИ, Э(города<sub>М</sub>)</sub>
<br />
"Город" это нарицательное имя элемента множества "города".
<br />
<br />

Существуют собственные имена, это когда мы даём собственное имя  некоторому элементу множества.
<br />
собственное имя(НЭ<sub>Э(города<sub>М</sub>)</sub>) = Москва<sub>собственное имя, Э(города<sub>М</sub>)</sub> = Москва<sub>СИ, Э(города<sub>М</sub>)</sub>
<br />
Москва это собственное имя элемента из множества "города".

<hr />

Операция типизации,  приём сокращения длины текста.
<br />
НИ<sub>нарицательное имя, Э(НМ<sub>М</sub>)</sub> <strong>ли</strong> СИ<sub>собственное имя, Э(НМ<sub>М</sub>)</sub><strong>?</strong> собственное имя<sub>нарицательное имя</sub>
<br />
город<sub>НИ, Э(города<sub>М</sub>)</sub> <strong>ли</strong> Москва<sub>СИ, Э(города<sub>М</sub>)</sub><strong>?</strong> Москва<sub>город</sub>
<br />
"город" это нарицательное имя, означающее некий элемент множества городов.
<br />
"Москва" это собственное имя, означающее конкретный элемент множества городов,
<br />
Город ли Москва? Москва это город.
<br />
<br />
если тип совпадает с одним из слов словосочетания, два раза не записываем.
<br />
учительская комната<sub>комната</sub> = учительская<sub>комната</sub>
<br />
<br />
пустое множество<sub>множество</sub> = пустое<sub>множество</sub> = П<sub>множество</sub> = П<sub>М</sub>

<hr />

Собственные имена множеств можно получать из нарицательных имён элементов множеств.
<br />
множество городов "города" это некое множество.
<br />
города<sub>М</sub> = НМ<sub>М</sub>
<br />
люди<sub>М</sub> = НМ<sub>М</sub>
<br />
дельфины<sub>М</sub> = НМ<sub>М</sub>

<br />
<br />

<hr />

<pre><xmp>public class Stack<T>
{
   T[] m_Items;
   public void Push(T item)
   {...}
   public T Pop()
   {...}
}
...
var myStack = new Stack<int>();
</xmp></pre>

здесь
<br />
типы<sub>М, Э(имена<sub>М</sub>)</sub>
<br />
T<sub>НИ, Э(Stack(int)<sub>М</sub>)</sub> = нарицательное имя (НЭ<sub>Э(типы<sub>М</sub>)</sub>)
<br />
int<sub>СИ, Э(типы<sub>М</sub>)</sub> = собственное имя(НЭ<sub>Э(типы<sub>М</sub>)</sub>)
<br />
Stack<sub>М, СИ, Э(типы<sub>М</sub>)</sub> = собственное имя(НЭ<sub>Э(типы<sub>М</sub>)</sub>)
<br />
Stack(T)<sub>М, НИ, Э(Stack<sub>М</sub>)</sub> = нарицательное имя (НЭ<sub>Э(Stack<sub>М</sub>)</sub>)
<br />
Stack(int)<sub>М, СИ, Э(Stack<sub>М</sub>)</sub> = собственное имя (НЭ<sub>Э(Stack<sub>М</sub>)</sub>, "int")
<br />
myStack<sub>СИ, Э(Stack(int)<sub>М</sub>)</sub> =  собственное имя (НЭ<sub>Э(Stack(int)<sub>М</sub>)</sub>)
<hr/>[/html]

Скучно с вами, ничего не пишите. Где треш, где угар?

Отредактировано Лис (2018-01-25 18:31:08)

0

2

В префиксной нотации:
[html]
Сокращать будем способом создания аббревиатур (взять первые буквы слов, склеить их в аббревиатуру, и записать полученную абревиатуру в верхнем регистре).
<br />
Заглавная буква "М" - это сокращение слова "множество".
<br />
множество = М.
<br />
<br />
Операцию типизации, когда чему-то приписывается тип, будем обозначать в виде префикса в фигурных скобках:
<br />
множество "некое множество" = {множество} некое множество = {М} некое множество = {М}НМ
<br />
<br />
Когда мы хотим различать разные множества, мы по-разному называем их, т.е. даём им (какие-то, возможно собственные) имена.
<br />
множество "пустое множество" = {М} ПМ

<hr />

Можно вообразить себе функцию/алгоритм выделения/обнаружения некоего элемента и отнесения его к некоему множеству.
<br />
Аргументы функции будем помещать между круглыми скобками.
<br />
<br />
элемент множества = элемент(некоторого множества) = элемент({М} НМ) = Э({М} НМ)
<br />
элемент некоторого множества "некий элемент" = { Э (  {М} НМ ) } некий элемент = { Э (  {М} НМ ) } НЭ
<br />
<br />
Существуют нарицательные имена,
<br />
{ нарицательное имя ( { Э ( {М} НМ ) } )  } нарицательное имя = { НИ ( { Э ( {М} НМ ) } )  } НИ
<br />
нарицательное имя элемента множества "некое множество" - "нарицательное имя".
<br />
{ нарицательное имя ( { Э (  {М} города ) } ) } город
<br />
Нарицательное имя элемента множества "города", "город".
<br />
<br />

Существуют собственные имена, это когда мы даём собственное имя  некоторому элементу множества.
<br />
{ собственное имя ( { Э ( {М} НМ ) } НЭ ) } собственное имя
<br />
{ собственное имя ( { Э ( {М} города ) } город ) } Москва
<br />
Собственное имя элемента множества "города", город Москва.

<hr />

Операция типизации,  приём сокращения длины текста.
<br />
{ собственное имя , Э ( {М} НМ ) } СИ <strong>--</strong> { нарицательное имя , Э ( {М} НМ ) }  НИ  <strong>?</strong>
<br />
{ нарицательное имя } собственное имя
<br />
<br />
<sub>Cобственное имя элемента множества "города"</sub> "Москва" <strong>--</strong> <sub>нарицательное имя элемента множества "города"</sub> город <strong>?</strong>

<br />
<br />
если тип совпадает с одним из слов словосочетания, два раза не записываем.
<br />
{ комната } учительская комната = { комната } учительская
<br />
<br />
{ множество } пустое множество = { множество } пустое = { множество } П = { M } П

<hr />

Собственные имена множеств можно получать из нарицательных имён элементов множеств.
<br />
множество городов "города" это некое множество.
<br />
{ множество } города : { множество } некое
<br />
{ множество } люди : { множество } некое
<br />
{ множество } дельфины : { множество } некое

<hr />

<pre><xmp>public class Stack<T>
{
   T[] m_Items;
   public void Push(T item)
   {...}
   public T Pop()
   {...}
}
...
var myStack = new Stack<int>();
</xmp></pre>
<br />
здесь
<br />
{ Э ( { М } имена) , М } типы
<br />
{ Э ( { М } Stack(int) ) , НИ }  T = нарицательное имя ( {Э ( { М } типы ) } НЭ )
<br />
{ Э ( { М } типы ), СИ } int = собственное имя ( { Э ( { М } типы ) } НЭ )
<br />
{ Э ( { М } типы ), СИ, М } Stack = собственное имя ( { Э ( { М } типы ) } НЭ )
<br />
{ Э ( { М } Stack ), НИ, М } Stack(T) = нарицательное имя ( { Э ( { М } Stack ), СИ, М } )
<br />
{ Э ( { М } Stack ), СИ, М } Stack(int) = собственное имя ( { Э ( { М } Stack ) } Stack(T) )
<br />
{ Э ( { М } Stack(int) ), СИ } myStack  =  собственное имя ( { Э( {М} Stack(int)) } НЭ )
<br />
<br />
Можно ещё:
<br />
1) сократить запись вида
<br />
... имя ( { Э ( { М } НМ ) } НЭ ) = ... имя элемента ( { М } НМ )
<br />
2) убрать фигурные скобки
<br />
вместо этого брать имена в двойные кавычки (т.к. кавычки ближе друг к другу, они будут меньше путать, чем далёкие скобки)

<br />
<br />
Э ( М "имена" ), М "типы"
<br />
Э ( М "Stack(int)"), НИ "T" = нарицательное имя элемента ( М "типы" )
<br />
Э ( М "типы" ), СИ "int" = собственное имя элемента ( М "типы" )
<br />
Э ( М "типы" ), СИ, М "Stack" = собственное имя элемента ( М "типы" )
<br />
Э ( М "Stack" ), НИ, М "Stack[T]" = нарицательное имя элемента ( М "Stack" )
<br />
Э ( М "Stack" ), СИ, М "Stack[int]" = собственное имя элемента ( М "Stack[T]" )
<br />
Э ( М "Stack[int]" ), СИ "myStack"  =  собственное имя элемента ( М "Stack[int]" )

[/html]

Отредактировано Лис (2018-01-25 20:27:32)

0

3

Кавычки - это была неудачная идея. Теперь идея разделять части двоеточием.

множество = М
М: операции
элемент(операции): элемент = Э, нарицательное имя, собственное имя, имя из слова
М: части речи
Э(части речи): существительное, прилагательное, глагол, местоимение
М: падежи
Э(падежи), Э(операции): именительный падеж, родительный падеж, дательный падеж, винительный падеж, творительный падеж, предложный падеж
М: числа
Э(числа): единственное число, множественное число
М: роды
Э(роды): женский род, мужской род
М: животные
Э(животные), множественное число, существительное, М: лисы
нарицательное имя(лисы), единственное число, мужской род, М: лис
нарицательное имя(лисы), единственное число, женский род, М: лиса
М: участники форума
Э(участники форума), собственное имя(участники форума), имя из слова(лис): Лис
родительный падеж(Лис): Лиса
дательный падеж(Лис): Лису
винительный падеж(Лис): Лиса
творительный падеж(Лис): Лисом
предложный падеж(Лис): Лисе

UPD:
придумал, как избавиться от знака "=", надо вернуться к первоначальному порядку - сначала слова, потом их спецификация. Эти две половины разделять двоеточием. В первой половине, получается, не сможет быть вызовов функций, а это значит, что круглые скобки можно будет использовать для чего-нибудь, например вместо знака "=".
элемент (Э) : элемент(операции:М)

Отредактировано Лис (2018-02-21 10:16:26)

0

4

Лис написал(а):

Скучно с вами, ничего не пишите. Где треш, где угар?

Функция:
"Поднос подноса под нос" (угар)))

0


Вы здесь » Русскоязычное программирование » русский язык » Нарицательные имена русского языка как имена параметров шаблонов