Участник:Arachnelis

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

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

Ожидаемое время возвращения — хз.

Этому участнику сейчас катастрофически не хватает времени

Языки участников

ru-N	Русский — родной язык этого участника.

en-3	This user has advanced knowledge of English.

Этот участник ощущает себя на 50% Викидраконом и на 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

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

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

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

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

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

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!» — «Как вы это делаете? Всегда правой!»

Юзербоксы

Коротко о себе

Участник из России

Участник проекта
«Информационные технологии»

10,9

года

Этот участник в русской Википедии уже 3986 дней

Этот участник — экзопедист, он предпочитает написание статей всем остальным видам деятельности в проекте

Этот участник правит смело.
Или хотя бы пытается

×

Этот участник — антиудалист. Он полагает, что удаление статей Википедии (кроме откровенно неэнциклопедичных и вандальных) уменьшает её качество и противоречит целям и задачам Википедии.