Last Updated 07/17/2012

Posts By: sigfpe

Date | Post | Topic |

03/15/2012 | Immutable structures | Reversing operations |

02/07/2012 | Not quite | The Algebra of Data, and the Calculus of Mutation |

02/10/2012 | Nice example!By | The Algebra of Data, and the Calculus of Mutation |

10/11/2011 | Bushes and trees | Data, Codata, and Their Implications for Equality, and Serialization |

10/03/2011 | Not a valid conclusion | Metaphors we Program By: Space, Action and Society in Java |

06/27/2011 | The point | Wittgenstein versus Turing on Inconsistency Robustness |

11/11/2010 | What kind of reason are you expecting? | Conservative Logic |

09/25/2010 | To what extent are AI and types the same thing? | Omega - Language of the Future |

06/10/2010 | FISh | Why a film about the APL array language family? |

05/28/2010 | You might like... | Functional Pearl: Species and Functors and Types, Oh My! |

04/17/2010 | It's open source isn't it? | More iPhone PL lockdown... Goodbye Scratch! |

03/02/2010 | LtU changed my life! | a "thank you" to You |

02/23/2010 | I've never understood this reputation | Recent Progress in Quantum Algorithms |

02/05/2010 | If A=B... | Alternatives to parentheses for grouping |

02/05/2010 | Your example might need fixing as it doesn't mention A | Alternatives to parentheses for grouping |

02/04/2010 | In Haskell, say, it's not just the product | Extreme non-choosiness |

01/20/2010 | Java vs. Calculus? No contest. | Academic advice: Mathematics or Computer Science? |

01/22/2010 | MVT and Parallel Postulate | Academic advice: Mathematics or Computer Science? |

01/23/2010 | Nice interpretation | Academic advice: Mathematics or Computer Science? |

01/17/2010 | Entanglement | Quantum Lambda Calculus |

12/19/2009 | There's nothing going on here | Claiming Infinity |

12/30/2009 | Yes | Claiming Infinity |

12/15/2009 | Games are more general than surreal numbers | Claiming Infinity |

10/28/2009 | One of my favourite ICFP ཅ papers | Causal Commutative Arrows and Their Optimization |

08/19/2009 | Different issue | functions vs procedures.. |

08/13/2009 | In fact, I think you can make Delayed a comonad | The End of the GPU Roadmap |

05/21/2009 | Visual Dataflow is Commonplace in Graphics | Computer music: a bastion of interactive visual dataflow languages |

02/17/2009 | Depends on how you represent... | Parameterized Notions of Computation |

01/20/2009 | Colour | Lambda Calculus Notation |

09/15/2008 | I don't get this one | Irresistible programs |

07/18/2008 | A general point | Effectiveness of C++ for scientific computing? |

06/09/2008 | Two sources | help with understanding combinatory logic |

05/02/2008 | Don't forget to check out the classic paper | Is Halting Problem Valid for P? |

04/18/2008 | I don't understand why this is tangential | Static Typing and Expressivity |

03/13/2008 | Haskell not the best choice here | Languages best suited for scientific computing? |

02/20/2008 | Compare with Escardo | When Is A Functional Program Not A Functional Program? |

02/07/2008 | I tried something along those lines... | Project LambdaCan |

01/17/2008 | Look closely at the definition | Understanding category theory and its practical applications |

01/21/2008 | It wasn't much of an exercize -- am I missing something? | Understanding category theory and its practical applications |

12/10/2007 | Can be done, or can be done reasonably? | functions, statements, expressions |

12/07/2007 | Can someone say something about the prerequisites? | How to write your next POPL paper in Coq |

12/07/2007 | The most readable language I know is... | poll: syntax |

12/13/2007 | "Just to conform" | poll: syntax |

11/30/2007 | Generics | foundations for J, APL etc |

11/08/2007 | Simple | Idioms for Composing Games with Etoys |

10/26/2007 | One that keeps reading inputs... | Gödel, Nagel, minds and machines |

10/11/2007 | Irrelevant | Computing is a Natural Science |

09/21/2007 | Chris Okasaki on minimal combinators. | Binary Lambda Calculus and Combinatory Logic |

09/18/2007 | Why a monoid is a one object category | Online video course on monads |

09/20/2007 | My favourite example of a natural transformation is from CS | Online video course on monads |

09/13/2007 | What's interesting specifically about Forth... | Minimal FORTH compiler and tutorial |

09/13/2007 | Nowadays there are a few concatenative languages... | Minimal FORTH compiler and tutorial |

09/11/2007 | Associativity isn't about order | Question about the Monad associativity law |

08/30/2007 | Recommended reading | What is a state? |

08/30/2007 | The funny thing about google... | Fogotten Book Title |

