Главная » Статьи для тега "является"

Оконные сообщения и функции работы с окнами

Добавлено Дата: 16 June, 2012 категория: Win32 API

Окно это не только область на экране, посредством которой при­ложение может представить свой вывод, это еще и адресат событий и сообщений в среде Windows.

Окно идентифицируется по дескриптору окна. Этот дескриптор (переменная типа HWND) однозначно определяет каждое окно в сис­теме. Windows организует свои окна в иерархическую структуру:

Читать »

Модуль Applicative

Добавлено Дата: 8 June, 2012 категория: Haskell

Этот модуль описывает структуру, промежуточную между монадой и функтором. Эта структура предоставляет выстраивать  чистые выражения в последовательности,  но не предоставляет  возможности связывания. Технически эта структура является строго-нестрогим моноидальным функтором — прикладным функтором. Детально о такой структуре описывается в [15]. Главный класс этого модуля очень полезен вместе с экземплярами класса  Traversable (см. раздел 8.28.).

Читать »

Рекурсия и корекурсия

Добавлено Дата: 7 June, 2012 категория: Haskell

В языке Haskell нет таких операторов, как for, while или goto. Это связано с тем, что эти операторы явно императивны, то есть они  определяют пошаговый порядок исполнения некоторых инструкций.  Как  уже  было неоднократно упомянуто, язык Haskell, как чистый функциональный язык, не имеет (и не должен иметь) подобных средств. Для организации цикла здесь используется другой механизм — рекурсия.  А такая конструкция, как безусловный переход, просто невыразима в терминах функционального программирования.

Читать »

Абстракция  данных при помощи модулей

Добавлено Дата: 5 June, 2012 категория: Haskell

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

Читать »

Синтаксис и идиомы языка

Добавлено Дата: 4 June, 2012 категория: Haskell

Функции

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

Читать »

Модуль Set

Добавлено Дата: 2 June, 2012 категория: Haskell

представляет собой расширение модуля IntSet (см. раздел 8.16.), в котором все программные  сущности работают с ключами произвольного типа. Такие множества получаются более общими, нежели множества с целочисленными ключами.

Поскольку функции из этого модуля очень часто имеют  наименования такие же, как в стандартном модуле Prelude, равно как и в других модулях, обычно этот модуль импортируют квалифицированно:

Читать »

ПРЕМИЯ СУММОЙ

Добавлено Дата: 1 June, 2012 категория: 1С Предприятие

ВР  ПремияСум_2 является  самовытесняющимся. Включен в  группу  ВР  ВсеНачисления_2.  Является  ведущим по  отношению  к  ВР  НДФЛ_2, ВБанк_2 и  Премия 1234 2 (разд.  7.7). Вытесняет ВР ПремияКоэф_2.

процедура ПровестиРасчет(  )                   //           Процедура модуля  ВР ПремияСум_2

Читать »

Типы функций

Добавлено Дата: 31 May, 2012 категория: Haskell

Необходимо отметить, что понимание функций в функциональном программировании достаточно серьёзно  отличается от их восприятия в императивных языках. Дело в том, что в рамках функциональной парадигмы функция является программной сущностью, которая  обладает типом, является объектом, над которым можно производить действия: во-первых,  передавать в другие функции в качестве фактического значения; а во-вторых, возвращать в качестве вычисленного значения. Такое положение вещей является прямым следствием из принятой модели типизации языка Haskell (статическая типизация Хиндли-Милнера), в рамках которой у функций имеются типы.

Читать »

Модуль Fix

Добавлено Дата: 21 May, 2012 категория: Haskell

 представляет  описание программных сущностей,  которые  описывают монадические неподвижные точки.  Детальное  описание этого понятия доступно в работе [5]. Данный модуль является «подчинённым»  по отношению к модулю Monad, поэтому его импорт выглядит следующим образом:

Читать »

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

Добавлено Дата: 20 May, 2012 категория: Haskell

В теории программирования алгебраическим типом данных называется любой тип, значения которого являются значениями некоторых иных типов, «обёрнутыми» конструкторами алгебраического типа. Другими словами, алгебраический тип данных имеет набор конструкторов данных, каждый из которых принимает на вход значения определённых типов и возвращает значение конструируемого типа. Важное отличие конструктора  данных от функции  заключается в том, что конструктор не исполняется, но единственная  его задача — создание значения своего типа на основе входных  значений. Для работы с такими значениями используется механизм сопоставления с образцами как наиболее эффективный способ разбора  значений (но это не означает, что иные механизмы работы с значениями не применимы к алгебраическим типам данных).

Читать »

Модуль Chan

Добавлено Дата: 19 May, 2012 категория: Haskell

содержит описания программных сущностей,  которые  позволяют работать с FIFO-каналами, не связанными с  конкретной  операционной системой. Данный модуль является  «подчинённым» по отношению к модулю Concurrent,  а потому его импорт должен выглядеть следующим образом:

Читать »

Модуль Monoid

Добавлено Дата: 17 May, 2012 категория: Haskell

Служебный модуль Monoid содержит определение класса Monoid и нескольких вспомогательных типов для работы со стандартными типами данных. Этот модуль разработан в соответствии с положениями работы [10]. Использование:

import  Monoid

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

Читать »

МЕТОДЫ  СОРТИРОВКИ ДАННЫХ

Добавлено Дата: 12 May, 2012 категория: 1С Предприятие

Основное  назначение  сортировки  обеспечить  быстрый поиск данных.  Помимо этого  в  отсортированном  файле  или массиве гораздо  быстрее  выполнять многие вычисления. Например, существенно  быстрее  подсчитывается число элементов, равных заданному значению.  Также  во  многих случаях  отсортированный  файл  более  удобен для просмотра и визуального анализа данных.

Читать »

Преобразования Фурье

Добавлено Дата: 10 May, 2012 категория: Программирование звука

Теперь мы знаем, что основой работы со звуком является представление его в виде последовательности  отсчетов  или  набора  частот.  Есть  ряд  манипуляций,  которые легко  выполняются  при одном  подходе и крайне  затруднены  при другом,  поэтому важно уметь преобразовывать одно представление в другое.

Читать »

ПОИСК ДАННЫХ

Добавлено Дата: 8 May, 2012 категория: 1С Предприятие

Поиск  данных в  векторе  и  файле  выполняется по  ключу.   Как  и  при  сортировке, выделяют  два метода  поиска:  внутренний  и  внешний.  В первом  случае  весь файл  находится в  отведенной   под  программу памяти  ЭВМ.   В  случае  внешнего  поиска  большая часть данных находится во внешней  памяти, например на жестком диске.

Читать »