( обс. · вклад · удалённый вклад · · файлы · · · · · права )

Этот участник в настоящее время находится в частичном вики-отпуске и, возможно, не ответит на все ваши сообщения. Ожидаемое время возвращения — хз .

	Этот участник ощущает себя на 50% Викидраконом и на 50% Викиогром
50% 50%

Википедия:ЗКПАУ

Заслуги

Сделано

Нижеследующее перечисление выполнено никоим образом не из эгоизма, как постулирует (толсто намекает) ВП:Авторство .
Это не «мои» статьи! Желающие поддержать развитие Вики в том же направлении, коим занимаюсь я, могут править их смело !

Делаю

+

ffconsultancy

*1

*2

*2

Структурно-организационный вклад

Разработал типовые (шаблонные) структуры для статей:

Шаблоны:

Навигационный — Парадигмы программирования ( структурировал, почистил и дополнил )

Навигационный — Языки программирования — ( ещё цел) ( переделал с нуля, сделал сворачиваемым по частям с разделением на "часто упоминаемые" и "все", нашпиговал всеми языками, которые наскрёб в русском и английском разделе ).

Навигационный — Стратегии вычисления — перевод с английского

{{disambiguation}} :

Типизация данных

Конструктор (программирование) (продублировано в Конструктор )

FFI

Модель вызова (информатика)

Раскрыл разнообразие CS, повысил научный уровень обсуждения, дал массу информации и отпинал настырных недоучек в следующих темах:

Обсуждение проекта:Информационные технологии#Статьи о языках программирования

Обсуждение:C++

Обсуждение:ООП

Список на перевод: Википедия:К созданию/Информатика

Содержательный вклад

• С нуля разработаны или капитально переработаны статьи:

• Этими я особо горжусь:

Языково-ориентированное программирование

Язык модулей ML

Полиморфизм (программирование) ( после перевода с английской переделал под корень, повысил конкретику, расширил вдвое )

• Прочее:

Предметно-специфичный язык

Переменная типа ( после перевода с английской расширил в несколько раз )

Тип данных ( хотел перевести, но английская оказалась жидкой, забил на перевод, написал с нуля сам )

Конструктор (функциональное программирование)

Язык программирования разделы:

• « Математически обоснованные »
• « Большая часть классификации »

MLton

Типобезопасность — ( перевёл, потом переработал, дополнил и почистил )

Параметрический полиморфизм — после перевода английского полустаба увеличил статью в несколько раз, ВПЕРВЫЕ написав на русском языке информацию о полиморфизме записей.

Прочее значимое

C++ ( Добавлено разделы «Полиморфизм» и «Влияние и альтернативы» )

Объектно-ориентированное программирование ( подправил раздел про языки )

Реактивное программирование ( Добавлено раздел «ФРП» )

Продолжение (информатика)

Перевод с английского

Полиморфизм (информатика) — (но с тех пор переписал под ноль)

Сильная и слабая типизация —

Конструктор типов —

Система типов —

Тип-произведение —

Род (теория типов) —

Функциональный тип —

Зависимый тип, раздел "Формальное определение" —

Стратегия вычисления —

Каламбур типизации —

Concurrent ML —

В английском разделе

Памятка / Быстрый доступ

Обсуждение шаблона:Знаете ли вы/Архив/8#Качество программного обеспечения

Шаблон:Навигационная таблица со сворачиваемыми группами

Шаблон:Навигационная таблица с колонками

Шаблон:Навигационная таблица

Шаблон:Навигационная полоса

Шаблон:Навигационный блок

Википедия:Сворачивающиеся блоки

Википедия:Механизм шаблонов#Теги noinclude, includeonly, onlyinclude

Википедия:Оформление таблиц

Википедия:Таблица цветов

[[Категория:Перенаправления, вместо которых желательно создать статьи]]

{{Hider | title = Заголовок | content = контент }}

Википедия:Юзербоксы

Википедия:Шаблоны/Участники/Викимедиа

Требуется обойти

Кортеж : ссылки сюда — обойти для разрешения дисамбига: Кортеж (информатика)

Полиморфизм : ссылки сюда — обойти после переименования: Полиморфизм (информатика)

В планах

Язык программирования

Учебный язык программирования

Абстракция (информатика) —

(на основе )

Предложено Карточка - Язык программирования — Обсуждение

Предложено Именование статей — Обсуждение

В свете планов развития ML

