LangDev

안녕하세요. 초보인사 올립니다.

2011-12-13T09:36:29.235839+00:00

갑작스레 PL과 compile에 필이 꽂혀서 이래저래 찾다가 이곳까지 오게 된 직장인입니다. 회사에선 주로 python을 사용하는데 lisp으로 주 언어를 바꾸려고 현재 진행중입니다. 개인적으로는 OCaml을 공부하고 있고요.. 아무쪼록 많은 지도편달 부탁드립니다.

가입했습니다.

2011-10-19T05:24:28.299585+01:00

안녕하세요

직원 교육용 동영상 목록

2011-10-11T02:19:33.884411+01:00

직원 교육용으로 사용하는 동영상 자료입니다.

대부분 유투브에 있는 것이구요.

각 주별로 직원들이 봤는지/이해했는지 확인하고 있습니다.

http://wookay.egloos.com/4630270

랑데브 포럼 CSS 한글 폰트 크기 문제?

2011-07-16T04:22:38.301299+01:00

http://i52.tinypic.com/ih38fq.jpg

미리보기가 이렇게 보이는데 맨 아랫줄이 반쯤 잘려서 보여요

논문 서브밋 기념으로 오랜만에 게시판에 글 남깁니다

2011-03-24T18:48:29+00:00

낼부터 그래도 며칠간으 봄방학은 이로써 즐길 수 있게 되어 기쁜 마음에 오랜만에 글 올립니다 ㅠㅠ

최근 일본에서 이슈가 된 루비 최연소 커미터

2011-02-25T23:57:26+00:00

이름은 후쿠모리 쇼타이며, 나이는 중학교 2학년(14세)라고 하네요. ㅎㄷㄷ

자세한 정보는 본인의 홈페이지에서 직접 확인해 보실 수 있습니다.

커밋 내용은 "Ruby#test-all"의 병렬화 패치라고 합니다.

마츠모토 유키히로가 직접 메일을 보냈다고 하더군요. 마지막 한 마디가 정말 인상깊습니다. "Now you’re the youngest ruby commiter."

최근에 루비 데비안 패키지 개발자가 "루비 메일링 리스트에서 왜 일본어로 의논하는가? 다른 외국인들도 알아볼 수 있게 기본 언어를 영어로 강제해야 한다."며 파업(?)을 한 일이 있었는데, 언어의 장벽이 없다는 점이 이런 좋은 결과를 낼 수 있다는 점도 인상깊습니다.

"Seven Language in Seven Weeks"라는 스터디를 준비중에 있습니다.

2011-02-25T23:45:22+00:00

안녕하세요 강성희입니다. 저와 몇몇 분들이 진행하고 있는 스터디에서 새 맴버를 모집하고 있습니다.

스터디를 할 책은 The Pragmatic Bookshelf에서 나온 "Seven Language in Seven Weeks"이며, 제목 그대로 "7주동안 총 7개의 새로운 언어를 배우자"라는 주제로 쓰여진 서적입니다.

언어의 리스트는 다음과 같습니다.

Ruby
Io
Prolog
Scala
Erlang
Clojure
Haskell

다양한 언어를 익히고 그 특성을 살펴보고 싶으신 분들에게는 좋은 스터디가 되리라 생각합니다. ㅎㅎ

스터디 기간은 총 2달(3월 1일 ~ 4월 26일까지의 총 9주)이며, 시간은 매 주 화요일 오후 8시부터 10시까지 총 두 시간입니다.

자세한 사항은 이 곳 에서 확인하실 수 있습니다. 그럼 많은 분들의 참여 부탁드립니다~~ -_-)/

대안언어축제가 열립니다!!!

2011-02-13T22:55:42+00:00

3월 12일, 13일 1박 2일 동안 대안언어축제가 열립니다.

대략 20여개의 "대안 언어"를 경험하고 배울 수 있는 기회입니다. 서울 방학동의 유스호스텔에서 150명 규모로 열리는 행사입니다.

예전에 대안언어축제를 경험해보신 분들은 잘 알고 계실 겁니다. 얼마나 재미있고 유익한지!

이번에는 프로그래밍을 전혀 모르는 분들도 참석할 수 있습니다(병렬 트랙 진행 예정)

Programming Languages(프로그래밍언어론) Course Textbooks

2010-12-14T23:01:22+00:00

Computer Science학부과정에 꼭 끼이는 과목(Course)으로 Programming Languages(프로그래밍언어론) 과목이 있습니다.

Concepts of Programming Languages by Robert W. Sebesta

고려대 공대 갔을때 처음 본책인데, 저는 마음에 들었습니다. 이 책 공부해보려구요..

랑데브에서는 프로그래밍언어들에 대한 대화가 흥미진진하게 많이 오가는데, 아직 읽어보지는 않았지만 이 교과서가 많은 내용을 담고있는 것 같습니다..

