Этот участник ощущает себя на 50% Викидраконом и на 50% Викиогром
Быстрый доступ
en:Template:Computer_language
en:Category:Programming_languages
Шаблон:Навигационная таблица со сворачиваемыми группами
Шаблон:Навигационная таблица с колонками
Шаблон:Навигационная таблица
Шаблон:Навигационная таблица2
Шаблон:Навигационная полоса
Шаблон:Навигационный блок
:Сворачивающиеся блоки
:Механизм шаблонов#Теги noinclude, includeonly, onlyinclude
:Оформление таблиц
:Таблица цветов
[[Категория:Перенаправления, вместо которых желательно создать статьи]]
{{Hider | title = Заголовок | content = контент }}
:Юзербоксы
:Шаблоны/Участники/Викимедиа
Category:Icons
Участие в вики-проекте
Делаю
Участник:Arachnelis/Standard ML (язык программирования)
Участник:Arachnelis/C++ (язык программирования)
Участник:Arachnelis/Критика C++
Участник:Arachnelis/Семейство навигационных шаблонов по информатике
Требуется обойти
Кортеж : ссылки сюда — обойти для разрешения дисамбига: Кортеж (информатика)
Полиморфизм : ссылки сюда — обойти после переименования: Полиморфизм (информатика)
Сделано
Структурно-организационный вклад
Разработал типовые (шаблонные) структуры для статей:
Участник:Arachnelis/PL (язык программирования)
Участник:Arachnelis/Какое-то Программирование
Шаблоны:
Навигационный — Парадигмы программирования (структурировал, почистил и дополнил )
Навигационный — Языки программирования — (Мой черновик в личке ещё цел) (переделал с нуля, сделал сворачиваемым по частям с разделением на "часто упоминаемые" и "все", нашпиговал всеми языками, которые наскрёб в русском и английском разделе ).
Навигационный — Стратегии вычисления — перевод с английского
{{disambiguation}} :
Типизация данных
Конструктор (программирование) (продублировано в Конструктор )
FFI
Модель вызова (информатика)
Раскрыл разнообразие CS, повысил научный уровень обсуждения, дал массу информации и отпинал настырных недоучек в следующих темах:
Обсуждение проекта:Информационные технологии#Статьи о языках программирования
Обсуждение:C++
Обсуждение:ООП
Список на перевод: :К созданию/Информатика
Содержательный вклад
С нуля разработаны или капитально переработаны статьи:
Языково-ориентированное программирование
Предметно-специфичный язык
Полиморфизм (программирование) (после перевода с английской существенно переколопатил )
Тип данных (хотел перевести, но английская оказалась жидкой, забил на перевод, написал с нуля сам )
Запись (тип данных)
Структура (язык Си)
Конструктор данных
Язык программирования раздел «Математически обоснованные »
MLton
Перевод с английского
Полиморфизм (информатика) — en:Polymorphism (computer science)
Полнотиповое программирование — en:Typeful programming
Сильная и слабая типизация — 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 variable
Каламбур типизации — en:Type punning
Типобезопасность — Ошибка типизации — Ошибка согласования типов — en:Type safety (переработано, дополнено и почищено )
В английском разделе
Contributions
Прочее значимое
C++ ( Добавлено разделы «Полиморфизм» и «Влияние и альтернативы» )
Объектно-ориентированное программирование (подправил раздел про языки )
Реактивное программирование ( Добавлено раздел «ФРП» )
Продолжение (информатика)
В планах сделать
Язык программирования
Учебный язык программирования
Шаблон:Типы данных
Мутабельность (на основе en:Immutable object )
BitC (язык программирования) — en:BitC
Предложено Карточка - Язык программирования — Обсуждение
Предложено Именование статей — Обсуждение
В соответствии со структурой начать планомерную разработку и переработку
ML (язык программирования) — en:ML (programming language)
Си (язык программирования)
Участник:Arachnelis/Объектно-ориентированное программирование — Объектно-ориентированное программирование
Участник:Arachnelis/Функциональное программирование — Функциональное программирование
Межъязыковое взаимодействие — en:Language binding
Кортеж (информатика) — en:Tuple — пока перевести, затем проанализировать, выделить теорию и составной тип в языках, объединить с Тип-произведение , вместе с Запись (тип данных) и Структура (язык Си) (en:Tuple (computer science) редиректит на en:Product type ).
Неизменяемый объект (шаблон проектирования)
Мутабельный тип
Константа (программирование) - en:Constant (programming)
en:Immutable object
Английские есть, но на них хрень, так что придётся писать с нуля:
Инкапсуляция (программирование) — en:Encapsulation (object-oriented programming)
Сокрытие (программирование) — en:Information hiding
Объект (программирование) — en:Object (computer science)
Агрегирование (программирование) — en:Object composition
Композитный тип — en:Composed data type
Но это ещё всё придётся перевести с английского
Выложено: :К созданию/Информатика#Требуется перевести
Пользовательское программирование — en:End-user development
Спецификация языков программирования — en:Programming language specification
Фатальная ошибка — Крах (программирование) — Крах программного обеспечения — en:Crash (computing)
Синтаксическая ошибка — en:Syntax error
Область видимости — Область видимости (программирование) — en:Scope (computer science)
Синтаксис (программирование) — Синтаксис языка программирования — en:Syntax (programming languages)
Семантика (программирование) — Семантика (информатика) — en:Semantics (computer science)
Денотационная семантика — en:Denotational semantics
Аксиоматическая семантика — en:Axiomatic semantics (английская очень маленькая - желающие могут расширять )
Метаязык — en:Metalanguage
Computer scientist — Информатик — en:Computer scientist (перевод термина обсудим отдельно, пока оставить дословно )
Строгие вычисления — en:Eager evaluation
Отложенные вычисления — Ленивые вычисления — en:Lazy evaluation (переименовать именно в «ленивые », т.к. это семантически более корректный термин, и семантическая разница существенна — отложить можно и умышленно, но это не имеет отношения к en:Evaluation strategy (уже переводится), которая заложена в семантике языка и влияет на использование языка даже в небольших программах )
Явная типизация — Явное назначение типов — en:Manifest typing (варианты перевода термина можно рассмотреть )
Метаязыковая абстракция — en:Metalinguistic abstraction
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:Name binding
Состояние (информатика) — en:State (computer science)
Побочный эффект (программирование) — Побочный эффект (информатика) — en:Side effect (computer science)
Генератор (программирование) — en:Generator (computer programming)
Pointer aliasing
Aliasing (computing)
Полиморфизм :
Подтип — Выделение подтипов данных — en:Subtyping
Перегрузка процедур и функций — Перегрузка методов — Перегрузка функций — Перегрузка подпрограмм — en:function overloading («Перегрузка подпрограмм» энциклопедически корректнее, хотя в английском это лишь подраздел даже без {{main}}: en:Subroutine#Overloading )
Перегрузка операторов — en:Operator overloading
Параметрический полиморфизм — en:Parametric polymorphism
Специальный полиморфизм — en:Ad hoc polymorphism
Лаконичность (программирование) — Выразительная сила (программирование) — Выразительность (программирование) — en:Expressive power (computer science)
Программирование в стиле передачи продолжений — Вызов с передачей продолжения — en:Continuation-passing style
Вариантный тип данных — en:Variant type
Абстракция (информатика) — en:Abstraction (computer science)
Система типов Хиндли — Милнера (используя Вывод типов ) — en:Hindley–Milner type system
Вывод типов — en:Type inference (рассмотреть переименование в Выведение типов )
Сравнение (программирование) — en:Relational operator (Object identity vs. content equality )
Класс типов — en:Type class
Стирание типов — en:Type erasure (операция, обратная в Выведению )
Рекурсивный тип данных — en:Recursive data type
Неизменяемый объект — en:Immutable object (позорище)
Ссылка (программирование) — en:Reference (computer science)
Тип-сумма — en:Sum type
Сильная и слабая типизация — en:Strong and weak typing
Система типов — en:Type system
Ранения почти смертельные, но труп ещё дышит (с)
Инженерия программного обеспечения соотнести с Разработка программного обеспечения так, чтобы не было принципа «не фиг думать, надо трясти »
Алгебраический тип данных — en:Algebraic data type
Методология разработки программного обеспечения — en:Software development methodology
Оператор (программирование) — en:Statement (computer science)
Библиотека (программирование) — en:Library (computing)
Ссылка (C++) — объединить со Ссылка (программирование)
А потом причесать
обходя Служебная:Ссылки_сюда/Неправильное_название и направляя на Правильное название
постфикс (информатика) в большинстве случаев предпочтительнее, чем (программирование), исключение - элементы сугубо практических понятий, т.е. реализаций какой-либо технологии (правила Википедии - наиболее общий термин, а "информатика" шире, чем "программирование")
неправильные названия следует удалять - даже редирект с неправильной формулировкой недопустим, т.к. не повышает уровень знаний авторов статей, провоцируя на распространение заблуждений
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}}:
Статическая типизация — удалить содержимое и редиректить на Система типов#Статическая типизация (по аналогии с английской)
Динамическая типизация — удалить содержимое и редиректить на Система типов#Динамическая типизация (по аналогии с английской)
Ничего, мы своё ещё возьмём
Необходимо удалить неправильные термины во избежание провоцирования лжи в статьях, которые могут ссылаться на эти понятия:
Отказано Тип переменной — удалить
Отказано Тип возвращаемой переменной — удалить
Передача параметра (программирование) — удалить (ибо есть "параметр " и "модель вызова " )
Модель типизации Хиндли — Милнера — удалить
О себе
Никнейм
Arachnelis [arahn′elɪs] - акроним от лат. arachn e и felis , т.е. представитель семейства паукообразных кошачьих, а именно - длинношёрстный саблезубый скорпион. Хитиновый панцирь скрыт под плотным тёплым мехом. Когти на пушистых членистых лапах не так опасны, как клешни или жало на пушистом хвосте, но поцарапать могут. От восьми зелёных глаз с вертикальными зрачками ничто не ускользает.
Девизы, слоганы, мысли и просто хорошие фразы
В споре рождается истина.
Я знаю только то, что я ничего не знаю. Иные не знают даже этого. (c)Сократ
Умный человек всегда найдёт, чем заняться - пусть даже какой-нибудь дурью! (с)#Distant Stayer
У журавля в небе больше шансов на выживание, чем у синицы в руках эгоиста.
Ранения почти смертельные, но труп ещё дышит (c)из настоящих милицейских протоколов
В продажу поступили поддельные ёлочные игрушки. Выглядят и стоят они совсем как настоящие, только вот радости от них никакой. (c)Overseer, Game.EXE
Юзербоксы
Коротко о себе
Этот участник интересуется музыкой .
Этот участник выступает за очищение русского языка от современных иностранных слов.
Сферы знаний
Этот участник интересуется наукой
Этот участник интересуется сексом
Интересы
Этот участник программирует на Haskell
Этот участник программирует на
Python
C
Этот участник программирует на С
Убеждения
Вы
Мы
Ты
Я
Этот участник одинаково хорошо воспринимает любые обращения : на «Вы» и на «ты» , господин и товарищ, имя и ник.
×
Этот участник — антиудалист . Он полагает, что удаление статей Википедии (кроме откровенно неэнциклопедичных и вандальных) уменьшает её качество и противоречит целям и задачам Википедии.
Нет цензуре!
Этот участник против религиозной и политической цензуры в Википедии