Метка «adt»

Сегодня Google обновил инструменты разработки для eclipse под платформу Android.
Одно из ключевых изменений — поддержка java 7.
Читать полностью »

В этой статье мы попытаемся рассмотреть всё разнообразие Алгебраических Типов Данных.
Зоопарк Алгебрaических Типов Данных
Надо сказать, задача это достаточно неподъёмная, и понять человеку, если он ранее с Алгебраическими Типами не имел дело — не очень просто.
АТД были впервые использованы в языке Hope, но основную популярность они приобрели благодаря языкам ML, такими как Standart ML, OCaml, F#, и языку Haskell.
Ныне АТД в той или иной мере поддерживаются в значительно большем количестве языков: Scala, Rust, Nemerle, Racket,…
АТД называются алгебраическими, потому что их можно представить как некую алгебраическую композицию типов. Это знание даёт своё преимущество: понимая свойства алгебраической композиции, можно посчитать какой тип необходим для построения тех или иных данных.
Будем рассматривать типы на основе языка Haskell, однако подобного с лёгкими изменениями можно добиться в других языках с поддержкой АТД.
Читать полностью »

Буквально на днях Google обновил все основные инструменты разработки под платформу Android:

  • Android SDK r17
  • ADT плагин для Eclipse 17.0.0
  • NDK r7b
  • Support Package r7

Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js