Участник:Arachnelis — Википедия

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

Этому участнику сейчас катастрофически не хватает времени
Языки участников
ru-N Русский — родной язык этого участника.
en-3 This user has advanced knowledge of English.
Уровни владения языками
Ia! Этот участник ощущает себя на 50% Викидраконом и на 50% Викиогром Tc!
50% 50%

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


Заслуги

[править | править код]

Сделано

[править | править код]

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

Делаю

[править | править код]
⌚ Участник:Arachnelis/Standard ML (язык программирования)
⌚ Участник:Arachnelis/successor ML
⌚ Участник:Arachnelis/C++ (язык программирования)
✔ ⌚ Участник:Arachnelis/Критика C++ + Совместимость Си и С++[англ.]
⌚ Участник:Arachnelis/Семейство навигационных шаблонов по информатике
⌚ ffconsultancy
*1 en:MediaWiki talk:Spam-blacklist#ffconsultancy ffconsultancy (21 January 2015)
*2 Global removal Declined (29 March 2015)
*2 [1]

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

[править | править код]
Разработал типовые (шаблонные) структуры для статей:
✔ Участник:Arachnelis/PL (язык программирования)
✔ Участник:Arachnelis/Какое-то Программирование
Шаблоны:
✔ Навигационный — Парадигмы программирования (структурировал, почистил и дополнил)
✔ Навигационный — Языки программирования — (Мой черновик в личке ещё цел) (переделал с нуля, сделал сворачиваемым по частям с разделением на "часто упоминаемые" и "все", нашпиговал всеми языками, которые наскрёб в русском и английском разделе).
✔ Навигационный — Стратегии вычисления — перевод с английского
{{disambiguation}}:
✔ Типизация данных
✔ Конструктор (программирование) (продублировано в Конструктор)
✔ FFI
✔ Модель вызова (информатика)
Раскрыл разнообразие CS, повысил научный уровень обсуждения, дал массу информации и отпинал настырных недоучек в следующих темах:
✔ Обсуждение проекта:Информационные технологии#Статьи о языках программирования
✔ Обсуждение:C++
✔ Обсуждение:ООП
Список на перевод: Википедия:К созданию/Информатика

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

[править | править код]
  • С нуля разработаны или капитально переработаны статьи:
  • Этими я особо горжусь:
✔ Языково-ориентированное программирование
✔ Язык модулей ML
✔ Полиморфизм (программирование) (после перевода с английской переделал под корень, повысил конкретику, расширил вдвое)
  • Прочее:
✔ Предметно-специфичный язык
✔ Переменная типа (после перевода с английской расширил в несколько раз)
✔ Тип данных (хотел перевести, но английская оказалась жидкой, забил на перевод, написал с нуля сам)
✔ Конструктор (функциональное программирование)
✔ Язык программирования разделы:
✔ MLton
✔ Типобезопасность — en:Type safety (перевёл, потом переработал, дополнил и почистил)
✔ Параметрический полиморфизм — после перевода английского полустаба увеличил статью в несколько раз, ВПЕРВЫЕ написав на русском языке информацию о полиморфизме записей.

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

[править | править код]
C++ (+ Добавлено разделы «Полиморфизм» и «Влияние и альтернативы»)
Объектно-ориентированное программирование (подправил раздел про языки)
Реактивное программирование (+ Добавлено раздел «ФРП»)
Продолжение (информатика)

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

[править | править код]
✔ Полиморфизм (информатика) — en:Polymorphism (computer science) (но с тех пор переписал под ноль)
⌚ ✔ Сильная и слабая типизация — en:Strong and weak typing
✔ Конструктор типов — en:Type constructor
⌚ ✔ Система типов — en:Type system
✔ Тип-произведение — en:Product type
✔ Род (теория типов) — en:Kind (type theory)
✔ Функциональный тип — en:Function type
✔ Зависимый тип, раздел "Формальное определение" — en:Dependent type#Formal definition
✔ Стратегия вычисления — en:Evaluation strategy
✔ Каламбур типизации — en:Type punning
✔ Concurrent ML — en:Concurrent ML

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

