Haskell

Disponível somente no TrabalhosFeitos
  • Páginas : 4 (787 palavras )
  • Download(s) : 0
  • Publicado : 4 de outubro de 2011
Ler documento completo
Amostra do texto
Лабораторная работа №1

1 Цель работы
Приобрести навыки работы с интерпретатором языка Haskell. Получить представление об основных типах языка Haskell. Научиться определять простейшие функции.2 Основы работы с интерпретатором Hugs
Для выполнения лабораторных работ будет использоваться интерпретатор языка Haskell. Существует несколько реализаций интерпретатора; в настоящем курсе будетиспользоваться интерпретатор Hugs (это название является аббревиатурой слов «Haskell users’ Gofer system», Gofer — название языка программирования, который был одним из предшественников Haskell.) После запускаинтерпретатора Hugs на экране появляется диалоговое окно среды разработчика, автоматически загружается специальный файл предопределений типов и определений стандартных функций на языке Haskell(Prelude.hs), и выводится стандартное приглашение к работе. Это приглашение имеет вид Prelude>; вообще, перед символом > выводится имя последнего загруженного модуля. После вывода приглашения можно вводитьвыражения языка Haskell, либо команды интерпретатора. Команды интерпретатора отличаются от выражений языка Haskell тем, что начинаются с символа двоеточия (:). Примером команды интерпретатора являетсякоманда :quit, по которой происходит завершение работы интерпретатора. Команды интерпретатора можно сокращать до одной буквы; таким образом, команды :quit и :q эквивалентны. Команда :set используетсядля того, чтобы установить различные опции интерпретатора. Команда :? выводит список доступных команд интерпретатора. В дальнейшем мы рассмотрим другие команды.

1

3

Типы

Программы на языкеHaskell представляют собой выражения, вычисление которых приводит к значениям. Каждое значение имеет тип. Интуитивно тип можно понимать просто как множество допустимых значений выражения. Для того,чтобы узнать тип некоторого выражения, можно использовать команду интерпретатора :type (или :t). Кроме того, можно выполнить команду :set +t, для того, чтобы интерпретатор автоматически...
tracking img