08/13/2007 | You might also want to consider... | creating my own programming language |

08/18/2007 | Monads and mutable state | Monad Description For Imperative Programmer |

08/20/2007 | I'm not sure I see what you mean... | Monad Description For Imperative Programmer |

08/21/2007 | Sort of... | Monad Description For Imperative Programmer |

08/22/2007 | ...we) would like to know a bit more about them, too. | Monad Description For Imperative Programmer |

08/21/2007 | Shells and Monads | Monad Description For Imperative Programmer |

07/30/2007 | Slight disagreement | Testing first year programming students |

07/27/2007 | I was secretly hoping monad comprehensions would... | Comprehensions with ‘Order by' and ‘Group by' |

07/10/2007 | The power to loop | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |

07/06/2007 | Not that simple | Thinking Forth & Starting Forth |

06/28/2007 | Because only a tiny fraction of people know it's possible | Haskell web store |

06/29/2007 | It was intended with irony... | Haskell web store |

06/29/2007 | Some more datapoints | Katahdin: Modifying your programming language as it runs |

06/12/2007 | Regexps and zippers | Derivatives of Regular Expressions |

06/12/2007 | I did already | Derivatives of Regular Expressions |

11/29/2010 | Divided differences | Derivatives of Regular Expressions |

06/12/2007 | Sudoku in X | Solving a Sudoku with one SQL-statement |

06/04/2007 | Partial evaluation applied to high speed lighting preview | Partial evaluation applied to high speed lighting preview |

06/05/2007 | Didn't Wolfenstein 3D do this? | Partial evaluation applied to high speed lighting preview |

06/07/2007 | Depends on how you slice it | Partial evaluation applied to high speed lighting preview |

06/07/2007 | I read a large chunk of the book | Partial evaluation applied to high speed lighting preview |

05/30/2007 | Suppose you want to perform a number of... | "Practical" advantages of lazy evaluation |

05/24/2007 | Not guilty, your honour. | Currying != Generalized Partial Application?! |

05/25/2007 | What's the difference? | Currying != Generalized Partial Application?! |

05/02/2007 | Don't think of it as wrapping | Is Integer wrapping an exceptional condition? |

05/08/2007 | The p-adics | Is Integer wrapping an exceptional condition? |

06/20/2007 | Just came across this comment | AutoBayes -- A DSL For Bayesian Networks |

04/15/2007 | I'm already stuck on page 2 of Models of LCF | PCF and LCF |

04/15/2007 | I think that clarifies things | PCF and LCF |

04/16/2007 | A bit sloppy | PCF and LCF |

03/02/2007 | My reading of that article is that... | Non-Applicative Functional Languages |

02/20/2007 | One Word: monad | Effects in Types |

02/21/2007 | Linear types | Effects in Types |

02/20/2007 | More than just a sanity check | Dimensional analysis typing |

02/21/2007 | I qualified what I said slightly | Dimensional analysis typing |

02/06/2007 | Dual property | Termination Checking with Types |

01/23/2007 | I had this thought just the other day... | Total Functional Programming |

01/24/2007 | I hope you caught that BBC story... | Total Functional Programming |

01/25/2007 | The contract of the caller | Total Functional Programming |

01/25/2007 | Two issues | Total Functional Programming |

01/21/2007 | 'Applicative' programming? | Have I Missed Something ? |

03/02/2007 | Number mod X | Why people don't use functional programming? |

02/27/2007 | Not enough information | Why people don't use functional programming? |

01/04/2007 | What you ask is closely related to a problem... | Can referential transparency be bad? (puzzle included) |

05/12/2007 | Great! | Can referential transparency be bad? (puzzle included) |

01/04/2007 | I think a good place to look... | Derivatives and dissections of data types |

01/04/2007 | Pushing things a bit further... | Derivatives and dissections of data types |

01/24/2008 | Take a list and make a hole in it | Derivatives and dissections of data types |

01/24/2008 | There's no problem with limits... | Derivatives and dissections of data types |

01/30/2008 | McBride uses mu | Derivatives and dissections of data types |

01/05/2007 | Cardinal /= Ordinal | Why numbering should start at 0 |

01/03/2007 | How can we tell? | (Even more) theorems for free? |

01/03/2007 | You have me intrigued | (Even more) theorems for free? |

01/03/2007 | Yes...but that's a different logic... | (Even more) theorems for free? |

01/03/2007 | So all we need now... | (Even more) theorems for free? |

12/21/2006 | The drive to brevity... | The Role of Composition in Computer Programming |

12/21/2006 | Maybe you've answered me but not the way you think | The Role of Composition in Computer Programming |