또다른 한 교재는 노란바탕에 연두색 호랑이가 그려져 있는 책이었습니다.

Concepts in Programming Languages by John C. Mitchell

그 다음엔 아래와 같은 계산이론, 오토마타, 형식언어를 다루는 CS책들을 읽어보는 것도 좋은것 같습니다. 수학지식도 어느정도 뒤받쳐줘야 하더라구요ㅠㅠ;;

An Introduction to Formal Language and Automata by Peter Linz
Introduction to the Theory of Computation by Michael Sipser

가입했습니다!

2010-08-30T18:33:53+01:00

저는 웹 언어에 관심이 많습니다.

php, css, jQuery 말이죠.

이곳은 느무느무 어려워 보입니다!

아무튼 잘 부탁드립니다!

질문글 "우린 실제로 이걸 소련에 팔아서 소련의 컴퓨터 과학기술을 20년이상 퇴보하게 만들 생각이었거든요."

2010-08-29T00:44:04+01:00

인용구

for(;P("\n"),R-;P("|"))for(e=C; e-; P("_"+(u++/8)%2))P("|"+(u/4)%2);

현대의 프로그래머들이 이렇게 암호같은 문장을 허용하는 개떡같은 언어를 사용할 것이라고는 전혀 생각지 못했습니다.

그건 우리의 상식밖이었죠. 우린 실제로 이걸 소련에 팔아서 소련의 컴퓨터 과학기술을 20년이상 퇴보하게 만들 생각이었거든요.

검색처: http://blog.bagesoft.com/340

C언어에 대해 C언어 및 UNIX 창시자인 Ritchie나 Kernighan이 한말이라고 하는것 같은데, 정말 설계자들이 보기에부터도 C언어의 구문형태가 암호같고 개떡같은가요?? 제가 보기엔 꽤나 간결하고 PHP, Java, Javascript같은 제가 알고 있는 많은 프로그래밍언어들이 C문법과 유사할 정도로 syntax design이 성공적이어 보이는데요?aa

liftrasiir님으로부터 여기에 대해 #langdev IRC채널에서 얼핏 들은말은, 그냥 농담으로써 C나 C++의 저자들은 다 부정하는 말이라는데 더 자세히 여기에 대해 듣고 싶어서 질문글을 올립니다..aa

안녕하세요. 가입했습니다!

2010-08-09T01:17:37+01:00

여기 주인장 홍민희님을 알게 되어서 구글링하다가 여기까지 흘러 들어왔습니다.

실력은 많이 부족하지만 앞으로 잘 부탁드립니다!

안녕하세요. 글만 읽다가 얼마 전 가입했습니다.^^

2010-08-05T00:08:30+01:00

반갑습니다. ^^

땅콩 프로그래밍 언어

2010-07-16T13:42:08+01:00

2명이서 약 3달간 틈틈히 만들던 언어가 있는데, 일단락(?)되어서 github에 저장소를 만들었습니다. 향후 몇년간(?) 틈틈히 업데이트 하고싶긴 합니다만, 몇달간은 손을 못 댈 것 같아서...(...)

아이폰/안드로이드/윈도모바일에서 사용하는게 목적이었기 때문에, lua처럼 C/C++과 섞어서 쓰는 것이 타겟이었고, 언어적 컨셉은 dynamic typing, prototype-based 입니다만, 별로 특징은 없고, "일단 돌아가는것"이 목적이었... 개발자 두명 다 바빠서 덕지덕지 붙여나가다보니, 코드는 좀 많이 개판이네요. ㅠㅠ 메모리 관리도 반쯤 포기 상태;; 사실은, 좀 많이 부끄러워서, 여기에 안 올리려고 했... -_-;; ...지만, 그래도 일단은 올려봅니다. 나중에 업데이트 열심히 해서 만회하죠 뭐.

설명 : http://jong10.com/482
저장소 : http://github.com/peanut-lang/peanut
예제코드 : 예제1, 예제2

설계 없이 만들다보니, 몇가지 치명적인 실수가 있었는데, 가비지컬렉션이 절반만 되는 점;;과, 중간코드를 만들지 않아서 AST가 영원히 남아있는 치명적인 점이 있네요. REPL에서 문법이 한줄만 틀려도, 그 후로 계속 에러 복구가 안되기도 하고... yacc(bison)의 에러 복구 방법이 잘 안되더라고요. 엉엉.

p.s. 안정성은 좀 문제가 있어요. -_-; 툭하면 세그먼테이션폴트 ㅠㅠ

Emerging Languages Camp

2010-07-04T01:02:25+01:00

잼나겠죠

http://emerginglangs.com/speakers/

