ru_declarative

Перевод серии статей "Язык Haskell для детей"

2012-05-29T03:04:32Z

Предлагаю вашему вниманию перевод серии статей "Haskell For Kids!" (оригинал: http://cdsmith.wordpress.com/2011/08/03/haskell-for-kids-introduction/ )

На данный момент перевод выполнен на ~50%, переведено введение и первые четыре части. Ознакомиться с ним можно здесь: http://it-talk.org/topic15355.html

Если что, перевод не мой, им занимается Darkus.

И никто ни автору

2012-05-29T03:01:34Z

поста и его комменторам не разъяснил прот типы стандартные типы Array, Ix и прочее. И про то, что

(Ix a, Ix b) => Ix (a, b)

И докуметацию они тоже не читали.

Взрывной шаблон

2012-05-19T08:46:43Z

Коллеги, я в замешательстве. Блиц-опрос: как вы думаете, почему в Хаскеле такая конструкция называется "bang patterns"?

f !x -> "xyz"

Как лучше всего перевести на русский?

UPD: Это я к чему: в книжке, которую вчера обсуждали, вместо "bang = exclamation mark" целых четыре страницы (сс. 120—123) рассказывается про то, что это "взрывной шаблон" и "взрывная декомпозиция", и по поводу того, почему именно всё это взрывное (bang = взрыв): оказывается, там жопа _|_ взрывается, если восклицательный знак неё войдёт. Я не знаю, как на это реагировать.

Новый учебник по Haskell

2012-05-18T08:29:47Z

Добрый день!

Написал книгу о Haskell [1]. Учебник, от азов до среднего уровня.
Девиз книги: просто о сложном. Много примеров, постоянное обращение
к интерпретатору, простой язык (скорее запись речи, чем книжный стиль).
Я бы хотел, чтобы любой желающий изучить Haskell (скорее всего, пока
не подозревающий о haskell-cafe, ru_declarative, ru_lambda и тд) мог легко
найти её в сети, скачать и получить удовольствие от программирования на
Haskell. Книга состоит из пдф-файла и примеров к главам. Подскажите,
пожалуйста, как это организовать.

Антон

[1] https://github.com/anton-k/ru-haskell-book

В Москве работа на хаскеле

2012-04-03T06:11:20Z

Здравствуйте.

Это продолжение вот этой вакансии: http://ru-declarative.livejournal.com/101630.html
Условия такие же: 40-50тр наличными, два раза в неделю нужно приехать в офис на пару часов, делаем автоматизацию колл-центра. Теперь уже это не халтурка до июня -- заказчики хотят продолжения.

В прошлый раз я рискнул написать про 30 часов, не знаю сколько выходит на самом деле: сейчас один товарищ совмещает с дипломом, второй -- с основной работой.

Из интересного: dsl, fts, gis, web.
Есть ещё задачи на javascript'е: у нас декларативный интерфейс из knockout'а и backbone (LtU).

Пишите на max@formalmethods.ru
Если вы хаскеля не умеете, но очень хотите научиться -- тоже пишите.

P.S. Да, увы, у нас не Parallel Scientific и не Barclays

Клуб юных функциональщиков

2012-03-06T13:40:20Z

В среду, 14 марта в 19:00 в офисе компании Яндекс в Санкт-Петербурге пройдет очередная встреча SPbHUG.

Место: Свердловская наб. 44, бизнес-центр Бенуа.

Добраться можно:
* от м.Площадь Ленина на бесплатном автобусе "Теорема" - дальняя левая сторона площади Ленина, если смотреть от финляндского вокзала
* от м.Новочеркасская на маршрутке №6

Темы докладов:
* Антон Ланцов. Гонки на Эрланге
* Борис Беркгаут. Haskell в авиатренажерах

Универсальные системы взаимодействия

2012-02-04T19:07:13Z

Известно, что система взаимодействия на основе комбинаторов {γ, δ, ε} со следующими правилами универсальна в том смысле, что может симулировать любую другую систему взаимодействия:

γ[δ(a, b), δ(c, d)] >< δ[γ(a, c), γ(b, d)];
δ[x, y] >< δ[x, y], γ[x, y] >< γ[y, x];
ε >< γ[ε, ε], ε >< δ[ε, ε], ε >< ε.

Чтобы показать универсальность произвольной системы, достаточно предоставить три сети внутри нее, которые бы заменяли комбинаторы {γ, δ, ε}, сохраняя все возможные их взаимодействия.

Рассмотрим другую систему взаимодействия с агентами типов {ξ, φ, ψ, ε}, где ξ бинарен, а φ и ψ — унарны. При этом зафиксируем некоторые правила:

φ[a] >< ξ[a, ε], ψ[a] >< ξ[ε, a];
ε >< ξ[ε, ε], ε >< φ[ε], ε >< ψ[ε].

Задача: найти такие правила ξ >< ξ, φ >< φ, φ >< ψ и ψ >< ψ и сети в {ξ, φ, ψ, ε}, заменяющие γ и δ, чтобы система была универсальна.

Симулировать аннигиляции γ >< γ и δ >< δ нетрудно: достаточно выбрать ξ[ξ(a, b), ξ(c, d)] >< ξ[ξ(a, c), ξ(b, d)] и положить γ(x, y) = ξ(φ(x), ψ(y)) и δ(x, y) = ξ(ψ(x), φ(y)). Однако с дублированием γ >< δ дело обстоит сложнее.

Был бы признателен за помощь в решении данной задачи.

ru_declarative @ 2011-11-24T11:58:00

2012-02-02T07:27:17Z

давным давно я написал небольшую библиотеку виджетов на ocaml и ncurses. тогда же хотел поделиться, да все руки не доходили...

теперь вот делюсь, может быть кому-то будет полезна: http://hg.smolex.com/ocaml-curses-widgets/summary

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

там же, рядом, есть небольшой генератор форм. в sexp-ах описывается форма, на нее натравливается генератов, из выхлопа получается форма с виджетом и именем. нужна такая штука из-за того, что у меня не сделаны лайауты, приходится виджеты расставлять руками по координатам и задавать им размеры. с одной стороны не фонтан, да. с другой стороны эта штука писалась для использования во всяком ембедете, чтобы к железке можно было отратиться через rs232 и увидеть +/- вменяемый тпи (текстовый пользовательский интерфейс), там плавать особо нечему, мне генерилки было вполне достаточно.

для сборки нужен elib, тоже собственного производства, лежит рядом, в отдельном репозиратии.

зы. почему не выложил на тот же битбакет? потому что у меня вот прям щас он почему-то недоступен, а если отложу выкладывание на потом, запал может кончиться :)

