람다 미적분이랑 유형이론으로 포스팅하려는데 사람들이 많이 볼까?