알면 알수록 더 그렇네이건 남들이 잘 만들어 놓은 오픈소스 코드가 있는지도 많이 찾아보고 배워야 할 것 같음.. 후이론서에서는 수리적인 증명 방식과 수식을 중점적으로 다루고 있어서 코드를 보고 응용 방법을 배워야 할듯?
대부분의 task기반 멀티스레딩 라이브러리나 런타임이 상태머신을 채택하고 있긴함