Вакансия

2012-02-02T07:26:38Z

Оригинал взят у si14 в Вакансия

Товарищи! Наша компания ищет программистов на Haskell'е на фуллтайм. Личное присутствие в офисе (Петербург, ст.м. Московские Ворота) обязательно. Как обычно, ДМС и прочие плюшки в комплекте. Зарплаты обсуждаем лично. Приходите, поговорим.

UPD: письма лучше писать на office@selectel.ru :)

асинхронные изменения

2012-01-16T06:48:05Z

Здравствуйте.

У меня возник вопрос по Haskell. Допустим, я хочу разработать многопользовательскую игру, где игроки асинхронно вносят изменения в мир. Меня интересует, где в таком случае хранится мир, ведь он может существовать только внутри некоторого вычисления, а в чисто функциональных языках, вроде как вычисления изолированны-друг-от-друга, следовательно игроки не смогут этот мир менять. Как разобраться с этой проблемой? Буду благодарен, если будет указанно направление, куда копать.

Работа на хаскеле в Москве

2011-12-09T12:28:42Z

Здравствуйте.

В конторе где я подрабатываю есть вакансия.
Проект связан с автоматизацией работы колл-центра. Там будут
веб-технологии, вся серверная часть на хаскеле.
Ключевые слова: snapframework, redis, postgresql.