01/02/2007 | Mathematicians only mildly truly overload symbols | The Role of Composition in Computer Programming |

12/26/2006 | Use loeb | Programming (language) puzzles |

12/01/2006 | Unwieldy | SK Calculus not Consider SeKsy? |

12/01/2006 | Related to that book | SK Calculus not Consider SeKsy? |

12/01/2006 | what extensions beyond the base | SK Calculus not Consider SeKsy? |

12/01/2006 | I think #4 is true | SK Calculus not Consider SeKsy? |

11/27/2006 | A fixed point | Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." |

11/17/2006 | Abstractly typed languages | Abstractly typed languages |

10/31/2006 | Unpacking declarations | Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! |

11/09/2006 | Barrier to entry is lower than people think | Want to learn something new |

11/06/2006 | Why I recommend Haskell | Want to learn something new |

10/13/2006 | Oh I miss my 3270 terminal... | The US Torture Bill as C code |

09/19/2006 | Language is almost irrelevant | Why Johnny can't code |

09/19/2006 | Did some googling to find out more | Why Johnny can't code |

09/01/2006 | How often do you see recursive inheritance? | Implementing arrays |

08/28/2006 | What a bizarre statement! | unchecked exceptions are like runtime type checking? |

08/09/2006 | I found this paper a great way to... | Comonadic Functional Attribute Evaluation |

07/28/2006 | Parametricity Theorem | Generics as a Library |

07/05/2006 | False | DSLs and operator associativity/precedence |

06/29/2006 | He did figure out how to make holes in... | Gottfried Wilhelm Leibniz |

06/29/2006 | It's in the paper I link to | Gottfried Wilhelm Leibniz |

06/22/2006 | Graphics | Petition for adding garbage collection to C++. |

06/21/2006 | Shorter!=Faster to Develop | What are the real benefits of FP? |

06/22/2006 | Yes and no | What are the real benefits of FP? |

06/23/2006 | You seem to have shifted the domain of discourse | What are the real benefits of FP? |

06/21/2006 | Global variables | What are the real benefits of FP? |

06/22/2006 | but how they are used | What are the real benefits of FP? |

06/16/2006 | I'm doing something very similar | Dataflow programming for PIC microcontrollers |

06/18/2006 | Connect the ADC to a "weighted average of last N values" block | Dataflow programming for PIC microcontrollers |

06/13/2006 | Less productive? | Church-Turning is False? |

06/11/2006 | Guess the syntax | Inform 7: A relational DSL for interactive fiction with natural language syntax |

05/09/2006 | J is great but... | MathLang |

05/01/2006 | You are about to begin... | This Is the Title of This Story, Which Is Also Found Several Times in the Story Itself |

