Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with haskell
Search options not deleted
user 79013
Haskell is a functional programming language featuring strong static typing, lazy evaluation, extensive parallelism and concurrency support, and unique abstraction capabilities.
0
votes
1
answer
113
views
Understanding arguments in Haskell type classes and instances
I am trying to understand a Haskell class declaration and instance from a paper. …
- 339
1
vote
1
answer
319
views
Haskell type class and initial algebra
For the example below, I am trying to understand how Haskell type classes, type class instances, and data types relate to the concept of initial algebra. … There are two Haskell data types sharing a pair of operations for equality and addition. …
- 339
4
votes
1
answer
513
views
Haskell type classes as ontological categories
A paper uses Haskell type classes to represent ontological categories.
A type class hierarchy is used to represent "concept hierarchies" where "functions are the units of inheritance". … Here is a diagram of the Haskell type classes based on the paper:
With respect to the code below the following claim is made:
The Haskell code given so far is complete and type checked, explaining
the …
- 339
1
vote
Haskell type classes as ontological categories
On the other hand the semantics of the Haskell code can be used to refute the claim. … Conclusion
Based on the Haskell code in Listing 1 we can refute the claim. Reasoning about the Haskell code there is some credibility in the claim. …
- 339
1
vote
0
answers
182
views
Does this Haskell code represent a decision procedure for a theorem?
UPDATE
I translated the Haskell code in Listing 1 to the equational specification language CafeOBJ which has a functional sub-language roughly equivalent to Haskell (at least wrt to this case). … or that the Haskell program represents a search algorithm related to the theorems? …
- 339
0
votes
1
answer
303
views
Can this set of propositions be represented and proved in Haskell?
I attempted to transform the propositions into Haskell equations. … I then translated those propositions into Haskell conditional equations.
Is the Haskell representation a reasonable transformation? …
- 339
5
votes
1
answer
201
views
Can the semantics of a numeric hierarchy be faithfully represented in Haskell?
Below is my attempt at relating the math and Haskell semantics. … I am not intentionally seeking to impose Object Oriented class semantic on Haskell. …
- 339
3
votes
1
answer
275
views
Relating a proof to a Haskell program
Below is a inductive proof of the theorem and the related Haskell program. … I can see that cases 1 and 2 in the proof correspond to the guard conditions in the Haskell definition of isqrt function. …
- 339