Условия:
- работа начинается в январе-феврале, заканчивается в июне;
- 40-50тр в месяц на руки;
- график работы свободный, нужно быть несколько раз в неделю в офисе (на Шаболовке) для совещаний;
- предполагается, что вы будете тратить ~30 часов в неделю на проект;
- увы, личное присутствие обязательно, удалёнка не рассматривается.

От работника требуется писать аккуратный человекопонятный код (большая
часть исходников будет выложена под BSD).
Приветствуется опыт автоматизации бизнес-процессов, знание сетевых и
веб-технологий.

Если интересно, напишите немножко о себе на jobs@formalmethods.ru (не
забудтье приложить ссылки на свои блоги, github'ы, ohloh,
stackoverflow итп).

Btw, есть ещё вакансия на javascript и вёрстку

Неожиданный "побочный" эффект.

2011-11-01T10:55:04Z

Решил переделать одну программу на мемоизацию. И неожиданно получил всесто правильных 87089689052447182841791388989051400978432 странное число -669965290.
Ну кто додумался описать (!!) :: [a] -> Int -> a???

Кстати, для Data.Function.Memoize какой ghc нужен? В 6.12.3 его нет.

Постфункциональное программирование:

2011-10-23T07:09:37Z

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

let (_, y) = foldl (\((x,y), elem) -> ...) (x, 0) [...] in y

писать что-то вроде:

 for [x, y = 0] (elem in [...]) do 
   x := max (x, elem), y := y + x 
done;
    ...

С подразумеваемой трансляцией именно в fold

PS: То есть не это более всего напоминает скобкопоклонничество в Lisp - при том, что ни на фиг н нужно и сам Маккарти-то как раз планировал более читабельный (за счет именно разнообразия) синтаксис.

проверить алгебраический тип данных

2011-10-12T20:25:40Z

Чтобы проверить, что алгебраический тип данных имеет только 1 конструктор с 1 аргументом, что можно использовать — Template Haskell, Data.Generics?

Xmonad

2011-10-08T06:37:50Z

А никто с xmonad не игрался? А то под влиянием разговоров о животворящей силе оконного интерфейса созрел чтобы посмотреть чт бывает кроме - и в общем нашел - Ion и XMonad+BlueTile и то и то близко к но не совсем - потому по его layout's и т.п. в xmonad - чтобы его подковырять в требуемом плане.

про кэширование рекурсивных функций:

2011-08-09T12:48:32Z

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

Как сделать оборачивалку функции в кэшик понятно -

let memo fn = 
   let tab = Hashtbl.create 47 in
   fun arg ->
    try Hashtbl.find tab arg with 
      Not_found -> let res = fn arg in Hashtbl.add tab arg res; res

Но у нас функция рекурсивная:

let rec count (n, m) =
      if n = m then 1
      else if n < m then 0
      else count (n - m, m) + count (n, m+1)

Понятно, что memo count работать будет - а вот кэшировать рекурсивные вызовы не будет и что в таком виде ничего не сделаешь. Надо что-то менять. Можно вспомнить, что мешающая нам рекурсия вовсе не является такой уж фундаментальной вещью и есть такая штука - Y-комбинатор, который реализует рекурсию подавая функцию ей же на вход первым параметром:

let rec y fn arg = fn (y fn) arg

Переписываем функцию в виде пригодном для его употребления:

let count count' (n, m) =
      if n = m then 1
      else if n < m then 0
      else count' (n - m, m) + count' (n, m+1)

y count n у нас считает тоже самое, что count_rec n.

Остается последний шаг - превратить Y-комбинатор в кэширующий Y-комбинатор:

let rec memo fn = 
   let tab = Hashtbl.create 1000_000 in
   let rec fn' arg =
    try Hashtbl.find tab arg with 
      Not_found -> let res = fn fn' arg in Hashtbl.add tab arg res; res
   in fn'

Ну и теперь memo count и есть то, что нам надо. Написав простенкий тестик:

let run fn n = 
    let start = Sys.time () in
    let res = fn  (n, 1) in
    printf "n=%d cnt=%d time=%f\n" n res (Sys.time () -. start); flush stdout

