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 |