Програзм's Journal
 
[Most Recent Entries] [Calendar View] [Friends View]

Saturday, January 7th, 2006

    Time Event
    2:17a
    Переписываем и хаскеля в камл
    Тут в http://www.livejournal.com/community/ru_lambda/5507.html написана замечательная программа.
    Я попытался переписать ее на камл, получилось почти буква в букву:
    let  scanl f i l = 
      let rec aux i = function
          [] -> []
        | x :: xs -> 
            let ir = f i x in
              ir :: (aux ir xs) in
        i :: (aux i l)
    
    let flip f a b = f b a
    
    let rec rmake = function
        0 -> []
      | n -> n :: (rmake (n - 1))
    
    let lmake n =  List.rev (rmake n)
    
    let (^) f g x = f (g x)
    
    let apply f x = f x
    
    (**************)
    
    let move (top::xs, ys, zs) = (xs, top::ys, zs)
    
    let yz (x,y,z) = (x,z,y)
    let xz (x,y,z) = (z,y,x)
    
    let twist g f = g ^ f ^ g
    
    let rec moves = function
        0 -> []
      | n -> List.map (twist yz) (moves (n - 1)) @ move :: List.map (twist xz) (moves (n - 1))
    
    let hanoi n =
      scanl (flip apply) ((lmake n), [], []) (moves n)
    

    за тем малым исключением, что пришлось написать часть библиотечных функций.
    Что самое забавное, hugs, который в debian/stable, падает по sigv раньше, что ocaml(top) начинает говорить stack overflow. Желающие могут проверить ocamlopt :-)

    PS: битик в unboxed values воруется для того что бы всегда можно было знать что это: значение или указатель. Именно из-за этого у камла быстрая арифметика.

    << Previous Day 2006/01/07
    [Calendar]
    Next Day >>

About LJ.Rossia.org