Recent Updates

 C 언어를 배운 사람들은 누구나 다음과 같은 코드를 기억할 것이다. #include <stdio.h> int main() {     printf("Hello, World!\n");     return 0; }  위와 동일한 결과를 출력하는 하스켈 코드는 아래와 같다. import System.IO main = putStrLn "Hello, World!"  와~ 더 짧고 간단하다! 이미 C 코딩을 해본 사람이라면 위에

먼저 알아두어야 할 것들  C, C++, JAVA 등의 언어들과 달리 하스켈에는 할당 연산자(assignment operator)가 없습니다. 하스켈에서도 = 연산자가 사용되기는 하지만 이것은 기존의 언어들과 다른 의미를 갖습니다. 예를 들어 C 에서 x = 1; 라고 하면 이것은 '변수 x에 1을 할당한다.' 라는 의미입니다. 하지만 하스켈에서 = 연산자는 'assign to' 가 아니라 'define'을 뜻합니다. 따라서 'x 는 1이다.'라는 뜻을 갖습니다. 한편 하스켈은 순수 함

 하스켈은 정적 타입 언어이면서 강타입 언어이다. 정적 타입 언어라는 뜻은 변수나 함수의 타입이 컴파일 시에 명시적으로 결정된다는 뜻이다. C, C++, JAVA같은 언어가 대표적인 정적 타입 언어이다. 보통 정적 타입 언어는 컴파일 시에 타입이 결정되기 때문에 타입 오류를 컴파일 시간에 찾을 수 있는 장점을 갖는 반면 프로그래밍 시 타입을 일일이 명시해 줘야 하는 불편함이 있다고 알려져 있다. 하지만 하스켈은 정적 타입 언어이면서 강력한 타입 추론 시스템을 갖고 있기 때문에 C

글 목록 웹 크롤러 구현하기 멀티쓰레드 동기화 프로그래밍 기초 네트워크 프로그래밍 IO 프로그래밍을 위한 팁 7가지 CodeGolf: Grid computing 하스켈로 펙토리얼 함수를 만드는 24가지 방법 하스켈의 반올림 계산법

웹 크롤러 구현하기 멀티쓰레드 동기화 프로그래밍 기초 네트워크 프로그래밍 IO 프로그래밍을 위한 팁 7가지 CodeGolf: Grid computing 하스켈로 펙토리얼 함수를 만드는 24가지 방법 하스켈의 반올림 계산법

