Объятия (переводчик)

Обнимаю 98

Разработчик(и)	Марк П. Джонс и другие
Финальный выпуск	сентябрь 2006 г. / 21 сентября 2006 г ( 21 сентября 2006 )
Операционная система	Кросс-платформенный
Предшественник	Гофер
Тип	Компилятор
Лицензия	БСД
Веб-сайт	www .haskell .org /обнимает

Hugs ( Haskell User's Gofer System , также Hugs 98 — байт-кода интерпретатор функционального ) языка программирования Haskell . Hugs является преемником Gofer и изначально был создан на основе Gofer версии 2.30b. Hugs и Gofer изначально были разработаны Марком П. Джонсом, ныне профессором Портлендского государственного университета .

Hugs поставляется с простой графической библиотекой. Hugs как полная реализация Haskell, переносимая и простая в установке, иногда рекомендуется новым пользователям Haskell.

Hugs отличается от спецификации Haskell 98 несколькими незначительными способами. Например, Hugs не поддерживает взаимно рекурсивные модули. Список различий существует.

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

Примеры

Расширяемые записи

Пример «Типизированных записей с возможностью расширения», нестандартной функции, уникальной для Hugs.

module Main where

import Hugs.Trex

type Coord = Double
type Point2D = Rec (x::Coord, y::Coord) 
type Point3D = Rec (x::Coord, y::Coord, z::Coord)

point2D = (x=1, y=1) :: Point2D

-- emptyRec :: Rec EmptyRow  -- predefined

-- (x=1 | (y=1))   -- rec. extension
-- (x=v | rec)     -- record value decomposition, pattern fields must be non empty
-- (x::type | rec)   -- record type decomposition

-- (rec\z) in the context means ''rec'' does not contain field ''z''

-- add a field z with the same type as field x
addZCoord :: (r\z, r\x) => t -> Rec ( x::t | r) -> Rec ( x::t, z::t | r)
addZCoord z ( x = x | other) = (x = x, z = z | other)

point3D = addZCoord 3 point2D   -- :: Point3D

-- admit any record with ''showable'' fields x and y 
printXY :: (Show t, r\x, r\y) => Rec (x::t, y::t | r) -> IO ()
printXY point = putStrLn xy
  -- with SML style field accessors ('#' prefix)
  where xy = show (#x point) ++", "++ show (#y point)

incrementX :: (Num t, r\x) => Rec (x::t | r) -> Rec (x::t | r)
incrementX  (x=v | rest) = (x=v+1 | rest)

main = do
  let point3D' = incrementX point3D
  printXY point2D
  printXY point3D'

Запуск с отключенной совместимостью H98 для активации языковых расширений:

runhugs -98 test.hs

Внешние ссылки

• Официальный сайт