kouzdra (kouzdra) wrote,
kouzdra
kouzdra

This journal has been placed in memorial status. New entries cannot be posted to it.

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

  • "И все его оставили"

    Чего0то мне кажется, что на Украине жизнь скоро может начать иллюстрировать искусство: Когда случился тот неслыханный скандал, тот крик, и брань, и…

  • Технологии

    "... держать молоток либо какие-то новые технологии...", – считает Володин.

  • Попались обсуждения какого-то

    гопнического сериала про "слова пацанов", там в воспоминательных рассуждаловах всякие личные воспоминание про "с раёнов" - поражает театраьность и…

  • Post a new comment

    Error

    Comments allowed for friends only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 14 comments

  • "И все его оставили"

    Чего0то мне кажется, что на Украине жизнь скоро может начать иллюстрировать искусство: Когда случился тот неслыханный скандал, тот крик, и брань, и…

  • Технологии

    "... держать молоток либо какие-то новые технологии...", – считает Володин.

  • Попались обсуждения какого-то

    гопнического сериала про "слова пацанов", там в воспоминательных рассуждаловах всякие личные воспоминание про "с раёнов" - поражает театраьность и…