let _ = 
    run count_rec 110;
    run (   y count) 110;
    run (memo count) 110

Имеем на выходе:

make -k 
ocamlopt -inline 9 nums.cmxa -rectypes gil.ml -o gil
./gil
n=110 cnt=607163746 time=71.000437
n=110 cnt=607163746 time=227.194198
n=110 cnt=607163746 time=0.008001

Что можно сказать по этому поводу - оверхед от Y весьма преизрядный, от memo, понятное дело не меньше - но даже в таком лобовом исполнении ее применение более чем оправдано, а применяется оно сугубо механически.

Впрочем расписывание руками будет эффективнее, но не так поучительно.

Вопрос об оптимальности TRS

2011-06-28T16:34:07Z

Рассмотрим следующую TRS (term rewriting system), перечислив её правила в порядке убывания приоритета:

1) (λx.x) M → M;
2) (λx.M) N → M, x ∉ FV(M);
3) (λx.M N) P → M ((λx.N) P), x ∉ FV(M);
4) (λx.λy.M) N → λy.(λx.M) N;
5) λx.M x → M, x ∉ FV(M);

6) (λx.M N) (λy.P) → (λp.(λx.C[p Q]) p) (λy.P), x ∈ FV(M), x ∈ FV(N), M N = C[x Q], p ∉ FV(M N).

Нормализующая стратегия для данной TRS заключается в выборе редексов большего приоритета, а в случае совпадающего приоритета — выбор внутреннего спинного редекса, который гарантирует нормализацию для дистрибутивной редукции. Критичным с точки зрения приоритета является лишь выбор правил (1)–(5) перед (6).

Был бы очень признателен за помощь в доказательстве или опровержении оптимальности по Леви полученной редукции.

парсер Prolog на Java

2011-06-26T20:50:27Z

вынес в отдельный проект и опубликовал под LGPL свой парсер prolog'а на Java, позволяет распарсить исходники написанные в эдинбургском стиле и построить деревья объектов. Страница проекта расположена по адресу http://code.google.com/p/java-prolog-parser

Дистрибутивная нерекурсивная стратегия

2011-06-01T11:09:53Z

Ниже приводится описание неэффективной стратегии для дистрибутивного λ-исчисления, которая зависит от истории вычисления, а не только от самого выражения в текущем его состоянии. Интересует проверка нормализующего свойства данной стратегии, а также её корректировка в случае отрицательного ответа.

Для любого лямбда-выражения Expr с произвольным разделением подвыражений начальное состояние списка (возможных) редексов R = ρ(Expr) строится следующим образом (здесь операция «•» обозначает конкатенацию списков, а n ≥ 0, что может приводить к пустым спискам при n = 0):

ρ(x N₁ … N_n) = ρ(N₁) • … • ρ(N_n);
ρ((λx.M) N₁ … N_n) = [(λx.M) N₁, … , (λx.M) N₁ … N_n] • ρ(M) • ρ(N₁) • … • ρ(N_n).

В процессе вычисления данный список проходят от начала до конца, удаляя его голову на каждом шаге, до тех пор, пока он не окажется пустым. При этом начало или конец списка определенным образом дополняется в зависимости от применяемого правила дистрибутивного лямбда-исчисления в следующих трёх случаях:

1) (λx.x) M → M, после чего R := [M] • R;
2) (λx.λy.M) N → λy.(λx.M) N, после чего R := [(λx.M) N] • R;
3) (λx.M₁ M₂) N → (λx.M₁) N ((λx.M₂) N), после чего R := [(λx.M₁) N, (λx.M₁) N ((λx.M₂) N)] • R • [(λx.M₂) N], причём подвыражение N разделяется.

Итак, требуется доказать или опровергнуть, что для любого лямбда-выражения, имеющего нормальную форму, вычисление остановится, и результатом будет его нормальная форма. Был бы очень признателен за помощь в решении данной задачи.

Кто хочет написать что-нибудь этакое?

2011-04-11T14:25:26Z

У нас есть классные идеи! :)

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

