인간이 형만 쓰면 구현을 의식하지 않아도 좋아지는 미래

유형은 "무슨 일을하고 싶어?"라는 요구 사항의 역할을 가지고,
한편으로 구현해 「어떻게 그 요건을 실현하는가」라고 하는 구체적인 순서의 역할을 가지고 있지요.

그런데 일을 할 수 있는 사람은, 「이런 일 하고 싶다~라고 생각하고 있는데~」라고 전하면,
「아, 그렇다면 구체적으로 이런 방법을 하면 좋을 것 같네요~」 라고 스스로 생각해 제안해 실행해 줘서 엄청 살아날까요.

그렇다면 프로그램의 세계에서도 마찬가지이며, 요건(형)만 쓰면 구체적인 순서(실장)를 자동으로 도출해 주는 미래가 오면 기쁜 느낌이 들지 않겠습니까?

잔네~응! 미래가 아니라 현대 이야기였어요~! 1

type MyApi = "books" :> Get '[JSON] [Book] -- GET /books
        :<|> "books" :> ReqBody Book :> Post '[JSON] Book -- POST /books

myApi :: Proxy MyApi
myApi = Proxy

getAllBooks :: Manager -> BaseUrl -> ExceptT String IO [Book]
postNewBook :: Book -> Manager -> BaseUrl -> ExceptT String IO Book
-- 'client' allows you to produce operations to query an API from a client.
(getAllBooks :<|> postNewBook) = client myApi

Haskell의 servant-client은 위와 같이 형식을 쓰는 것만으로
실제로 무언가의 웹 API에 요청을 던져 그 결과를 퍼징해 주는 함수의 구현이 자동으로 생성됩니다.

이제, 「형 추론이 진화하면 인간은 형을 의식하지 않고 좋게 된다」 라고 별로 말해도 좋은 시대가 아니네요!


사쿠라 찬에게 밥을 준다.



컨텍스트를 읽을 수없는 마운팅 고릴라가 찢어 져서 냄새가 나기 때문에 보충하기가 쉽지만, 나는 "인간이 완전히 구현하지 않는 좋은 미래"라고 생각하지 않습니다.