[править | править код]
Contributions

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

[править | править код]
Обсуждение шаблона:Знаете ли вы/Архив/8#Качество программного обеспечения
Участник:Arachnelis/Сусек
en:Template:Computer_language
en:Category:Programming_languages
Шаблон:Навигационная таблица со сворачиваемыми группами
Шаблон:Навигационная таблица с колонками
Шаблон:Навигационная таблица
Шаблон:Навигационная таблица2
Шаблон:Навигационная полоса
Шаблон:Навигационный блок
Википедия:Сворачивающиеся блоки
Википедия:Механизм шаблонов#Теги noinclude, includeonly, onlyinclude
Википедия:Оформление таблиц
Википедия:Таблица цветов
[[Категория:Перенаправления, вместо которых желательно создать статьи]]
{{Hider | title = Заголовок | content = контент }}
Википедия:Юзербоксы
Википедия:Шаблоны/Участники/Викимедиа
Category:Icons

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

[править | править код]
Кортеж : ссылки сюда — обойти для разрешения дисамбига: Кортеж (информатика)
Полиморфизм : ссылки сюда — обойти после переименования: Полиморфизм (информатика)

В планах

[править | править код]
Язык программирования
Учебный язык программирования
Абстракция (информатика) — en:Abstraction (computer science)
Мутабельность (на основе en:Immutable object)
(?) Предложено Карточка - Язык программирования — Обсуждение
(?) Предложено Именование статей — Обсуждение
В свете планов развития ML
ML (язык программирования) — en:ML (programming language)
Класс типов — en:Type class
Ссылка (программирование) — en:Reference (computer science)
Рекурсивный тип данных — en:Recursive data type
Подтип — Выделение подтипов данных — en:Subtyping
Привязка идентификатора — Связывание имён — en:Name binding
Twelf — en:Twelf
В соответствии со структурой начать планомерную разработку и переработку
ML (язык программирования) — en:ML (programming language)
Си (язык программирования)
Участник:Arachnelis/Объектно-ориентированное программирование — Объектно-ориентированное программирование
Участник:Arachnelis/Функциональное программирование — Функциональное программирование
Межъязыковое взаимодействие — en:Language binding
Неизменяемый объект (шаблон проектирования)
Мутабельный тип
Константа (программирование) - en:Constant (programming)
en:Immutable object
Английские есть, но на них хрень, так что придётся писать с нуля
Инкапсуляция (программирование) — en:Encapsulation (object-oriented programming)
Сокрытие (программирование) — en:Information hiding
Объект (программирование) — en:Object (computer science)
Агрегирование (программирование) — en:Object composition
Композитный тип — en:Composite data type

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

[править | править код]
Параметрический полиморфизм — en:Parametric polymorphism
Система F — викифицировать, дописать от en:System F, en:System F-omega, en:System F-sub
Система типов Хиндли — Милнера — en:Hindley–Milner type system
Вывод типов — en:Type inference (рассмотреть переименование в Выведение типов )
Полиморфная рекурсия — en:Polymorphic recursion
Сигнатура типа — en:Type signature
Рекурсивный тип данных — en:Recursive data type
Вариантный тип данных — en:Variant type
⌚ Тип-сумма — en:Sum type
⌚ ✔ Сильная и слабая типизация — en:Strong and weak typing
⌚ ✔ Система типов — en:Type system
редиректы

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

[править | править код]

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