소개글  이 곳은 하스켈(Haskell) 이라고 하는 함수형 언어에 관련해서 제가 틈틈히 정리한 번역물, 팁, 레퍼런스 등의 자료를 기록하는 장소입니다.  각종 피드백은 제 블로그(http://agbird.egloos.com) 에 있는 방명록이나 이메일( gimmesilver@gmail.com ) 로 연락주시기 바랍니다.   번역자료 GUI Programming Network Programming 웹 크롤러 구현하기 병렬 프로그래밍 각종 팁 참고 사이트 C 프로그래머를 위한 하스켈   &

GtkHs와 Glade 편집툴을 이용해서 만든 간단한 계산기 프로그램입니다. Parsec.Expr 모듈을 이용하면 EBNF 문법을 거의 그대로 이용해서 파서를 만들 수 있습니다. exprParser 함수가 바로 그렇게 구현한 파서입니다. 아래 소스는 크게 두 부분으로 나뉩니다. glade를 이용해서 기술한 UI description file을 읽어서 UI를 만들고 각 버튼 클릭 메시지를 처리하는 등의 GUI 처리 부분이 한 부분이고, GUI를 통해 화면에 출력된 수식을 파싱하여 계산 결과를 처리하는 계산 엔진 부분이

 참고 사이트: Haskell IO 하스켈은 참 멋진 언어입니다. 완벽에 가까운 타입 추론 기능에 기반한 '람다'나 '고차 함수'와 같은 세련된 함수 처리 기법들이나 패턴 매칭기법은 정말 처음 보는 사람을 '혹'하게 하는 하스켈만의 매력입니다. 그런데... 이런 멋진 놈으로 뭐 좀 해보려고 하면...뭔가 연습삼아 간단한 프로그램 좀 만들어 볼라치면 바로 좌절에 빠지고 맙니다. 바로 IO(입/출력) 처리 때문이죠... 네... 전 하스켈 참 멋진 언어라 생각합니다만 IO 처리에서 만큼은 정말이지 C++의 std::iost

 

 이 글은 C 언어와 같은 명령형 언어들에 익숙한 프로그래머를 위한 하스켈 입문서입니다.   먼저 알아두어야 할 것들 Hello Haskell 함수와 타입  

  원문 보기: The Evolution of a Haskell Programmer 예전에 본 Hello world 프로그램 짜기에 관한 유머를 연상케 하는 글... Haskell.org 에는 유머라고 분류해 놓았긴 하지만 단순히 유머라 하기엔 하스켈에서 지원하는 람다식, 패턴매칭, points-free, continuation-passing, accumulating recursive 등등의 다양한 기법들을 한번에 접할 수 있어 유용한 글 인듯... 밑으로 가면 말도 안되는 소스

IO 프로그래밍을 위한 팁 7가지 이클립스에서 하스켈 사용하기 예제소스 및 풀이 하스켈의 반올림 계산법 하스켈에서 변수 사용하기 하스켈 클래스 vs. 자바 인터페이스 하스켈로 펙토리얼 함수를 만드는 24가지 방법

 다른 언어에는 없는 하스켈 타입 시스템이 가지고 있는 마지막 특성이 하나 있다. 우리가 지금까지 언급한 다형성은 매개 변수식 다형성(parametric polymorphism) 이라고 부른다. 이것 말고  ad hoc 다형성이라고 부르는 것이 있는데 보통 오버로딩(overloading)이라는 이름으로 더 잘 알려져 있다. ad hoc 다형성의 몇 가지 예는 아래와 같다. 상수 1, 2, ... 등은 종종 임의의 미리 정해진 크기의 정밀도를 가진 정수로 표현된다.  +

 하스켈을 처음 접하는 많은 사람들이 모나드의 개념에 대해 헷갈려한다. 모나드는 하스켈에서 자주 등장하는 개념인데 입출력 시스템이 모나드를 사용해서 만들어 졌으며 특히 모나드를 위한 별도의 문법이 제공된다. 게다가 모나드 전용 모듈이 표준 라이브러리에 포함되어 있다. 이번 장에서는 모나드 프로그래밍에 대해 보다 자세히 알아보도록 하겠다.    이번 장은 아마도 이전 장들에 비해 덜 친절할지 모르겠다. 여기서 우리는 단지 모나드를 포함한 언어적 특성뿐만이 아니라 보다 큰 그림 즉, 모나드가 왜 그렇게

소개글 값, 타입, 그 외 기타 유용한 것들  함수 Case 표현식과 패턴 매칭  타입 클래스와 오버로딩  타입 다시보기   입출력  표준 하스켈 클래스  모나드 

 이번 장에서는 하스켈에서 미리 정의되어 있는 표준 타입 클래스를 알아보도록 하겠다. 여기서는 이들 클래스를 단순화하기 위해 몇몇 흥미없는 메소드들은 생략하였다. 하스켈 보고서에는 보다 완전한 정의가 기술되어 있다. 또한 몇몇 표준 클래스들은 표준 하스켈 라이브러리의 부분이기 때문에 하스켈 라이브러리 보고서에 기술되어 있다.   8.1 동등성과 순서 처리 클래스  Eq 와 Ord 클래스는 이미 살펴본 바 있다. Prelude 에서 Ord 의 정의는 이전에 언급한 Ord 클

 하스켈은 순수 함수형 언어이기 때문에 표현식(expression)을 평가하여 값을 산출한다. 모든 값은 타입을 가지고 있다(직관적으로 보자면 타입은 값의 집합이라고 생각할 수 있다). 정수 5, 문자 'a' 함수 \x -> x+1 과 같은 단독 값이나 list [1,2,3], pair ('b', 4) 같은 구조적으로 만들어진 값들도 다 이런 표현식(expression)에 포함된다.    표현식이 값을 나타내는 것처럼 타입 표현식(

 하스켈에서 입출력 시스템은 순수 함수적이지만 기존 프로그래밍 언어가 가지고 있는 강력한 표현력 또한 가지고 있다. 명령형 언어에서 프로그램은 외부 환경의 상태를 확인하고 수정하는 작업(action)을 처리한다. 전역 변수를 읽고 설정하기, 파일 쓰기, 입력값 읽기, 윈도우를 열기 등의 작업이 전형적인 작업(action)이다. 이런 작업(action)은 하스켈에서도 한 부분을 차지하고 있지만 하스켈의 순수 함수적 특성을 지닌 중추부분과 명확하게 구분되어 있다.    하스켈 입출력 시스템은

Why functional programming matters?(왜 함수형 프로그래밍이 중요한가?) - 원문자료(whyfp.pdf) Haskell Tutorial - 원문자료(HaskellTutorial.pdf) All about Monads - 원문자료(http://www.haskell.org/all_about_monads/html/) A Gentle Introduction to Haskell - 원문자료(haskell_98_tutorial.pdf)        

 여기서는 타입 선언에 대한 보다 고급 기법을 살펴보도록 하겠다.   6.1 newtype 선언  보통 프로그래밍 관례상 타입을 정의하는 것은 타입 시스템에서는 별개로 인식되지만 실제로는 기존의 타입과 같은 어떤 것을 표현하는 것이다. 하스켈에서는 newtype 이란 선언을 통해 기존의 타입에서 새로운 타입을 만들 수 있다. 예를 들어 자연수는 다음과 같은 선언을 통해 Integer 타입을 이용해 표현할 수 있다. newtype Natural = MakeNatural Integer   

 우리 팀에 irtiger 님과 메신저 중 "erlang 으로는 간단한 콘솔 기반 메신저 서버/클라이언트 100줄이면 만들지롱~" 이란 말에 발끈! 해서 만든 초간단 메신저...90줄이다. 86줄이다...  간단한 로그인/아웃, 접속자 리스트 보기, 대화하기, 에러처리 기능들이 구현되어 있다.   import System.IO.Unsafe import Control.Concurrent import Control.Concurrent.MVar import Control.Excepti

기초 네트워크 프로그래밍 메신저 서버와 클라이언트  

Part I - 모나드에 대해 이해하기 모나드 만나기 클래스 사용하기 모나드 법칙 연습문제 하스켈에서 지원하는 모나드   Part II - 표준 모나드 목록 소개 Identity 모나드 Maybe 모나드 Error 모나드 List 모나드 IO 모나드 State 모나드 Reader 모나드 Writer 모나드 Continuation 모나드   Part III -  실제 사용되는 모나드 소개 모나드들을 조합하는 어려운 방법 모나드 변환 표준 모나드 변환 모나드

  시작하기 하스켈 관련 자료를 보면 대부분 굉장히 이상적인 문제 풀이에 치중하는 경향이 있습니다. 그러다보니 '너무 수학적인 면이 강하다.', '좋아보이긴 한데 그다지 쓸모는...' 등의 반응이 나오죠.(뭐 사실 저도 하스켈이 그다지 보편적이고 실용적인 언어라고 생각하지는 않습니다만...ㅡ_ㅡ)  어쨌든 아무래도 하스켈이 너무나 멋지다 보니 그런 착한 모습만을 소개해주고 싶은 욕심이 너무 과한 것이 아닌가 생각합니다. (워~ 워~) 그래서 전 욕심을 버리고 비교적 실용

 앞 장에서 length 나 fringe 함수를 정의할 때 패턴 매칭의 예를 선보였었다. 이 장에서는 패턴 매칭에 대해 보다 자세히 알아보겠다.  패턴은 first-class 가 아니다. 단지 한정된 패턴만이 존재한다. 우리는 이미 몇 가지 자료 생성자 패턴을 살펴봤다. length 나 fringe 함수는 그런 생성자 패턴을 사용해서 정의했었다. length 함수는 내장 타입(리스트)의 생성자 패턴을 사용했고, fringe 함수는 사용자 정의 타입(트리)의 패턴을 사용했다. 사실 패턴 매칭

 하스켈은 함수형 언어이므로 주요한 역할을 수행하는 것은 함수일 것이라 생각할 것이다. 실제로도 그렇다. 이 장에서는 하스켈 함수의 몇가지 측면에 대해 살펴보겠다.  먼저 두개의 인자를 받아 두 값을 더해주는 함수를 정의해 보자. add :: Integer -> Integer -> Integer add x y = x + y  이것은 커리(curry) 함수의 예이다(curry 라는 이름은 이 개념을 대중화시킨 Haskell Curry 라는 사람의 이름에서 따왔다). uncurr

  이 글은 프로그래밍을 가르치려는 목적보다는 하스켈 보고서를 보완하려는 의도로 쓰여졌다. 하스켈 보고서는 한편으로는 다소 지나치게 기술적으로 쓰여진 문서이다. 우리는 최소한 하나라도 다른 프로그래밍 언어(그 언어가 ML이나 Scheme과 같은 약간 불완전한 함수적인 언어일지라도 어쨌든 함수형 언어라면 되도록 좋겠다)를 사용해본 사람들에게 하스켈을 친절하게 소개하려고 한다. 만약 독자가 함수형 프로그래밍 스타일에 대해 더 많은 것을 배우고 싶다면 Bird가 쓴 'Introduction to Functional Programm

 소개 모나드란 무엇인가?  모나드는  어떤 값들과 이 값을 처리하는 일련의 계산 과정을 구조화하는 방법이다. (하스켈) 프로그래머는 모나드를 사용하면 여러 개의 계산 과정을 순차적으로 기술하여 블럭을 조직하고 축적할 수 있다. 또한 여러 계산 과정을 결합하여 새로운 하나의 수식으로 만들어 처리할 수 있을뿐 아니라 프로그래머가 이 수식을 필요한 시점에 사용하기 위해 일일이 코딩을 할 필요가 없다.    여러 수식을 결합하여 보다 복잡한 수식으로 만들때 모

Why Functional Programming Matters 1. 소개(Introduction) 이 문서는 함수형 프로그래밍이 실제로 매우 중요한 것이라는 점에 대해 설명하고자 하며, 아울러 함수형 프로그래밍의 장점이 무엇인지 명확히 함으로써 함수형 프로그래머에게 도움을 주고자 작성되었다.   함수형 프로그래밍은 말 그대로 프로그램 전체가 함수의 집합으로 이루어진 것을 말한다. 메인 프로그램은 그 자체가 프로그램의 입력 값을 인자로 하고 프로그램 결과 값을 출력 값으로 하는 하나의 함수이다. 대개 메인 함수는 다른 함수들

  Haskell-Tutorial   함수형 프로그래밍을 위한 많은 책들이 있습니다. 비록 모두 좋은 책들이긴 하지만 저자들이 – 자신이 - 이전에 배웠던 모든 것을 - 한꺼번에 - 학생들에게 가르치려고 노력합니다. 따라서 독자들은 공부해야 할 양이 만만치 않을뿐더러 이론적인 내용들을 적용할 만한 구체적이고 실용적인 예제가 부족하기 때문에 처음 배우기 시작할 무렵에 어려움을 느끼게 됩니다. 대개 독자들은 프로그래밍의 추상적인 개념을 사용하는 것에 대해 호기심을 갖고 있지만 어떻게 시작해야 할지 모릅니다. 따라서 우

문제 원본 문제: http://codegolf.com/grid-computing 10 x 10 matrix에서 행/열 합 중 최대값을 산출하는 문제 입력값: 표준입력으로 1줄 당 10개의 숫자씩, 10줄을 입력받음 출력값: 최대합 산출 예) 입력값 01 34 46 31 55 21 16 88 87 87 32 40 82 40 43 96 08 82 41 86 30 16 24 18 04 54 65 96 38 48 32 00 99 90 24 75 89 41 04 01 11 80 31 83 08 93 37 96 27