Monthly Archives: February 2016

시그마와 Fold

알고리즘을 구현할 때, 루프(loop)는 꼭 필요하다. 루프를 사용한다는 것은 우리가 어떤 시퀀스, 즉 어떤 자료의 목록인 리스트를 다룬다는 것을 뜻한다. 수학에서 리스트를 다루는 가장 대표적인 루프는 시그마이다. 시그마는 리스트를 받아 리스트의 각 원소를 합하는 루프다. 우리에게 익숙한 명령형 언어로 시그마를 작성해 보면 아래와 같다.

위의 sigma1을 보면 루프 내에서 sum의 상태와 i 변수의 상태가… Read More »

Swift와 C언어의 Pointer

UnsafePointer와 UnsafeMutablePointer Swift에서 C언어의 레거시 API를 사용할 때, C API가 포인터를 담고 있는 경우 Swift에서는 아래의 두 가지 경우로 함수 시그니쳐가 변환되어 임포트 됩니다. UnsafePointer<T> UnsafeMutablePointer<T> C언어의 API 에서 함수의 인자에 const가 붙은 경우 UnsafePointer<T>가 되며 const가 없는 경우 UnsafeMutablePointer<T>가 됩니다. 몇 가지 예를 들면 아래와 같습니다.

C언어에서 포인터를 선언하기 위해서 아직 정의되지 않은… Read More »

1부터 10000까지의 합

1부터 10000까지의 총합을 구하는 코드를 작성하고 하면 대부분 아래와 같이 작성할 것이다.

하지만 다르게 작성하는 법은 없을까?

익숙함의 배신

이직을 하게 되면서 면접을 몇 차례 진행하다 보니 ‘익숙함’이 아주 무서운 것임을 느끼게 되었다. 뭐랄까? 익숙함의 배신이라고 해야할까? 완전 틀리게 이해하고 있으면서 잘 알고 있다고 느끼는 착각이라고 해야할 것 같다. 예를들어 YUV, Stride 같은 용어들의 정의를 잘 이해하고 있다고 생각했지만 실상은 그렇지 않았다. 용어에 익숙해져 있을 뿐이지 그 정의에 대해서는 틀리게 이해하고 있었던 것이다. 컴퓨터를… Read More »

Swift와 C++ 코드 동시에 사용하기

ObjectiveC는 C언어의 Super Set이라 C코드를 자유롭게 ObjC 파일 내에서 사용할 수 있습니다. C++의 경우 m 확장자를 mm으로 변경해 주면 사용할 수 있습니다. iOS의 개발 언어가 Swift로 변경되고 나서는 C++을 사용하기 위해 약간의 수고를 더 해줘야 합니다. 안드로이드의 JNI에 비하면 아무 것도 아니지만요. 다음 순서로 하면 됩니다. C++ 모듈을 만든다 (h/cpp or hpp/cpp) ObjC++ 랩퍼를 만든다.… Read More »

멋쟁이 헤스켈, List Comprehension!

헤스켈을 공부하기 시작한 것이 얼마 되지 않았지만, 보면 볼 수록 매력덩어리이다. 헤스켈에 푹 빠져버린 첫 순간은 List Comprehension을 접하고 나서다.

Swift의 [1…100] 의 타입은?

Haskell에서 [1..100] 은 1부터 100까지의 정수 리스트가 된다. [1,2,3, … , 100] 이 표기의 편리함에 익숙하다 보니 Swift에서 아래와 같은 실수를…

Swift에서 [1…100]  은 Range하나를 담은 배열이다. 즉, 정수의 배열이 아니다. ㅠ.ㅠ

그렇다면 [1…100] 같은 정수 목록은 어떻게 생성할 수 있을까? 다행히도 Array클래스가 Range를 받아 순열을 생성해주는 생성자가 있다.

[1…100].filter {}… Read More »

Swift로 아주 큰 수를 곱해 보자.

Swift로 큰 수를 곱해보자. 이를테면, 12345678912345678901234567891234567890123456789123456789012345678912345678901234567891234567890123456789123456789012345678912345678901234567891234567890123456789123456789012345678901234567890123456789 *  12345678912345678901234567891234567890123456789123456789012345678912345678901234567891234567890123456789123456789012345678912345678901234567891234567890123456789123456789012345678901234567890123456789 같은 수를 곱해보자. 

대수적 데이터 타입과 Enum

대수적 데이터 타입은 다른 데이터 타입을 조합 및 연산하여 하나의 새로운 집합을 정의할 때, 해당 집합을 대수적 데이터 타입이라고 한다. 쉽게 얘기해 집합을 정의하는 것이다. 헤스켈에서 대표적인 대수적 데이터 타입은 Bool 타입이다.

Bool 타입은 True타입과 False타입이 모여 Bool이라는 집합을 정의한다고 생각할 수 있다. 대수적 데이터 타입의 몇 가지 예를 더 살펴보자.

Point 집합은… Read More »

함수를 정의하자.

수학적 함수표기와 Haskell 함수표기의 차이점 Mathematics Haskell f(x) f x f(x,y) f x y f(g(x)) f (g x) f(x,g(y)) f x (g y) f(x)g(y) f x * g y 조건 표현식으로 함수 정의하기

조건 표현식 중첩하기

주의 Haskell에서 if 조건 표현식은 항상 else 문이 있어야 한다. Guard를 사용하여 함수 정의하기

아주… Read More »

타입을 읽자.

Haskell 에서 타입을 지정할 때 :: 를 사용한다.

Class Constraints. Java, C# 등에서 Interface라고 생각하면 이해하기 쉽다.

커링(currying) 함수가 왜 필요한가?

명령형 언어에서 함수는 보통 0개에서 n개의 인자를 동시에 받아 특정 알고리즘을 수행한다.

함수형 언어에서 함수는 보통 커링함수를 사용하는데 커링 함수는 n개의 인자를 받는 함수가 있을 경우 n개의 인자를 동시에 받는 것이 아니라 1개씩 인자를 받으며 다음 인자를 받는 함수를 반환하는 함수를 말한다. int add( int a, int b ) 라는 함수가 있을 경우, 이를… Read More »