Участник: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 MLen: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
Twelfen: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 — преобразовать в дисамбиг
Подтип — редирект на Выделение подтипов данных
Линейный список — объединить с Связный список
Consen:Cons
CAR и CDRen: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!» — «Как вы это делаете? Всегда правой!»