Мы - максималисты. Нам не интересна и не нужна (а кому нужна?)
очередная поделка типа учебник в виде HTML с тестами. Мы хотим
систему, с которой можно ВЗАИМОдействовать.

У нас есть куча идей, а программистов почти нет.
И всё же, мы ищем сотрудничества с теми, кто любит и умеет
генерировать собственные идеи, а потом превращать их в программы.

Мы пишем под JVM, преимущественно - на Java. Есть немного на Scala.
А вообще, язык программирования нас не волнует.

Если Вы заинтересовались этой темой, хотите внести вклад в становление
нового поколения систем электронного обучения, у Вас чешутся руки
запрограммировать нетривиальную систему на любимом или только что
выученном языке - будем рады сотрудничать!

Мы пишем open source код под Apache (помнится) license.

Разработки ведутся на базе Казанского Государственного Технического
Университета (КАИ) и Института Проблем Управления РАН (Москва).

(crosspost)

UPD. Репозитории с кое-какими примерами.

https://bitbucket.org/Bulat/lotus1
https://bitbucket.org/Bulat/repltasks

ru_declarative @ 2011-02-11T17:09:00

2011-02-11T14:09:24Z

Думаю, чего бы такого пощупать в плане самообразования в языковой области в этом году.
Знаю и умею CommonLisp / Haskell / F# / Nemerle. Scala тоже знаю, но не люблю.
Пока что напрашивается ответ "Clojure".

Но, может быть, я в силу своей зашоренности упускаю какой-нибудь хот топик?

P.S.
Некоторую достаточно старую "экзотику" (типа Factor, Mercury, ...) тоже более-менее щупал в разное время.
Интересует, скажем так, новьё. Свежачок. Мякотка.

"Практика функционального программирования": Есть шестой, можно заказать все номера

2010-12-08T11:18:13Z

Уважаемые господа!

1. Осталось еще некоторое количество экземпляров 6-го номера "ПФП" по цене 99 рублей.

Красивые фотографии напечатанного журнала (кликабельно!).

Все заказывается на http://samizdal.ru/fprog.

Способы получить журнал, если кого-то запутал наш интерфейс:

- Выбрать опцию "самовывоз", приехать в наш офис на Калужской с 10 до 18, или в офис Undev.Ru на Кропоткинской с 11 до 20. Выдать 99 рублей, получить свой журнал и чашку чая.
- Вообще получить журнал можно как угодно, в том числе встретившись со мной в центре Москвы в выходные, если вам неудобно в рабочие.
- Заказать почтовую доставку. По России 100 рублей, за границу около 200. Мы высылаем все заказной бандеролью, что дает возможность трекинга по сайту http://russianpost.ru.
- Заказать курьера в пределах МКАД.

Если у вас возникают технические проблемы любого характера, пожалуйста, пишите мне - maria.hertz@samizdal.ru, и я приму у вас платеж в частном порядке.

2. Кроме этого! Теперь можно заказать все номера журнала "Практика функционального программирования" с начала его выхода.

Цена любого номера - 200 рублей, мы собираем заказы, чтобы понять, каким тиражом печатать. Если хотите заказать, пожалуйста, пишите мне - maria.hertz@samizdal.ru, иначе вам может не хватить.

3. Сразу после релиза у нас в течение полутора часов были неполадки с системой оплаты. Все заказы мы получили и выслали. Но некоторые люди из-за того, что им была выдана ошибка, оплатили два раза. Им был сделан возврат денег, но из-за особенностей платежной системы деньги будут возвращаться в течение месяца.

К сожалению, мы никак не можем на повлиять на скорость возврата. Но мы готовы всем, кто пострадал, по ошибке сделав платеж больше одного раза, выслать любой из предыдущих номеров в подарок.

4. Если кто-то уже заказал и получил журнал, огромная просьба оставить отзывы по качеству печати тут: http://community.livejournal.com/fprog/17947.html

Практика Функционального Программирования - номер 6

2010-11-30T12:39:08Z

Вышел в свет 6й номер журнала «Практика Функционального Программирования».

Обсуждение номера и отдельных статей.

Содержание

