우연히 Idris라는 언어를 알게 되었는데, 이 언어가 dependent type을 사용한다고 하네요.
그런데 계속 자료를 찾아봐도 dependnet type이 뭔지 아직도 잘 모르겠습니다.
혹시 아신다면 알려주실수 있으신가요? 또 dependent type에 관한 좋은 자료가 있나요?
텍스트 포맷에 대한 자세한 정보
<code>
<blockcode>
<apache>
<applescript>
<autoconf>
<awk>
<bash>
<c>
<cpp>
<css>
<diff>
<drupal5>
<drupal6>
<gdb>
<html>
<html5>
<java>
<javascript>
<ldif>
<lua>
<make>
<mysql>
<perl>
<perl6>
<php>
<pgsql>
<proftpd>
<python>
<reg>
<spec>
<ruby>
<foo>
[foo]
댓글 달기