05/02/2006 | There is no future in natural language programming. | What do you believe about Programming Languages (that you can't prove (yet))? |

08/22/2006 | But the APL operation... | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |

04/03/2006 | No... | Purity in PLT |

04/03/2006 | It kind of makes sense... | foldl and foldr |

04/03/2006 | it would be non-standard notation. | foldl and foldr |

04/03/2006 | ∞ is a synonym for N | foldl and foldr |

04/03/2006 | What is the problem with = ∞ ? | foldl and foldr |

04/03/2006 | I'm suggesting that... | foldl and foldr |

04/03/2006 | Are we talking at cross purposes | foldl and foldr |

04/03/2006 | Or... | foldl and foldr |

04/01/2006 | I'm wondering if someone has figured out... | PHP 6 picks up GOTO and COMEFROM |

03/21/2006 | Copy-and-paste programming | Programming: 50, 100 years from now |

03/22/2006 | Code duplication is an intermediate step... | Programming: 50, 100 years from now |

02/27/2006 | When you've read both of those papers... | McBride Derivative paper |

02/28/2006 | McBride Derivative paper | McBride Derivative paper |

02/16/2006 | Does ^infix^ notation in C++ count? | Accidental Syntax |

02/18/2006 | Never understood why that has a special name | Accidental Syntax |

02/13/2006 | A related method is... | Interval Computations |

02/14/2006 | Different applications | Interval Computations |

02/14/2006 | Yes, it's much the same thing | Interval Computations |

02/13/2006 | Same thing | Interval Computations |

02/15/2006 | You've shown why interval arithmetic... | Interval Computations |

02/16/2006 | A general comment on PLs and interval arithmetic | Interval Computations |

02/13/2006 | Can these be related in any useful way to error intervals? | Interval Datatype |

02/10/2006 | I don't think it's bad PR | Is STL algorithms doing damage to the cause? |

02/10/2006 | Simple solution | Is STL algorithms doing damage to the cause? |

02/10/2006 | Thanks, that makes perfect sense. | Is STL algorithms doing damage to the cause? |

02/10/2006 | The goal here is to solve difficult problems. | Is STL algorithms doing damage to the cause? |

02/02/2006 | It's not just for Maybes | What is a monad, why should I use it, and when is it appropriate? |

01/30/2006 | define a set as a function that returns a Boolean | Lambda the Ultimate Set Comprehension |

01/30/2006 | I'm not asking for a construction of individual... | Lambda the Ultimate Set Comprehension |

01/31/2006 | Well the claim is that a set can be identified... | Lambda the Ultimate Set Comprehension |

01/31/2006 | I think we can now answer the OP's question | Lambda the Ultimate Set Comprehension |

02/07/2006 | Cat vs Set | Lambda the Ultimate Set Comprehension |

02/08/2006 | My side | Lambda the Ultimate Set Comprehension |

01/31/2006 | Recursive closure? | Lambda the Ultimate Set Comprehension |

01/31/2006 | Yes, of course | Lambda the Ultimate Set Comprehension |

02/01/2006 | Why is everyone avoiding the issue? | Lambda the Ultimate Set Comprehension |

02/01/2006 | Apparently, it's not so easy | Lambda the Ultimate Set Comprehension |

02/01/2006 | That won't do at all | Lambda the Ultimate Set Comprehension |

01/31/2006 | We could try taking baby steps... | Lambda the Ultimate Set Comprehension |

01/31/2006 | Mathematicians don't care? | Lambda the Ultimate Set Comprehension |

02/03/2006 | Equality is a problem? | Lambda the Ultimate Set Comprehension |

01/23/2006 | Counterexample | What is a Proposition? |

01/13/2006 | Why be tied to a definition? | What is considered source code? |

12/14/2005 | Could this be adapted to find isomorphisms... | Djinn, a theorem prover in Haskell, for Haskell. |

12/14/2005 | The main result isn't that deep | Djinn, a theorem prover in Haskell, for Haskell. |

12/05/2005 | As a programmer... | The breaking point of language usability? |

09/23/2005 | 'Intuitive' is a stick... | What is Intuitive? |

08/10/2005 | ...a field/idea originating from Gregory Chaitin... | Expressivity |

07/29/2005 | What support do you need? | Language support for generating functions? |

07/29/2005 | Reading most of generatingfunctionology... | Language support for generating functions? |

06/22/2005 | You took the words out of my mouth! | Why recursing is better than looping |

06/22/2005 | Why recursing is better than looping | Why recursing is better than looping |

06/22/2005 | where you won't find iteration at all | Why recursing is better than looping |

06/22/2005 | See my comments on the Tower of Hanoi. | Why recursing is better than looping |

06/23/2005 | This isn't really addressing my point... | Why recursing is better than looping |

05/26/2005 | An informal explanation... | Differentiating Data Structures |

05/26/2005 | You can already see what happens... | Competitive Collaborative Specification of GUI Applications through User Test Cases and Merit-Based Conflict Resolution |

05/17/2005 | Cyc was the baby of Doug Lenat | Cyc Knowledge Server |

04/22/2005 | I'm interested in something similar | Why do they program in C++? |

05/12/2005 | What's different about a Scheme chip? | Why do they program in C++? |

04/21/2005 | Minor matter | Computer generates verifiable mathematics proof |

04/22/2005 | What mathematicians really do is different | Computer generates verifiable mathematics proof |

04/22/2005 | More shortcut than assumption | Computer generates verifiable mathematics proof |

04/22/2005 | It's a little behind the leading edge... | Computer generates verifiable mathematics proof |

04/25/2005 | Structure and Interpretation... | Computer generates verifiable mathematics proof |

04/25/2005 | Interesting claim | Computer generates verifiable mathematics proof |

04/26/2005 | Perhaps they should care... | Computer generates verifiable mathematics proof |

04/18/2005 | I'm more amazed by the unreasonable... | On the Unusual Effectiveness of Logic in Computer Science |

04/18/2005 | And I disagree too! | On the Unusual Effectiveness of Logic in Computer Science |

04/20/2005 | Exactly what did we gain? | On the Unusual Effectiveness of Logic in Computer Science |

02/25/2005 | Tip | Journals and papers? |

01/04/2005 | OT, but you were discussing concurrency with whom? | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |

12/22/2004 | I always thought Chinese was a bit like Forth... | the Chinese natual language |

12/15/2004 | Most thanked company: IBM | Killer Props for Computer Scientist! |

02/01/2006 | Because... | Misspelling. |

02/18/2005 | Linear computer programs | Call-by-what? |

01/08/2009 | groups have nothing to do with the integers | Explaining monads |

12/18/2004 | Actual implementation of the above | Understanding continuations |

LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |