I recently completed a university course which featured Haskell and Agda (a dependent typed functional programming language), and was wondering if it was possible to replace lambda calculus in these with combinatory logic. With Haskell this seems possible using the S and K combinators, thus making i...

This question comes up after reading a comment in this question: 5 Answers 5 ...

I am looking for a clear definition of what a "tokenizer", "parser" and "lexer" are and how they are related to each other (e.g., does a parser use a tokenizer or vice versa)? I need to create a program will go through c/h source files to extract data declaration and definitions. ...

What are detached, persistent and transient objects in hibernate? Please explain with an example. 5 Answers ...

... Active Oldest Votes ...

Is there an explain function for the Aggregation framework in MongoDB? I can't see it in the documentation. 3 Answers ...

I'm surprised at how it is possible to continue execution even after a StackOverflowError has occurred in Java. 5 Answers...

Let's assume that some developer in my team shelved his changes that he did in branch A. And I am working on branch B. Can I unshelve his changes into branch B? (By GUI or command prompt) ...

I have migrated a solution that is currently targeting .NET 4.0 in VS2010 to VS2012 and now I would like to re-target it to .Net 4.5 ...

... as the server. As I know, the node.js file should start working by typing commands in terminal, so I'm not sure if Github Pages supports node.js-hosting. So what should I do? ...