gimmesilver's blog

Agbird.egloos.com

포토로그



하스켈로 만든 OS 하스켈 스프링노트

 Kinetic - A Haskell OS - 어셈블리, C++, 하스켈을 이용해서 만든 OS라고 합니다. 흥미로운 건 링크의 글을 보면 이걸 만든 사람이 하스켈을 접해서 모나드를 사용해 보고는 OS에서 하스켈 코드를 직접적으로 실행할 수 있게 되면 높은 안전성을 가진 하스켈 모나드 타입 시스템을 효율적으로 사용할 수 있을 것 같았다는 군요... 저 역시 하스켈을 점점 더 깊이 공부할수록 하스켈 타입 시스템의 뛰어남을 절실히 느끼고 있습니다...^^

 근데 이 Kinetic이라는 OS말고 좀더 규모있는 프로젝트가 하나 있는데 House 가 그것입니다. 이것 역시 하스켈로 개발한 OS인데 Kinetic보다 좀 더 오래되었고 완성도도 조금 더 좋은것 같습니다. 소스도 공개되어 있는데 무슨 문제인지 중간에 그냥 끝나는군요...언제 기회가 되면 남들 버리는 컴퓨터 하나 얻어다 설치해보고 싶은 생각이...

덧글

  • 백승우 2007/09/05 21:29 # 답글

    전혀 OS와 거리가 먼듯한 IBM에서 smalltalk+java로 서버 만들어 쓴다는 얘길 들은 후로
    예상밖의 정보네요.. 알아야 할 것들이.. ㅡ ㅡ
    (자바OS도 있긴 하지만^^)
  • silverbird 2007/09/05 22:41 # 답글

    //백승우
    IBM이 OS와 거리가 멀다뇨? IBM은 이미 십 여년 전에 OS/2라는 걸출한 작품을 만든 경험이 있는걸요...
  • 지민아빠 2007/09/05 23:39 # 삭제 답글

    이럴땐 VMWare ㅎㅎㅎ
  • 미쉘린타이어 2007/09/06 12:45 # 삭제 답글

    ML, 하스켈 같은 함수형 언어는 참 파고들면 파고들수록 매력적인 언어 인 것 같습니다.
    함수형 언어에 대해 아는 건 별로 없지만
    학교숙제하면서 "세상에 이걸 두줄로 끝내다니" 이런 생각이 든 적이 많았습니다.
  • silverbird 2007/09/06 21:18 # 답글

    // 지민아빠
    음...VMWare...음...(낯선 기술을 두려워하는 나...(__ )a

    // 미쉘린타이어
    저도 처음에 퀵소트를 구현한

    qsort [] = []
    qsort (x:xs) = qsort [y | y<xs, y<x] ++ [x] ++ qsort [y | y <- xs, y>=x]

    이 두 줄의 하스켈소스를 보고 감탄했었죠...
    근데 나중에 저 소스가 사기라는 사실을 알고는 실망했던 기억이...^^
  • 2012/03/18 15:05 # 삭제 답글

    컴퓨터 공학과 전혀 상관없는 전공자지만 멋지네요! 이 글이 올라온지 몇년 됐으니 그 동안 더 발전 했겠죠?
    또 다른 형식의 os가 나오면 좋겠지만 아무래도 당장 돈이 안되니 어렵겠죠...;
  • moldycake 2012/04/09 17:36 # 삭제 답글

    haskell로만든 OS라니 꼭 한번 써보고 싶어지는군요 ㅎㅎ
댓글 입력 영역