Пользовательское программирование — en:End-user development
Метаязыковая абстракция — en:Metalinguistic abstraction
Спецификация языков программирования — en:Programming language specification
Фатальная ошибка — Крах (программирование) — Крах программного обеспечения — en:Crash (computing)
Синтаксическая ошибка (программирование) — en:Syntax error
Область видимости — Область видимости (программирование) — en:Scope (computer science)
Синтаксис (программирование) — Синтаксис языка программирования — en:Syntax (programming languages)
Семантика (программирование) — Семантика (информатика) — en:Semantics (computer science)
Метаязык — en:Metalanguage
Computer scientist — Информатик — en:Computer scientist (перевод термина обсудим отдельно, пока оставить дословно)
Строгие вычисления — en:Eager evaluation
Отложенные вычисления — Ленивые вычисления — en:Lazy evaluation (переименовать именно в «ленивые», т.к. это семантически более корректный термин, и семантическая разница существенна — отложить можно и умышленно, но это не имеет отношения к en:Evaluation strategy (уже переводится), которая заложена в семантике языка и влияет на использование языка даже в небольших программах)
Явная типизация — Явное назначение типов — en:Manifest typing (варианты перевода термина можно рассмотреть)
compile time — Этап компиляции (программирование) — Стадия компиляции (программирование) — en:compile time
run time — Этап выполнения (программирование) — Стадия исполнения (программирование) — Стадия выполнения (программирование) — en:run time (program lifecycle phase)
Выражение (информатика) — en:Expression (computer science)
Значение (информатика) — en:Value (computer science)
Переменная (программирование) — en:Variable (computer science)
Состояние (информатика) — en:State (computer science)
Побочный эффект (программирование) — Побочный эффект (информатика) — en:Side effect (computer science)
Генератор (программирование) — en:Generator (computer programming)
Pointer aliasing
Aliasing (computing)

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

