* Alexander Solla [2011-12-19 19:10:32-0800]
> * Documentation that discourages thinking about bottom as a 'value'. It's
> not a value, and that is what defines it.
In denotational semantics, every well-formed term in the language must
have a value. So, what is a value of "fix id"?
--
Roman I.
(Apologies for duplicates)
*** TAP 2012 offers extended submission deadlines due to ***
*** numerous requests received: ***
*** Abstract submission: January 11, 2012***
*** Pa
On Mon, Dec 19, 2011 at 6:37 PM, wren ng thornton wrote:
> On 12/14/11 10:58 PM, Gregory Crosswhite wrote:
>>
>> Of course, this is not a simple change at all because it would have to
>> be done in such a way as to respect the ordering of actions --- that
>> is, we can't have each action executed
On Mon, Dec 19, 2011 at 11:20 AM, Robert Clausecker wrote:
> Image you would create your own language with a paradigm similar to
> Haskell or have to chance to change Haskell without the need to keep any
> compatibility. What stuff would you add to your language, what stuff
> would you remove and
On 12/15/11 8:26 AM, Gregory Crosswhite wrote:
Put another way, the problem with Maybe computations is that if there
is a failure at any point in the computation than *the entire
computation fails*, and this means that you can't lazily generate a
list of results using some/many because you can't
On 12/14/11 10:58 PM, Gregory Crosswhite wrote:
Of course, this is not a simple change at all because it would have to
be done in such a way as to respect the ordering of actions --- that
is, we can't have each action executed only when the corresponding
element of the list demanded is forced, or
On 12/14/11 9:52 PM, Brandon Allbery wrote:
That's kinda where I am right now; I'm being told simultaneously that (a)
it makes sense to have Applicative and Alternative for Maybe, and (b) it
doesn't make sense to have many and some for Maybe, and (c) if you have
Applicative and Alternative then m
On 12/13/11 10:52 AM, Johan Brinch wrote:
Hey all,
Can GHC eliminate one of two equal ByteStrings, when they are compared
and turns out to be equal?
Say i have a map, ByteString -> Int.
I now do a lookup on a ByteString and if it exists, I insert this
ByteString into a list.
Is it possible
> Haskell is a mature platform that provides lots of goodies that I might
otherwise have to write (like the goodies I wrote in Lift including an
Actors library)
I don't get it: Actors are at the core of Scala concurrency model, and are
expanded for distributed programming through Akka for instance
Howdy,
I'm trying to figure out how to get Cabal configured to compile and link my
Haskell code such that the code can be part of C and/or Objective-C code
such that all the Haskell dependencies are rolled into a .a file and can be
linked by a normal C linker (e.g., ld).
I've been through
http://
On Mon, Dec 19, 2011 at 2:04 AM, Ivan Perez wrote:
> I'm actually trying to make a list of companies and people using Haskell
> for for-profit real world software development.
>
> I'd like to know the names of those startups, if possible.
>
I am building http://visi.pro on Haskell. I am doing it
On Dec 20, 2011, at 5:20 AM, Robert Clausecker wrote:
> What stuff would you add to your language
Gratuitous use of parentheses.
Cheers,
Greg___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
After eight years I'm still discovering why various decisions made in
Haskell are right.
On Mon, Dec 19, 2011 at 11:20 AM, Robert Clausecker wrote:
> Image you would create your own language with a paradigm similar to
> Haskell or have to chance to change Haskell without the need to keep any
> co
A mascot :)
On Mon, Dec 19, 2011 at 8:20 PM, Robert Clausecker wrote:
> Image you would create your own language with a paradigm similar to
> Haskell or have to chance to change Haskell without the need to keep any
> compatibility. What stuff would you add to your language, what stuff
> would yo
Image you would create your own language with a paradigm similar to
Haskell or have to chance to change Haskell without the need to keep any
compatibility. What stuff would you add to your language, what stuff
would you remove and what problems would you solve completely different?
Thanks in advan
Hi, I'm not sure it directly helps, but I had a bit of trouble getting
off the ground with Aeson too. Here's some of my code using Aeson, maybe
there will be something in here that helps you?
https://github.com/ocharles/BookBrainz/blob/master/src/BookBrainz/Search.hs
- Ollie
___
Hahaha, sweet! Had a good laugh with Henning's version. Alexey's one
isn't as funny =).
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 19.12.2011 19:29, Henning Thielemann wrote:
Shortest and most obfuscating solution I found is:
import Data.Ord (comparing)
import Control.Applicative ((<$))
compareLength :: [a] -> [a] -> Ordering
compareLength = comparing (()<$)
comparingLength = comparing void
It's two character short
Hi
I'm trying to parse a nested structure using Aeson (from Facebook)
It looks something like this:
{ "education": [
{
"school": {
"name": "A"
},
},
{
"concentration": [
{
"name": "B"
Shortest and most obfuscating solution I found is:
import Data.Ord (comparing)
import Control.Applicative ((<$))
compareLength :: [a] -> [a] -> Ordering
compareLength = comparing (()<$)
:-)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
htt
> What you have posted here is essentially a job offer.
Actually I did not intended it to be so. It's too vague and I've other
things to do currently.
But actually I knew that when I'm ready to concretize something, then
*here*would be of course the place I'd look for interested (and
interesting ;
At Silk [1] we use Haskell for the backend of our web application. The
frontend is Javascript with some functional aspects, and we have a
shallow ruby layer as a website (but not for the actual application).
Erik
[1] http://www.silkapp.com
On Mon, Dec 19, 2011 at 11:04, Ivan Perez wrote:
> I'm
I'm actually trying to make a list of companies and people using Haskell
for for-profit real world software development.
I'd like to know the names of those startups, if possible.
-- Ivan
On 18 December 2011 18:42, Michael Snoyman wrote:
> On Sun, Dec 18, 2011 at 6:57 PM, Gracjan Polak wrote:
Yves Parès gmail.com> writes:
>
>
> Bryan O' Sullivans's company and Scrive may not be relevant examples, as they
employ respectively people like, well... ^^ Bryan O'Sullivan and Magnus Carlsson
(the Haskeller, not the singer).So you can expect such people to do wonders.
You are what you creat
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
http://www.program-transformation.org/PEPM12
January 23-24, 2012. Philadelphia, PA, USA (co-located with POPL'12)
Second Call For Participation
Online registration is open at
https://regmaster3.com/2012conf
25 matches
Mail list logo