Rob Pike and Robert Griesemer – Go
Steve Dekorte – Io
Charles Nutter – Duby
Matt MacLaurin – Kodu
Gilad Bracha – Newspeak
Jeremy Ashkenas – CoffeeScript
Adam Chlipala – Ur
Francisco Tolmasky – Objective-J
Jonathan Shapiro – BitC
Luke Hoban – F#
Tav – PyPy
Rich Hickey – Clojure
Christopher Bertels – Fancy
Jonathan Edwards – Coherence/Subtext
Alex Eagle – Noop
Slava Pestov – Factor
Erik Meijer – C#
Mark S Miller – E, Caja
Brian Rice – Slate
Walter Bright – D
Wolfgang De Meuter and Tom Van Cutsem – AmbientTalk
Phil Mercurio – Thyrd
Melvin Smith – Cola
Carson Gross – Gosu
Alexander Fritze – Stratified JavaScript
Alan Eliasen – Frink
Dan Bornstein – Dalvik
Steve Folta – Trylon
Ola Bini – Ioke
Amos Wenger - ooc

orca 0.3 release & 스터디 모임 모집

2010-06-28T03:46:14+01:00

재미삼아 만들기 시작한 프로그래밍 언어가 이번에 0.3 버전까지 릴리즈 했습니다.

[릴리즈 공지] http://orca-lang.or.kr/phpBB3/viewtopic.php?f=6&t=98

상세한 스펙은 튜토리얼을 참조하시면 되고, 이번에 추가된 기능은 포럼, 알림판의 게시글을 참조해주세요.

[튜토리얼] http://orca-lang.or.kr/phpBB3/viewtopic.php?f=6&t=6

그리고, 이제 언어와 관련하여 스터디 모임을 하나 개설하고자 합니다. 사실 스터디 모임을 개설해 보거나, 이끌어 본적이 없어서 초기에는 좀 혼돈이 있을 것 같습니다만, 나름 색다르고 재미있는 경험이 되실거라 생각합니다.

관심있으신 분은 아래의 글을 참조해 주세요. ^^

[관련공지] http://orca-lang.or.kr/phpBB3/viewtopic.php?f=6&t=99

방금 가입했어요! ㅋ

2010-06-24T18:56:26+01:00

갑자기 프로그래밍언어는 어떻게 만드는건지 궁금해졌거든여

PHP같은 오픈소스 웹언어를 만들어 보고 싶었거든여ㅋ

가장궁금한게 기본적으로 어떤 프로그램으로 어떻게 하는지 기본적인 예제좀 알려주심 감사하겠습니다 ㅎ

예를들면 print("abcd");

이 메서드를 어떻게 구현하고 어떤식으로 작동하는지에 대해서요 ㅎ

RealWorld Haskell

2010-05-25T22:31:19+01:00

나름대로 번역 중입니다... http://sites.google.com/site/endihom/home/programming-language/haskell

OOP 언어 모음

2010-05-13T09:20:38+01:00

초기 OOP 언어 Smalltalk

스크립트 언어들이 받아들인 OOP Ruby Python

CLOS 스타일의 객체 시스템을 갖는 언어 Factor

대중적인 하지만 뭔가 아쉬운 언어들 Java C++

정적 언어이면서도 동적 언어의 특성을 갖는 언어들 Objective-C

프로토타입 OOP 언어 Javascript Lua

Haskell로 만들어본 초간단 G-Machine

2010-05-09T19:00:51+01:00

Implementing Functional Languages : a tutorial 에 있는 G-Machine도 꽤나 복잡해서 조금 더 간단하게 만들어봤습니다. 정확하게 따지자면 G-Machine과 동작이 약간 다릅니다. 그래도 개념은 완전히 같으니 그냥 G-Machine이라고 하는게 맞을 것 같네요. 원래 처음부터 C++로 작성하다가 꿈이 너무 높아서 좌절하던 와중에, 더 간단한 버전을 만들기 위한 노력의 결과물입니다.(그래봐야 어제 하루) 이제는 C++로 어떻게 만들어야할지 좀 감이 올 것 같네요.

모듈이름은 세모(semo)입니다. 원래 셈모(셈하는 기계)라고 할려고 했는데, 어감이 안좋아서 그냥 세모로 했지요. 앞으로 semmal에 abstract machine이 올라간다면 그 이름은 세모입니다.

compiler는 만들지 않았습니다. 단지 G-Machine만 테스트하기 위한 코듭니다. 초간단 lexer와 parser는 만들었는데, indentation때문에 고민중이라서 compiler까지는 못나가고 있어요. keyword(또는 key operator)가 거의 없는 syntax를 만들려고하니 보통 문제가 아닙니다. 죽기전까지 만들 수 있을라나 모르겠네요.

> eval initState

하면 답을 구할 때까지 실행한 기계 상태가 모두 나옵니다.

대충 설명하자면

Main = S K I 3 -- 이건 주석처리중
Main = If False 4 3

