8,744 reputation
53678
bio website
location
age
visits member for 3 years, 3 months
seen 33 mins ago

0x2B | ~0x2B


1d
comment Can 'Agile' be applied to Healthcare IT teams?
"Customer satisfaction by rapid delivery of useful software.": Rapid delivery? When you are producing some mission-critical software like e.g. a biopsy software you care more about correctness than rapid delivery. And you cannot wait for the customer's feedback to correct certain problems, like "Hey, we took a few biopsies from the wrong body position, the customer is not satisfied, let's go fix it during the next sprint."
1d
comment Dynamic vs Statically typed languages for websites
@pllee: Sometimes it is not directly type-checking logic, but the tests check some behaviour that a static type system would have enforced anyway.
1d
comment Dynamic vs Statically typed languages for websites
"Compilers test some things at compile time: try to store a string in an int variable and it will likely bark at you. In dynamic languages, a lot of the testing occurs at runtime.": True, when using a dynamic language I happen to write lots of tests that replace type checking. Using a static language I can have my tests focus more on the business logic.
2d
reviewed Leave Open How to name nested function?
Sep
28
reviewed Leave Open Why is type inference useful?
Sep
28
reviewed Close How do you read other's code?
Sep
28
comment Is a tree with nodes that have reference to parent still a tree?
@Mohsen: You can also define a tree as a graph with a distinct root node such that there exists a unique path from the root to any other node. Clearly, there are acyclic graphs that do not fulfill this definition.
Sep
24
awarded  Autobiographer
Sep
24
accepted Lambda expressions with no parameters in Haskell and / or lambda calculus
Sep
24
comment Lambda expressions with no parameters in Haskell and / or lambda calculus
@amon: So a nullary function only makes sense in a language like Scheme in which you can explicitly trigger evaluation and in which functions (procedures) can be useful both for their value and for their side-effects.
Sep
24
comment Lambda expressions with no parameters in Haskell and / or lambda calculus
@KChaloux: I would look it as an IO value: an action that, when it gets executed, reads a line from standard input.
Sep
23
comment Lambda expressions with no parameters in Haskell and / or lambda calculus
@KChaloux: So summarizing: (1) Haskell always needs parameters, possibly in the form of patterns (probably not present in lambda-calculus), and (2) Scheme and Python allow empty parameter list for lazy evaluation (also not present in lambda-calculus).
Sep
23
comment Lambda expressions with no parameters in Haskell and / or lambda calculus
"Such a function is not very useful in Haskell, because by default terms are lazily evaluated anyway, as you observed in your question.": Not only that: I need to provide an argument, which I do not need to do e.g. in Scheme.
Sep
23
comment Lambda expressions with no parameters in Haskell and / or lambda calculus
So I imagine this pattern-matching mechanism is a Haskell feature which is not present in lambda-calculus (?)
Sep
23
asked Lambda expressions with no parameters in Haskell and / or lambda calculus
Sep
23
reviewed Leave Open What Is λ-calculus essentially?
Sep
23
comment What is a closure?
@RainDoctor: Free variables are defined in logic formulae and in lambda calculus expressions in a similar way: the lambda in a lambda expression works like a quantifier in logic formulae wrt free / bound variables.
Sep
22
comment What makes C developers so curious if “i++ == ++i”?
It is an interesting theory but maybe it is not always the teachers' fault if someone did not understand the material: maybe the students were (1) not paying enough attention during class and (2) too lazy to look for an answer on stackoverflow before asking the same question again.
Sep
22
comment Actor library / framework for C++
This question has already a discussion on meta, and an accepted answer. But it has been later been closed and recently got an (unexplained) downvote. I would like to delete this question but the system advises me not to do so. What am I supposed to do?
Sep
20
comment Misconceptions about purely functional languages?
@Aidan Cully: I think you confuse the evaluation of functions that return an IO value (an action) with the evaluation of actions themselves. Functions that return an IO value are always pure in Haskell, i.e. they always return the same action given the same argument. On the other hand, the effect of evaluating the resulting actions may depend on the environment.