Posts By: barsoap
| Date | Post | Topic |
| 11/26/2008 | Bottom and unsafeCoerce: The Ultimate Harmful™ | Non-standard type theories for FP |
| 10/28/2008 | Haskell. | Declarative layout and/or UI languages? |
| 09/06/2008 | Semantically, yes. | Can Lambda do things like arrays and matrixs? If so how? |
| 06/15/2008 | Does this mean | Preemptive concurrency via compiler-inserted checks |
| 12/01/2007 | Damn. | Logic for Philosophy |
| 12/02/2007 | No specific ordering of | What have I created? |
| 09/11/2007 | A bit misleading | Question about the Monad associativity law |
| 08/29/2007 | nyes | What is a state? |
| 08/30/2007 | Monads again? | What is a state? |
| 08/16/2008 | [..], or how many words | the Chinese natual language |
| 08/16/2008 | be- | the Chinese natual language |
| 08/22/2007 | If Haskell is Chinese | Why type systems are interesting |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |