kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Category:

Кстати у пилообразных криптотоварищей

Есть еще одно забавное поделие - язычок ivory - safe язычок С-образного типа (у которого естественно есть интегратор под названием tower). Затея сама по себе пример ленивого языкового дизайна - и потому что на haskell и потому что действительно ленивого:

Там использован старый принцип: программа на ivory представляет собой код на haskell, результатом выполнения которого является код на С. Ну а типовой контроль держится на системе типов haskell:
fib_loop :: Def ('[Ix 1000] :-> Uint32)
fib_loop  = proc "fib_loop" $ \ n -> body $ do
  a <- local (ival 0)
  b <- local (ival 1)

  n `times` \ _ -> do
    a' <- deref a
    b' <- deref b
    store a b'
    store b (a' + b')

  result <- deref a
  ret result
Обращу внимани на тип параметра - "от 0 до 1000" - то есть это не совсем фиббоначи (на Ivory кажется non-terminated программа вообще невозможна - но как ни смешно - писать на этом можно - они вон цельный автопилот для квадрокоптера написали)

Сам по себе прием очень старый - помнится еще у Терехова "Самсон" микропрограммировали посредством комплекта операций и функций на А-68 результатом исполнения которых был собственно микрокод. Коля Ф. с Тереховым как-то срался "на чем микропрограммируют самсон" - Терехову было надо естественно в целях пиара чтобы "на А-68" хотя на деле конечно нет.

Потом еще Tcl как макроассемблер пользовали (ну в смысле команды просто описываются как tcl-процедуры и вперед) etc

Ну в общем приятно видеть что прием не забыт.
Tags: saw, Компутерщина, Языки программирования
Subscribe

  • Похоже прививочно-локдаунная

    Активность властей начала статистически значимо проявляться в уводе трудовых отношений в серую и черную зоны. Что в целом ожидаемо - по мере…

  • Умопомрачительное

    Тцт рассуждают о том что "вы тоже считаете, что доменный регистратор удаляет паспортные данные клиентов?" Интересно само представление о…

  • Трагедия Курьера

    Вообще же я с интересом уж смотрю на прогрессирующую параноечку в стиле Пинчона и Бразилии Гильяма. Что зарегулировать бардак все равно не выйдет я…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 14 comments

  • Похоже прививочно-локдаунная

    Активность властей начала статистически значимо проявляться в уводе трудовых отношений в серую и черную зоны. Что в целом ожидаемо - по мере…

  • Умопомрачительное

    Тцт рассуждают о том что "вы тоже считаете, что доменный регистратор удаляет паспортные данные клиентов?" Интересно само представление о…

  • Трагедия Курьера

    Вообще же я с интересом уж смотрю на прогрессирующую параноечку в стиле Пинчона и Бразилии Гильяма. Что зарегулировать бардак все равно не выйдет я…