Гвоздь номера — эксклюзивные интервью с титанами функционального мира, создателями языков Haskell и Erlang: Саймон Пейтон Джонс и Джо Армстронг делятся мыслями и отвечают на вопросы о своих детищах и обо всем остальном, от работы в Microsoft Research до творчества Тарковского.

Также в программе:

Для тех, для кого «web scale» — не пустой звук — смертельная битва между Erlang и node.js, организованная Дмитрием Демещуком;

Для тех, кто испытывает противоречивые чувства по отношению к Java — обзор языка Scala от Влада Патрышева;

Для тех, кто неравнодушен к растительному миру и абстрактной алгебре — ознакомление с алгоритмическим творчеством Дэна Пипони (создателя спецэффектов ко всем трем «Матрицам» и бога Haskell) и его развитие в статье Евгения Кирпичёва.

Печатный номер

Благодаря сотрудничеству с издательством Самиздал и ведущему рекламодателю Undev, теперь журнал существует и в печатном виде.</p>

Стоимость первых 200 экземпляров — 99 рублей, остальных — 200. Получить журнал можно самовывозом или доставкой по Москве и России — подробности на сайте издателя.

Библиотечка ПФП

Кроме того, запущен проект «Библиотечка ПФП». Его цель — заполнить пробелы в существовании русскоязычных переводов классических статей-«жемчужин» из области функционального программирования и других областей.

В первом выпуске — перевод статьи Ерона Фоккера «Систематическое конструирование однокомбинаторного базиса для λ-термов».

Yampa вне IO, anyone?

2010-11-26T13:36:55Z

Господа, я понимаю, что вопрос довольно специальный, но всё же: не приходилось ли кому-нибудь использовать Yampa (хаскельная библиотека для Functional Reactive Programming) не стандартным для нее образом (в соусе из IO и IORef), а в "чистом" коде. Я хочу интегрировать Yampa в уже существующий проект, в котором уже есть код для хранения состояния и кручения цикла событий, так что от Yampa мне требуется нечто вроде state->dt->state в чистом виде

ru_declarative @ 2010-11-07T17:16:00

2010-11-07T14:16:32Z

Знатоки Haskell, подскажите, пожалуйста, как описать структуру данных Shape (геом. фигура), которая удовлетворяет следующим условиям:

1. Shape может являться геом. точкой (Point), состоящей из пары числовых координат.
2. Shape может являться ломаной линией (Polyline), состоящей из списка точек (Point).
3. Shape может являться совокупностью (списком) других Shape'ов, *возможно, разных*.

Первое, что пришло в голову, это нечто подобное:


data Shape = Point Int Int | Polyline [Point] | Shape [Shape]

По понятным причинам это определение не работоспособно, из-за конструкции Polyline [Point], т.к. Point лишь конструктор, а не тип данных, насколько я понимаю. В списке рассылки Haskell Beginners мне порекомендовали записать это определение следующим образом:


type Point = (Int, Int)
data Shape = Point Point | Polyline [Point] | Shape [Shape]

Несмотря на то, что оно работоспособно, очевидно, что это "костыль", ибо ломаные теперь можно определить через список любых пар целых: Polyline [(1, 2), (3, 4)]. Но хочется, чтобы было ограничение на уровне системы типов, которое *принуждало* конструировать ломаные только через список точек (Point), иными словами, через полноценный тип, а не синоним: Polyline [Point 1 2, Point 3 4]. Не каждая пара целых, в конце концов, является геом. точкой.

Причем, в ООП, насколько я понимаю, это моделируется достаточно легко, а система типов следит, чтобы фигуры не было возможно сконструировать из неподобающих объектов (пример на Scala):


abstract class BaseShape
class Point(x: Int, y: Int) extends BaseShape
class Polyline(points: List[Point]) extends BaseShape
class Shape(shapes: List[BaseShape]) extends BaseShape

Как сделать похожее в Haskell? Через GADT, классы типов, переменные типов, еще как-то? Я только начал изучать Haskell, поэтому не сообразил, как это сделать через "продвинутые" фичи.