Posts By: shapr
| Date | Post | Topic |
| 06/27/2008 | dependent types? | Type system that can type list structure? |
| 01/02/2007 | Nanevski's modal calculus | "Limits to implicit parallelism in functional application" |
| 12/22/2006 | Sincere Comment on FP | Misc items |
| 12/09/2006 | CUFP 2007 | Commercial Users of Functional Programming 2006 |
| 11/30/2006 | A sincere comment on functional programming | The Future of LtU |
| 11/28/2006 | Yes, more from Andris please. | The Future of LtU |
| 11/29/2006 | Learning is a discussion for me. | The Future of LtU |
| 08/26/2006 | Incremental Typing as in Epigram? | Multi-Stage Languages |
| 08/15/2006 | 14 year olds use Haskell, DSLs are neat. | DSLs and AOP |
| 07/31/2006 | Exhaustive Testing | Cost of provably-correct code |
| 06/21/2006 | Yampa Arcade | What are the real benefits of FP? |
| 06/22/2006 | Yampa does address the problem, and state traversal as well. | What are the real benefits of FP? |
| 06/22/2006 | MVC in Haskell. | What are the real benefits of FP? |
| 06/09/2006 | How to derive an LZW decompressor from a compressor | The Weird World of Bi-Directional Programming |
| 05/24/2006 | Fun! | haXe 1.0 |
| 05/02/2006 | Proofs are Programs: 19th Century Logic and 21st Century Computing | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/02/2006 | Fixed! | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/02/2006 | Couldn't find it, thus I posted. | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/02/2006 | Datics - The Physics of Data | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 04/28/2006 | A Language-Based Approach to Unifying Events and Threads | A Language-Based Approach to Unifying Events and Threads |
| 05/02/2006 | Sources available | A Language-Based Approach to Unifying Events and Threads |
| 04/28/2006 | Can't get started. | Chuck - Concurrent audio programming language |
| 03/30/2006 | Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) | Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) |
| 03/30/2006 | Self, Starkiller | Type Inference in Object Oriented Languages |
| 03/21/2006 | {Agile,Pair} Programming is related. | Social science research about programming language adoption? |
| 03/23/2006 | Audrey's presentation is for in person presentations. | Programming: 50, 100 years from now |
| 03/21/2006 | EuroHaskell 2004 and #haskell | Programming: 50, 100 years from now |
| 03/30/2006 | What about list comprehensions? | Towards Applicative Relational Programming |
| 12/13/2005 | Djinn, a theorem prover in Haskell, for Haskell. | Djinn, a theorem prover in Haskell, for Haskell. |
| 12/13/2005 | Proof programming? | Djinn, a theorem prover in Haskell, for Haskell. |
| 12/10/2005 | XmlRpc and Haskell | Types and reflection |
| 12/11/2005 | Polyvariadic functions in Haskell | Types and reflection |
| 12/09/2005 | Problem solved via Language Support. True or False? | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 12/01/2005 | See "A Principled Approach to Operating System Construction" | New languages for OS level programming? |
| 11/25/2005 | Collection of links to monad implementations in various languages. | Collection of links to monad implementations in various languages. |
| 11/21/2005 | Page 462 of Types and Programming Languages | Dependent types: literature, implementations and limitations ? |
| 11/21/2005 | Monads hit the Big Time, Monads in Joy. | Monads in Ruby |
| 11/21/2005 | Doh, I forgot Scheme! | Monads in Ruby |
| 11/22/2005 | And yet, that's no longer the Machine. | Felleisen: How to Design Class Hierarchies |
| 11/22/2005 | Only the new value is created, all else is shared. | Felleisen: How to Design Class Hierarchies |
| 11/23/2005 | Define traversal once with Functor | Felleisen: How to Design Class Hierarchies |
| 11/17/2005 | What good is Strong Normalization in Programming Languages? | What good is Strong Normalization in Programming Languages? |
| 11/17/2005 | Just doing my editorial job :-) | What good is Strong Normalization in Programming Languages? |
| 11/17/2005 | See "A Principled Approach to Operating System Construction" | What good is Strong Normalization in Programming Languages? |
| 11/09/2005 | Funny you should mention that... | Can one avoid monads? |
| 11/05/2005 | Which gems? | iPod-compatible SICP |
| 10/31/2005 | Term Rewriting Systems? Refactoring? | Parsing and syntax reordering |
| 10/31/2005 | This is the goal, but whither termination? | The Type-System-Feature-Creep Death Spiral |
| 11/02/2005 | I think it's all the same. Staging happens. | The Type-System-Feature-Creep Death Spiral |
| 10/31/2005 | I don't believe it. | Does Visual Studio Rot the Mind? |
| 10/31/2005 | Types, Abstractions | Does Visual Studio Rot the Mind? |
| 11/02/2005 | C header files, Lazy if, Python list comps, another anecdote | Does Visual Studio Rot the Mind? |
| 11/03/2005 | Yes! Equal Opportunity Improvement | An Overview of the Singularity Project |
| 10/26/2005 | Recursion via Coinductive Types - dual to Hyperfunctions? | Journal "Logical Methods in CS" |
| 10/26/2005 | Yes, CC licensed is great! | Journal "Logical Methods in CS" |
| 10/26/2005 | Functor? | Why Lists? |
| 10/27/2005 | Phantom Types on the Haskell wiki | Linear types for aliased resources |
| 10/31/2005 | What's modern? | Bruce Tate: Technologies that may challenge Java |
| 11/02/2005 | swing, by Cale Gibbard | Bruce Tate: Technologies that may challenge Java |
| 11/09/2005 | I agree, back to why things are the way they are? | Bruce Tate: Technologies that may challenge Java |
| 10/19/2005 | Thesis | Multigame A Very High Level Language for Describing Board Games |
| 08/10/2006 | About the same | Object Oriented Programming + Referential Transparency |
| 08/16/2006 | Laziness can also reduce memory consumption. | Object Oriented Programming + Referential Transparency |
| 08/10/2006 | FP vs OOP on TMR | Object Oriented Programming + Referential Transparency |
| 10/11/2005 | Typesafe transformations - Template Haskell vs MetaML | Macros/Syntax vs. AST manipulation |
| 10/08/2005 | Zipper-based file server/OS | Zipper-based file server/OS |
| 10/11/2005 | Huet's Zipper | Zipper-based file server/OS |
| 10/07/2005 | What about Zope's TAL? | XNHTML |
| 10/07/2005 | Not always... | Scalability |
| 10/07/2005 | I think there's an excellent solution, build a stack of turtles! | Scalability |
| 10/07/2005 | HaskellDB is SQL on top of Haskell. | Scalability |
| 10/07/2005 | So ask for details. | Scalability |
| 10/10/2005 | Still a puzzle? | Scalability |
| 10/05/2005 | Monads Transformers? | Combining computational effects |
| 10/03/2005 | Number-Parameterized Types by Oleg Kiselyov | Number-Parameterized Types by Oleg Kiselyov |
| 10/03/2005 | Yes, mentioned in the related section. | Number-Parameterized Types by Oleg Kiselyov |
| 10/04/2005 | Is mutual recursion also iteration? | "The Anatomy of a Loop" |
| 09/30/2005 | QuickCheck, again... | Looking for FP Debuggers |
| 09/28/2005 | I've never wanted a debugger, but... tests? | Looking for FP Debuggers |
| 09/27/2005 | If it can't be expressed in figures, it is not science | LtU: Style and Focus |
| 09/25/2005 | Me too, but not so desperately. | Searching For Derek Elkins |
| 09/27/2005 | QuickCheck! | Abstractions considered harmful? |
| 09/28/2005 | What about two cakes? | What is Intuitive? |
| 12/06/2005 | Recursion is my flavor. | What is Intuitive? |
| 09/21/2005 | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
| 09/21/2005 | Yeah! | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
| 09/26/2005 | Recent developments | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
| 09/18/2005 | Henry Baker | Garbage Collection as a Lazy Algorithm |
| 09/23/2005 | hs-plugins | Most Productive FP Lang? |
| 10/06/2005 | Let it go. | Yearning for a practical scheme |
| 08/29/2005 | Big O complexity for abstractions? | Big O complexity for abstractions? |
| 08/29/2005 | Temporary hiding of extraneous information. | Does Abstraction add Fuzziness? |
| 08/17/2005 | Yes, nntp would help for thread order. | Forum usability |
| 08/16/2005 | Yeah, it's hard to navigate. | Forum usability |
| 08/17/2005 | Yes, bar on one side only? | Forum usability |
| 05/03/2006 | Nokia770 theme? | Forum usability |
| 10/05/2005 | QuickCheck... | Invariants/Contracts vs. types |
| 10/05/2005 | User functions' properties and type theory | Invariants/Contracts vs. types |
| 08/11/2005 | Stack scramblers | Concatenative Language Kont |
| 07/11/2005 | The Need for Abstraction | CTM |
| 07/07/2005 | Sure, but? | Dynamic Languages Journal? |
| 06/16/2005 | Introduction to Arrows | Transducer Composition and CPS |
| 05/28/2005 | Possibly DaCapo benchmarks? | Short examples of complex use of state? |
| 05/24/2005 | One of the top ten causes of Cthulhu invocations. | Haskell for C Programmers |
| 05/22/2005 | QuickCheck : The Test of a New Generation | Parameterized Unit Tests |
| 05/24/2005 | Testing is automated, informal, proof of functionality. | Parameterized Unit Tests |
| 05/28/2005 | Haskell is not lazy, only non-strict. | Two Thank Yous for Peter van Roy |
| 05/12/2005 | I've tried to teach people autodidactism ... | Why Dependent Types Matter |
| 05/10/2005 | See your code executing live... | subtext: Uncovering the simplicity of programming |
| 05/05/2005 | First, Advance the State of Education. | Let's make a programming language! |
| 05/02/2005 | Zope has more production errors. | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Snake, It's a Snake! (Badger, badger, badger) | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Spiffy, thanks. | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Soft/Firm Typing | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Different Towers? | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/30/2005 | .postfix dislike might you why idea no have I | The long tail of programming languages |
| 04/30/2005 | Power Law comparisons? | The long tail of programming languages |
| 04/30/2005 | Related Discussion | From Perl Monks: "pissed off about functional programming" |
| 05/08/2005 | FpVsOo | From Perl Monks: "pissed off about functional programming" |
| 04/29/2005 | There and Back Again, Refactoring Browsers. | The Fortress Language Spec v0.618 |
| 04/30/2005 | Epigram, again | The Fortress Language Spec v0.618 |
| 04/25/2005 | Richard Hamming - "You and Your Research" | Richard Hamming - "You and Your Research" |
| 01/06/2007 | Finally acquired my own copy! | Richard Hamming - "You and Your Research" |
| 04/23/2005 | Hudak's embedded FRP | Why do they program in C++? |
| 04/25/2005 | Haskell Examples | Why do they program in C++? |
| 05/05/2005 | I perceive a massive difference. | Why do they program in C++? |
| 04/27/2005 | Haskell's Nine Points. | Why do they program in C++? |
| 05/12/2005 | ccNUMA appears procedural also. | Why do they program in C++? |
| 04/22/2005 | CPAN, obviously. | Computer generates verifiable mathematics proof |
| 04/25/2005 | Bah, Humility! | Chemistry, Graph Tranformation and Programming Languages |
| 04/15/2005 | The Glasgow Haskell Compiler Survey - GHC needs your feedback! | The Glasgow Haskell Compiler Survey - GHC needs your feedback! |
| 04/14/2005 | Chris Coyne's Context Free Design Grammar, and SCIgen - Randomly generated CS papers. | Chris Coyne's Context Free Design Grammar, and SCIgen - Randomly generated CS papers. |
| 04/13/2005 | The truth is out there. | Links |
| 04/17/2005 | Debian packages for MetaEnvironment | Links |
| 04/09/2005 | Re: QuickCheck in Xavier Leroy's slides | Links Slides |
| 04/05/2005 | Pugs, Practicing the Theories. | Pugs, Practicing the Theories. |
| 04/05/2005 | Network problems in Sweden? | Why is erlang.org down |
| 04/18/2005 | Supercombinators | Mechanics of designing and implementing a language |
| 04/03/2005 | Computational Shape? FISh Pi? | Recovering resources in the pi-calculus |
| 09/20/2005 | Image loading for Games | expressivity of "idiomatic C++" |
| 03/24/2005 | Not a general forum for PL discussion?! | Post new comment vs. reply |
| 03/24/2005 | Yeah what he said... | Python: Generator methods |
| 03/24/2005 | Performance of Region Allocation on NUMA architecture. | UCPy: Reverse Engineering Python |
| 03/24/2005 | QuickCheck! | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | hIp hOp, House | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/18/2005 | Reproducing Programs implement Lazy Lists | Reproducing Programs implement Lazy Lists |
| 03/18/2005 | It's gorgeous, can you add an explicit license? | The fate of reduce() in Python 3000 |
| 03/18/2005 | Yeah, I want unit tests. | The fate of reduce() in Python 3000 |
| 03/18/2005 | Do you have a reference for this? | OCaml vs. C++ for Dynamic Programming |
| 03/21/2005 | Excellent, thanks! | OCaml vs. C++ for Dynamic Programming |
| 03/13/2005 | Links to ... | Fortress focuses on the needs of scientists |
| 03/08/2005 | Looks like a monad to me. | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Execution Monad in Scheme by Wand-Kiczales-Dutchyn | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Google says... | Adobe Releases Adam and Eve |
| 03/04/2005 | I have often wished for wikipedia-style courses. | Building a Modern Computer From First Principles |
| 03/01/2005 | Issue One of The Monad.Reader, monthly Haskell eZine | Issue One of The Monad.Reader, monthly Haskell eZine |
| 03/01/2005 | Well... | Issue One of The Monad.Reader, monthly Haskell eZine |
| 05/02/2005 | Issue Two | Issue One of The Monad.Reader, monthly Haskell eZine |
| 06/02/2005 | Issue Three | Issue One of The Monad.Reader, monthly Haskell eZine |
| 06/02/2005 | Content quality over presentation quality. | Issue One of The Monad.Reader, monthly Haskell eZine |
| 10/02/2005 | Fifth issue of The Monad.Reader published. | Issue One of The Monad.Reader, monthly Haskell eZine |
| 03/18/2005 | Thanks! | New RSS Feed(s) |
| 02/25/2005 | scholar.google.com feature request, free articles only | Journals and papers? |
| 03/13/2005 | Building a bridge between cultures? | Journals and papers? |
| 02/22/2005 | Check out Paul Hudak's writings. | Designing and Implementing DSL languages: recommended reading? |
| 02/23/2005 | fixed transterpreter url | Don Box: Teaching my kids to program |
| 02/28/2005 | Wouter Van Oortmerssen's visual languages. | Don Box: Teaching my kids to program |
| 02/14/2005 | +1 Nifty | ACM Queue: A Conversation with Alan Kay |
| 02/18/2005 | Kolmogorov Complexity | ACM Queue: A Conversation with Alan Kay |
| 02/18/2005 | The World is not enough fun. | ACM Queue: A Conversation with Alan Kay |
| 02/14/2005 | In other Perl news, Pugs: Perl 6 Users Golfing System | Perl6 vs Java vs Python, or, Java sucks! and the NIH Fallacy |
| 03/28/2005 | Reasons I like referential transparency. | Transparent Persistence |
| 02/04/2005 | The Monad.Reader, Haskell eZine | The Monad.Reader, Haskell eZine |
| 02/01/2005 | Can I Browse Your Collection of Research Papers? | Langauges and Hardware... |
| 01/25/2005 | In Business, Good means less time or less money. | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | Go home early? and Dynamic Loading | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | What functionality? | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | I've never needed a debugger? | "Popular vs. Good" in Programming Languages |
| 01/24/2005 | As seen on Slashdot, Cell Arch Explained. | Implicit parallel functional programming |
| 08/26/2006 | Could this be always visible from the front page somehow? | Getting Started |
| 01/19/2005 | Speculative Evaluation in the Glasgow Haskell Compiler | Dynamic Eager Haskell |
| 01/11/2005 | As a former Python lover... | Ian Bicking: The challenge of metaprogramming |
| 01/12/2005 | Restrictions? | Ian Bicking: The challenge of metaprogramming |
| 01/07/2005 | Spoken Programming Language Design | Speech-to-text friendly programming languages |
| 01/02/2005 | Why concurrency? | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 01/05/2005 | Extremes - more CPUs than threads? | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 01/11/2005 | transputers, multi-core dies, SIMD, Beowulf clusters... | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 10/21/2005 | Wouter van Oortmerssen's languages. | the Chinese natual language |
| 10/21/2005 | I don't think in words. | the Chinese natual language |
| 10/25/2005 | Audio Programming | the Chinese natual language |
| 11/12/2004 | Haskell Communities and Activities Report, Seventh Edition, November 2004 | Haskell Communities and Activities Report, Seventh Edition, November 2004 |
| 11/12/2004 | Oops | Haskell Communities and Activities Report, Seventh Edition, November 2004 |
| 11/11/2004 | The Essential Haskell Compiler | The Essential Haskell Compiler |
| 11/09/2004 | I switched from Python to Haskell. | Language comparison experiment |
| 11/04/2004 | RSS feed for forum or responses? | RSS feed for forum or responses? |
| 11/04/2004 | Hackable? | RSS feed for forum or responses? |
| 01/30/2005 | Several Units later... | RSS feed for forum or responses? |
| 11/09/2004 | I'm Self-Employed! Any other non-academics here? | Where is everyone? |
| 10/28/2004 | Why choose? | Microsoft and DSLs @ OOPSLA |
| 10/22/2004 | Oh this is excellent | Online Bibliography of Partial Evaluation Research |
| 10/25/2004 | Nested Data Parallelism in Haskell | MapReduce - functional programming in the REAL World |
| 10/18/2004 | Standard Design Pattern? | Two Languages (high+low level) vs One Language |
| 10/27/2004 | Both. Programming is both painting and composing. | Programming for non-programmers |
| 10/14/2004 | OOHaskell - Haskell's overlooked object system | OOHaskell - Haskell's overlooked object system |
| 10/14/2004 | compare/contrast with HaskellDB? | Rel: an open source implementation of Date & Darwen's Tutorial D |
| 10/09/2004 | Succ Zeroth International Obfuscated Haskell Code Contest Results | Succ Zeroth International Obfuscated Haskell Code Contest Results |
| 10/12/2004 | Has been proposed... | Succ Zeroth International Obfuscated Haskell Code Contest Results |
| 10/06/2004 | House , hOp - the Haskell Operating System | House , hOp - the Haskell Operating System |
| 10/22/2004 | House Source released | House , hOp - the Haskell Operating System |
| 04/21/2005 | House is Wired. | House , hOp - the Haskell Operating System |
| 10/06/2004 | I sat as far away from Guido as possible. | Away from interpreter hacking and toward enhancing stdlib |
| 09/12/2004 | Same here, I registered under | Use real names |
| 09/03/2004 | Arrows == self-specializing by value? | A Deeper Look At Metafunctions |
| 09/01/2004 | GZigZag, Gzz, fenfire, ... | Ted Nelson's ZigZag |
| 09/01/2004 | roughly Turing machine + Spreadsheet | Ted Nelson's ZigZag |
| 08/26/2004 | "Types and Reflection" by Lauri Emil Alanko | "Types and Reflection" by Lauri Emil Alanko |
| 03/03/2005 | STM beats monads? | The right default: concurrent components with message passing |
| 03/10/2005 | Looks like spam? | Another minor usability gripe... |
| 07/19/2004 | Epigram - incremental interactive typechecking | Epigram - incremental interactive typechecking |
| 01/25/2005 | Ars Technica winces | New Chip Heralds a Parallel Future |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |