deniok: (ухмыляюсь)
Ура!

[livejournal.com profile] thesz таки запустил Epigram и нас научил! Вот мой Hello World:
------------------------------------------------------------------------------
                                          (   n : Nat    !
data (---------!  where (------------! ;  !--------------!
     ! Nat : * )        ! zero : Nat )    ! succ n : Nat )
------------------------------------------------------------------------------
inspect succ (zero) => succ zero : Nat
------------------------------------------------------------------------------
     (   x, y : Nat   !                  
let  !----------------!                  
     ! plus x y : Nat )                  
                                         
     plus x y <= case x                  
     { plus zero y => y                  
       plus (succ x) y => succ (plus x y)
     }                                   
------------------------------------------------------------------------------
inspect plus (succ (succ zero)) (succ (succ zero)) => ? : Nat
------------------------------------------------------------------------------


Как, блин, редактировать исходники пока непонятно... Они в XEmacs'е, сволочи, интерактивные (что удобно), но после успешного заэскейпливания сараев переходят в readonly режим :(

Epigram

Jun. 27th, 2007 04:14 pm
deniok: (ухмыляюсь)

Такую красоту (Epigram: Practical Programming with Dependent Types) нельзя не изучить!


Пойду, куплю картриджи для цветного принтера :-)


UPD: Why Dependent Types Matter - ещё ссылочка про него.

Википедия про Epigram

Сайт языка Epigram

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 03:13 am
Powered by Dreamwidth Studios