Home > 一般 > 型と値がごっちゃでわけわからなくなってきた

Newer

型と値がごっちゃでわけわからなくなってきた

2012-09-20 (Thu) 23:31
一般

普通に関数型言語として使うのは問題ないけれど依存型で変なことしようかなと思い始めるあたりでごちゃごちゃと……　Prop と bool の違いではまりまくるとか．どこに気をつけるべきなのかがはっきり見えないので修行あるのみ？

Newer: ことはじめ

Home > 一般 > 型と値がごっちゃでわけわからなくなってきた

Calendar

Categories

アカデミック？(78)
ソフトウェア(362)
- Linux/coLinux(122)
- Meadow/Emacs(26)
- TeX(37)
- Windows(67)
ハードウェア(76)
- PC関係(37)
- マイコン(16)
プログラミング(352)
- C/C++/C#(80)
- Haskell(26)
- Java(33)
- sed/wake/awk(40)
一般(6942)
- カメラ／写真(591)
遊び(79)

Archives

Search

Feeds