Main함수는 이걸 처리합니다.

S f g x = f x (g x)
K x y = x
I x = x

If p c a = p c a
True c a = c
False c a = a

이런 함수(supercombinator)가 이름자리(namespace)에 들어가 있고, 이름자리에 있는 이름과 heap에 있는 함수의 index는 대응합니다. G-Machine은 코드를 뒤에서부터 만드는데, 제껀 앞에서부터 만듭니다. stack spine의 방향이 반대라고 보는게 맞을지도 모릅니다. 이편이 훨씬 보기 쉬워서 그렇게 만들었습니다. 또한 G-Machine의 Push 명령도, Pusharg로 바꾸고 스택에서의 높이를 입력하게 만듭니다. 그래서 조금 더 스택을 해석하기 쉽습니다.

이를 위해서, 인자의 차례도 바뀌었는데요.

If p c a

에서 맨마지막 인자가 index 0을 부여받고, c와 p가 1, 2를 부여받아서 Pusharg가 동작하게 됩니다.

이렇게 하면 partial application이나 다른 확장에 대한 고려가 없기 때문에, 나중에 문제가 생길 수 있다는 거겠지요. 그러면 또 완전히 재작성해야할 수도 있겠네요. 생각하면 머리가 복잡해져서 일단 머리속에서는 지웠습니다.

module Semo where

type IntValue = Int
type Index = Int
type Number = Int
data Instruction
    = Pushname String
    | Pushlit IntValue
    | Pusharg Index
    | MkAp
    | Unwind
    | Slide Number
    deriving Show

data Node
    = SC Number [Instruction]
    | Lit IntValue
    | Ap Index Index
    deriving Show

initCode = [Pushname "Main", Unwind]
--heapMain = SC 0 [Pushname "S", Pushname "K", MkAp, Pushname "I", MkAp, Pushlit 3, MkAp, Slide 1, Unwind]
heapMain = SC 0 [Pushname "If", Pushname "False", MkAp, Pushlit 4, MkAp, Pushlit 3, MkAp, Slide 1, Unwind]
heapS = SC 3 [Pusharg 2, Pusharg 0, MkAp, Pusharg 1, Pusharg 0, MkAp, MkAp, Slide 4, Unwind]
heapK = SC 2 [Pusharg 1, Slide 3, Unwind]
heapI = SC 1 [Pusharg 0, Slide 2, Unwind]
heapIF = SC 3 [Pusharg 2, Pusharg 1, MkAp, Pusharg 0, MkAp, Slide 4, Unwind]
heapTRUE = SC 2 [Pusharg 1, Slide 3, Unwind]
heapFALSE = SC 2 [Pusharg 0, Slide 3, Unwind]
initState = (initCode,[],[heapMain,heapS,heapK,heapI,heapIF,heapTRUE,heapFALSE],["Main","S","K","I","If","True","False"])

code (c,s,h,n) = c
stack (c,s,h,n) = s
heap (c,s,h,n) = h
name (c,s,h,n) = n

setCode c' (c,s,h,n) = (c',s,h,n)
setStack s' (c,s,h,n) = (c,s',h,n)
setHeap h' (c,s,h,n) = (c,s,h',n)
setName n' (c,s,h,n) = (c,s,h,n')

addr i ss = ss!!i
arg i ss = (reverse ss)!!i

slide 0 ss = ss
slide i ss = slide (i-1) (init ss)

eval ([],[],[],[]) = []
eval s = s:eval (eval' s cs)
    where
        cs = code s
        eval' state [] = ([],[],[],[])
        eval' state code@(Pushname nm:cs) = setCode cs $ setStack ((findName nm (name state)):(stack state)) state
        eval' state code@(Pushlit i:cs) = setCode cs $ setHeap ((heap state)++[Lit i]) $ setStack ((length (heap state)):(stack state)) state
        eval' state code@(Pusharg i:cs) = let ss = stack state in setCode cs $ setStack ((arg i ss):ss) state
        eval' state code@(Unwind:cs) =
            case findHeap (addr 0 (stack state)) (heap state) of
                sc@(SC _ _) -> setCode ((sccode sc)++cs) state
                Lit _ -> setCode cs state
                ap@(Ap s0 s1) -> let (s:ss) = stack state in setStack (s0:s1:ss) state
        eval' state code@(MkAp:cs) = let (s1:s0:ss) = stack state in setCode cs $ setHeap ((heap state)++[Ap s0 s1]) $ setStack ((length (heap state)):ss) state
        eval' state code@(Slide n:cs) = setCode cs $ setStack (slide n (stack state)) state

findName n ns = findName' n ns 0
    where
        findName' n' (n:ns) c | n == n' = c
        findName' n' (n:ns) c = findName' n' ns (c+1)


sccode (SC n is) = is

findHeap i hs = hs!!i