Перегрузка процедур и функций — Перегрузка методов — Перегрузка функций — Перегрузка подпрограмм — en:function overloading («Перегрузка подпрограмм» энциклопедически корректнее, хотя в английском это лишь подраздел даже без {{main}}: en:Subroutine#Overloading)
Перегрузка операторов — en:Operator overloading
Специальный полиморфизм — en:Ad hoc polymorphism
Лаконичность (программирование) — Выразительная сила (программирование) — Выразительность (программирование) — en:Expressive power (computer science)
Программирование в стиле передачи продолжений — Вызов с передачей продолжения — en:Continuation-passing style
Сравнение (программирование) — en:Relational operator (Object identity vs. content equality)
Стирание типов — en:Type erasure (операция, обратная в Выведению)
Неизменяемый объект — en:Immutable object (позорище)
Ранения почти смертельные, но труп ещё дышит (с)
[править | править код]
Инженерия программного обеспечения соотнести с Разработка программного обеспечения так, чтобы не было принципа «не фиг думать, надо трясти»
Алгебраический тип данных — en:Algebraic data type
Оператор (программирование) — en:Statement (computer science)
Библиотека (программирование) — en:Library (computing)

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

[править | править код]
обходя Служебная:Ссылки_сюда/Неправильное_название и направляя на Правильное название
постфикс (информатика) в большинстве случаев предпочтительнее, чем (программирование), исключение - элементы сугубо практических понятий, т.е. реализаций какой-либо технологии (правила Википедии - наиболее общий термин, а "информатика" шире, чем "программирование")
неправильные названия следует удалять - даже редирект с неправильной формулировкой недопустим, т.к. не повышает уровень знаний авторов статей, провоцируя на распространение заблуждений
C++ — переименовать в C++ (язык программирования)
ML — дисамбиг и в нём редирект на ML (язык программирования)
Standard ML — переименовать в Standard ML (язык программирования)
SML — редирект на Standard ML (язык программирования)
✔ Аргумент (программирование) — редирект на Параметр (программирование)
✔ Кортеж — переименовать в Кортеж (информатика)
✔ Ad hoc полиморфизм — редирект на Полиморфизм (программирование)#Ситуативный (ad hoc) полиморфизм
✔ Параметрический полиморфизм — редирект на Полиморфизм (программирование)#Параметрический полиморфизм
✔ FFI — преобразовать в дисамбиг
Подтип — редирект на Выделение подтипов данных
Линейный список — объединить с Связный список
Cons — en:Cons
CAR и CDR — en:CAR and CDR
Мутабельность:
— Мутабельный тип — WTF?
— Неизменяемый объект
— en:Immutable object
Перегрузка функций и методов:
— Перегрузка процедур и функций (сейчас)
— Перегрузка функций (редирект)
— Перегрузка методов (редирект)
L-value — редирект на Значение (информатика)#Леводопустимые и не леводопустимые значения
R-value — редирект на Значение (информатика)#Леводопустимые и не леводопустимые значения
Абстракция (программирование) — редирект на Абстракция (информатика)
Абстракция — переименовать в Абстракция (философия)
Абстракция — {{disambiguation}}:
В информатике:
Runtime (значения) — {{disambiguation}}:
Embedding — Встраивание — {{disambiguation}}:
Статическая типизация — удалить содержимое и редиректить на Система типов#Статическая типизация (по аналогии с английской)
Динамическая типизация — удалить содержимое и редиректить на Система типов#Динамическая типизация (по аналогии с английской)

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

[править | править код]
Необходимо удалить неправильные термины во избежание провоцирования лжи в статьях, которые могут ссылаться на эти понятия:
(−) Возражаю Тип переменной — удалить
(−) Возражаю Тип возвращаемой переменной — удалить
Передача параметра (программирование) — удалить (ибо есть "параметр" и "модель вызова")
Модель типизации Хиндли — Милнера — удалить
Википедия:Заявки на снятие флагов/Архив/Патрулирующие/2016

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

[править | править код]
en:History of the Scheme programming language
...и по аналогии История языка программирования Standard ML
Методология разработки программного обеспечения — en:Software development methodology

О себе

[править | править код]

Никнейм

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

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

[править | править код]
  • В споре рождается истина.
  • Я знаю только то, что я ничего не знаю. Иные не знают даже этого. (c) Сократ
  • Умный человек всегда найдёт, чем заняться — пусть даже какой-нибудь дурью! (с) #Distant Stayer
  • Без пруда не вытащишь и рыбку из него. (с) Русское Радио
  • В продажу поступили поддельные ёлочные игрушки. Выглядят и стоят они совсем как настоящие, только вот радости от них никакой. (c) Overseer, Game.EXE
  • Не надо мне сто голов хорошо наполненных — дайте мне одну хорошо устроенную. (с) Мишель де Монтень
  • Все с детства знают, что то-то и то-то невозможно. Но всегда найдётся невежда, который этого не знает. Он-то и сделает открытие. (с) Эйнштейн
  • Заблуждение не перестаёт быть заблуждением от того, что большинство разделяет его. (c) Л. Н. Толстой
  • Самая дорогая вещь на свете — это глупость. (c) Братья Вайнеры
  • Информация в голове идиота не только бесполезна, но и вредна.
  • Верблюд — это лошадь, доработанная по замечаниям заказчика. (c) пословица советских инженеров (применима и к википедии)
  • Feci quod potui, faciant meliora potentes
  • У журавля в небе больше шансов на выживание, чем у синицы в руках эгоиста.
  • Ранения почти смертельные, но труп ещё дышит (c) компиляция из настоящих милицейских протоколов
оригинальные цитаты (были опубликованы в региональной газете из личной коллекции сотрудницы тогда ещё милиции)
  • На трупе обнаружены пять ран, две из которых смертельные, а остальные, к счастью, нет.
  • ... стал наносить ему почти смертельные ранения ...
  • Когда группа прибыла на место происшествия, труп ещё дышал.
  • В автокатастрофе погибло пять человек; двое из них - серьёзно.
  • На столе стоит аквариум с рыбами. Рыб много. Они разные, синие и красные.
  • ... стал наносить ему удары по жизненно важным органам: голове, другим половым органам ...
  • Остатки самогона уничтожены экспертом.
  • Оптимист думает, что стакан наполовину полон, пессимист — что стакан наполовину пуст, а программист — что стакан в два раза больше, чем требуется.
  • «How do you do? All right!» — «Как вы это делаете? Всегда правой!»

Юзербоксы

[править | править код]
Источник — https://ru.wikipedia.org/w/index.php?title=Участник:Arachnelis&oldid=108361007