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 |