—

Класс типов —

Ссылка (программирование) —

—

Подтип — —

— —

—

В соответствии со начать планомерную разработку и переработку

—

Си (язык программирования)

— Объектно-ориентированное программирование

— Функциональное программирование

---

—

• — — (??? ??? ???) —
• Glue code (рус)
• — — —
• Интерфейс программирования приложений
• — — Делегирование (программирование) —

---

Неизменяемый объект (шаблон проектирования)

Мутабельный тип

Константа (программирование) -

---

Английские есть, но на них хрень, так что придётся писать с нуля

Инкапсуляция (программирование) —

Сокрытие (программирование) —

Объект (программирование) —

Агрегирование (программирование) —

—

Ближайшие планы

Параметрический полиморфизм —

Система F — викифицировать, дописать от , ,

Система типов Хиндли — Милнера —

Вывод типов — (рассмотреть переименование в Выведение типов )

—

—

—

—

Тип-сумма —

Сильная и слабая типизация —

Система типов —

редиректы

• Модель типизации Хиндли — Милнера
• — редирект на Соответствие Карри — Ховарда
• — редирект на Соответствие Карри — Ховарда

Но это ещё всё придётся перевести с английского

Выложено: Википедия:К созданию/Информатика#Требуется перевести

---

Пользовательское программирование —

Метаязыковая абстракция —

Спецификация языков программирования —

Фатальная ошибка — Крах (программирование) — Крах программного обеспечения —

Синтаксическая ошибка (программирование) —

Область видимости — Область видимости (программирование) —

Синтаксис (программирование) — Синтаксис языка программирования —

Семантика (программирование) — Семантика (информатика) —

Метаязык —

— Информатик — ( перевод термина обсудим отдельно, пока оставить дословно )

Строгие вычисления —

Отложенные вычисления — Ленивые вычисления — ( переименовать именно в « ленивые », т.к. это семантически более корректный термин, и семантическая разница существенна — отложить можно и умышленно, но это не имеет отношения к (уже переводится), которая заложена в семантике языка и влияет на использование языка даже в небольших программах )

Явная типизация — Явное назначение типов — ( варианты перевода термина можно рассмотреть )

— — —

— — — —

Выражение (информатика) —

Значение (информатика) —

Переменная (программирование) —

Состояние (информатика) —

Побочный эффект (программирование) — Побочный эффект (информатика) —

Генератор (программирование) —

---

Полиморфизм :

Перегрузка процедур и функций — Перегрузка методов — Перегрузка функций — Перегрузка подпрограмм — ( «Перегрузка подпрограмм» энциклопедически корректнее, хотя в английском это лишь подраздел даже без {{main}}: )

Перегрузка операторов —

—

---

— — Выразительность (программирование) —

Программирование в стиле передачи продолжений — —

Сравнение (программирование) — ( Object identity vs. content equality )

— (операция, обратная в Выведению )

Неизменяемый объект — (позорище)

Ранения почти смертельные, но труп ещё дышит (с)

Инженерия программного обеспечения соотнести с Разработка программного обеспечения так, чтобы не было принципа « не фиг думать, надо трясти »

Алгебраический тип данных —

Оператор (программирование) —

Библиотека (программирование) —

А потом причесать

обходя Служебная:Ссылки_сюда/Неправильное_название и направляя на

постфикс (информатика) в большинстве случаев предпочтительнее, чем (программирование), исключение - элементы сугубо практических понятий, т.е. реализаций какой-либо технологии (правила Википедии - наиболее общий термин, а "информатика" шире, чем "программирование")

неправильные названия следует удалять - даже редирект с неправильной формулировкой недопустим, т.к. не повышает уровень знаний авторов статей, провоцируя на распространение заблуждений

---

C++ — переименовать в C++ (язык программирования)

ML — дисамбиг и в нём редирект на

Standard ML — переименовать в

SML — редирект на

Аргумент (программирование) — редирект на Параметр (программирование)

Кортеж — переименовать в Кортеж (информатика)

— редирект на Полиморфизм (программирование)#Ситуативный (ad hoc) полиморфизм

Параметрический полиморфизм — редирект на Полиморфизм (программирование)#Параметрический полиморфизм

FFI — преобразовать в дисамбиг

Подтип — редирект на

Линейный список — объединить с Связный список

Cons —

—

---

:

— Мутабельный тип — WTF?

— Неизменяемый объект

—

---

:

— Перегрузка процедур и функций (сейчас)

— Перегрузка функций (редирект)

— Перегрузка методов (редирект)

---

— редирект на Значение (информатика)#Леводопустимые и не леводопустимые значения

— редирект на Значение (информатика)#Леводопустимые и не леводопустимые значения

---

— редирект на Абстракция (информатика)

Абстракция — переименовать в

Абстракция — {{disambiguation}}:

В информатике :

• Абстракция (информатика)
• Абстракция данных
• Абстракция функций

---

Runtime (значения) — {{disambiguation}}:

• Среда выполнения

---

— — {{disambiguation}}:

• Встраиваемая система
• Встраиваемый язык
• - ???

---

Статическая типизация — удалить содержимое и редиректить на Система типов#Статическая типизация (по аналогии с английской)

Динамическая типизация — удалить содержимое и редиректить на Система типов#Динамическая типизация (по аналогии с английской)

Ничего, мы своё ещё возьмём

Необходимо удалить неправильные термины во избежание провоцирования лжи в статьях, которые могут ссылаться на эти понятия:

Возражаю Тип переменной — удалить

Возражаю Тип возвращаемой переменной — удалить

Передача параметра (программирование) — удалить ( ибо есть " параметр " и " модель вызова " )

Модель типизации Хиндли — Милнера — удалить

Википедия:Заявки на снятие флагов/Архив/Патрулирующие/2016

Очень хочется сделать, но в реальности вряд ли руки дойдут

...и по аналогии

Методология разработки программного обеспечения —

О себе

Никнейм

Arachnelis [arahn′elɪs] - акроним от лат. arachn e и f elis , т.е. представитель семейства паукообразных кошачьих, а именно - длинношёрстный саблезубый скорпион. Хитиновый панцирь скрыт под плотным тёплым мехом. Когти на пушистых членистых лапах не так опасны, как клешни или жало на пушистом хвосте, но поцарапать могут. От восьми зелёных глаз с вертикальными зрачками ничто не ускользает. Укушу.

Девизы, слоганы, мысли и просто любимые фразы

• В споре рождается истина.
• Я знаю только то, что я ничего не знаю. Иные не знают даже этого. (c) Сократ
• Умный человек всегда найдёт, чем заняться — пусть даже какой-нибудь дурью! (с) #Distant Stayer
• Без пруда не вытащишь и рыбку из него. (с) Русское Радио
• В продажу поступили поддельные ёлочные игрушки. Выглядят и стоят они совсем как настоящие, только вот радости от них никакой. (c) Overseer, Game.EXE

• Не надо мне сто голов хорошо наполненных — дайте мне одну хорошо устроенную. (с) Мишель де Монтень
• Все с детства знают, что то-то и то-то невозможно. Но всегда найдётся невежда, который этого не знает. Он-то и сделает открытие. (с) Эйнштейн
• Заблуждение не перестаёт быть заблуждением от того, что большинство разделяет его. (c) Л. Н. Толстой
• Самая дорогая вещь на свете — это глупость. (c) Братья Вайнеры
• Информация в голове идиота не только бесполезна, но и вредна.

• Верблюд — это лошадь, доработанная по замечаниям заказчика. (c) пословица советских инженеров (применима и к википедии)
• Feci quod potui, faciant meliora potentes
• У журавля в небе больше шансов на выживание, чем у синицы в руках эгоиста.

• Ранения почти смертельные, но труп ещё дышит (c) компиляция из настоящих милицейских протоколов

оригинальные цитаты (были опубликованы в региональной газете из личной коллекции сотрудницы тогда ещё милиции)

• На трупе обнаружены пять ран, две из которых смертельные, а остальные, к счастью, нет.
• ... стал наносить ему почти смертельные ранения ...
• Когда группа прибыла на место происшествия, труп ещё дышал.
• В автокатастрофе погибло пять человек; двое из них - серьёзно.
• На столе стоит аквариум с рыбами. Рыб много. Они разные, синие и красные.
• ... стал наносить ему удары по жизненно важным органам: голове, другим половым органам ...
• Остатки самогона уничтожены экспертом.

• Оптимист думает, что стакан наполовину полон, пессимист — что стакан наполовину пуст, а программист — что стакан в два раза больше, чем требуется.
• «How do you do? All right!» — «Как вы это делаете? Всегда правой!»

Юзербоксы