On Sat, 7 Jul 2012, Paul Visschers m...@paulvisschers.net wrote:
Hello,
I've been out of the Haskell game for a bit, but now I'm back. A couple of
years ago I made a small library that implements relational algebra with
types so that malformed queries and other operations are caught at
On Tue, 10 Jul 2012, o...@okmij.org wrote:
And yes to first order predicate calculus too!
Just two weeks ago Chung-chieh Shan and I were explaining at NASSLLI
the embedding in Haskell of the higher-order predicate logic with two
base types (so-called Ty2). The embedding supports type-safe
On Wed, 18 Jul 2012, Jay Sulzberger wrote:
On Tue, 10 Jul 2012, o...@okmij.org wrote:
And yes to first order predicate calculus too!
Just two weeks ago Chung-chieh Shan and I were explaining at NASSLLI
the embedding in Haskell of the higher-order predicate logic with two
base types
On Sat, 28 Jul 2012, damodar kulkarni kdamodar2...@gmail.com wrote:
So a language is referentially transparent if replacing a sub-term with
another with the same denotation doesn't change the overall meaning?
But then isn't any language RT with a sufficiently cunning denotational
semantics?
On Sat, 4 Aug 2012, Vasili I. Galchin vigalc...@gmail.com wrote:
Hello Haskell Group,
I work in mainstream software industry.
I am going to make an assumption except for Jane Street
Capital all/most Wall Street software is written in an imperative
language.
Assuming this why
is it the case that
something called _|_ is an object of the type?
oo--JS.
On Sat, Aug 4, 2012 at 12:46 PM, Jay Sulzberger j...@panix.com wrote:
On Sat, 4 Aug 2012, Vasili I. Galchin vigalc...@gmail.com wrote:
Hello Haskell Group,
I work in mainstream software industry.
I am going to make
equivalent?
oo--JS.
On Sat, Aug 4, 2012 at 1:47 PM, Jay Sulzberger j...@panix.com wrote:
On Sat, 4 Aug 2012, Jake McArthur jake.mcart...@gmail.com wrote:
I feel like this thread is kind of surreal. Knight Capital's mistake
was to use imperative programming styles? An entire industry
--JS.
On Sat, Aug 4, 2012 at 2:04 PM, Jay Sulzberger j...@panix.com wrote:
On Sat, 4 Aug 2012, Clark Gaebel cgae...@uwaterloo.ca wrote:
Yes.
Thank you!
Further, if you want:
Let us have two types s and t. Let _|_^s be the_|_ for type s,
and let _|_^t be the _|_ for type t
On Wed, 8 Aug 2012, Ertugrul S??ylemez e...@ertes.de wrote:
Patrick Browne patrick.bro...@dit.ie wrote:
Gast [1] describes a 3 level hierarchy of Haskell objects using
elementOf from set theory:
value?? *elementOf*?? type?? *elementOf*?? class
This hierarchy is pretty arbitrary and
On Thu, 9 Aug 2012, Patrick Browne patrick.bro...@dit.ie wrote:
On 09/08/12, Jay Sulzberger j...@panix.com wrote:
Here we are close to the distinction between a class of objects
which satisfy a condition vs objects with added structure,
for
which see:
? http
On Mon, 13 Aug 2012, Johan Holmquist holmi...@gmail.com wrote:
That pattern looks so familiar. :) Existential types seem to fit in to the
type system really well so I never got why it is not part of the standard.
On Aug 12, 2012 10:36 AM, Daniel Trstenjak daniel.trsten...@gmail.com
wrote:
On Thu, 9 Aug 2012, wren ng thornton w...@freegeek.org wrote:
On 8/8/12 9:41 PM, Jay Sulzberger wrote:
Haskell's type classes look to me to be a provision for declaring
a signature in the sense of the above article.
Just to clarify this in the context of my previous post, type classes
On Mon, 13 Aug 2012, Ryan Ingram ryani.s...@gmail.com wrote:
On Mon, Aug 13, 2012 at 12:30 PM, Jay Sulzberger j...@panix.com wrote:
Does Haskell have a word for existential type declaration? I
have the impression, and this must be wrong, that forall does
double duty, that is, it declares
On Mon, 13 Aug 2012, Alexander Solla alex.so...@gmail.com wrote:
On Mon, Aug 13, 2012 at 6:25 PM, Jay Sulzberger j...@panix.com wrote:
On Mon, 13 Aug 2012, Ryan Ingram ryani.s...@gmail.com wrote:
On Mon, Aug 13, 2012 at 12:30 PM, Jay Sulzberger j...@panix.com wrote:
Does Haskell have
On Wed, 15 Aug 2012, wren ng thornton w...@freegeek.org wrote:
On 8/13/12 5:42 PM, Jay Sulzberger wrote:
One difficulty which must impede many who study this stuff is
that just getting off the ground seems to require a large number
of definitions of objects of logically different kinds
and the matter feels solid.
That is, the authors and I know some of the same kennings.
Thanks Lispers! Thanks Haskellers!
oo--JS.
On Thu, 16 Aug 2012, Jay Sulzberger wrote:
On Wed, 15 Aug 2012, wren ng thornton w...@freegeek.org wrote:
On 8/13/12 5:42 PM, Jay Sulzberger wrote:
One difficulty which
On Mon, 20 Aug 2012, Francesco Mazzoli f...@mazzo.li wrote:
Hi list(s),
I've been hooked on Haskell for a while now (some of you might know me as
bitonic on #haskell), and I find myself to decide on a project for my masters
thesis.
Inspired by the David Terei's master thesis (he wrote the
On Sat, 25 Aug 2012, Kristopher Micinski krismicin...@gmail.com wrote:
On Thu, Aug 23, 2012 at 12:23 PM, Ramana Kumar
ramana.ku...@cl.cam.ac.uk wrote:
Dear Haskell Cafe
I'm looking for information on past and current attempts to write semantics
for Haskell.
Features I'm particularly
On Sat, 25 Aug 2012, Kristopher Micinski krismicin...@gmail.com wrote:
I do not know Haskell. It looks to me as though there are
several pieces of the mechanism:
1. There is, once the extensions are specified, a particular Type
System, that is, a formal system with, on the syntactic side,
On Sat, 25 Aug 2012, Kristopher Micinski krismicin...@gmail.com wrote:
On Sat, Aug 25, 2012 at 3:38 PM, Jay Sulzberger j...@panix.com wrote:
This is good. I will look at the references given in this
thread. The account at
http://web.archive.org/web/20060206074101/http://www.cse.ogi.edu
On Thu, 30 Aug 2012, Alexander Kjeldaas alexander.kjeld...@gmail.com wrote:
This is very unfortunate, but this is crucially a tooling issue. I am
going to wave my hands, but..
Ignore the mapreduce in the following video, but look at the use of clang
to do automatic refactoring of C++. This
functional programming. The Cut Over would be done with
a Big Haskell Program that would test/re-write/test etc. until
every line of code was updated and a database of interactions
produced and made available in convenient form.
oo--JS.
On 30 August 2012 22:26, Jay Sulzberger j...@panix.com wrote
On Tue, 4 Sep 2012, Alexander Solla alex.so...@gmail.com wrote:
On Tue, Sep 4, 2012 at 4:21 PM, Alexander Solla alex.so...@gmail.comwrote:
On Tue, Sep 4, 2012 at 3:39 AM, Alberto G. Corona agocor...@gmail.comwrote:
Monads are monoids in the category of endofunctors
This Monoid instance
On Thu, 20 Sep 2012, o...@okmij.org wrote:
Dan Doel wrote:
P.S. It is actually possible to write zip function using Boehm-Berarducci
encoding:
http://okmij.org/ftp/Algorithms.html#zip-folds
If you do, you might want to consider not using the above method, as I
seem to recall it
On Thu, 20 Sep 2012, Jay Sulzberger wrote:
On Thu, 20 Sep 2012, o...@okmij.org wrote:
Dan Doel wrote:
P.S. It is actually possible to write zip function using
Boehm-Berarducci
encoding:
http://okmij.org/ftp/Algorithms.html#zip-folds
If you do, you might want to consider
[Note that original post was on the Haskell list, and not the
Haskell-cafe list.]
On Tue, 25 Sep 2012, Andrew Farmer afar...@ittc.ku.edu wrote:
A new version of HERMIT (0.1.2.0) that is compatible with GHC 7.6 is now
available on hackage. This release has essentially the same functionality
as
over food and drink
at a nearby establishment.
/blockquote
Distributed poC TINC:
Jay Sulzberger secret...@lxny.org
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org
___
Haskell-Cafe mailing list
Haskell
On Fri, 16 Nov 2012, Carter Schonwald carter.schonw...@gmail.com wrote:
how would ghc-core enable targetting core for Agda?
On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel andreas.a...@ifi.lmu.dewrote:
Excellent!
With ghc-core being maintained again, we can start thinking about
compiling
On Fri, 16 Nov 2012, Brent Yorgey byor...@seas.upenn.edu wrote:
On Fri, Nov 16, 2012 at 03:25:35PM -0500, Jay Sulzberger wrote:
On Fri, 16 Nov 2012, Carter Schonwald carter.schonw...@gmail.com wrote:
how would ghc-core enable targetting core for Agda?
On Wed, Nov 14, 2012 at 6:32 PM
On Tue, 18 Dec 2012, Christopher Howard wrote:
On 12/17/2012 06:30 PM, Richard O'Keefe wrote:
On 18/12/2012, at 3:45 PM, Christopher Howard wrote:
It's basically the very old idea that an Abstract Data Type
should be a nice algebra: things that look as though they
ought to fit together
On Thu, 20 Dec 2012, Oleksandr Manzyuk manz...@gmail.com wrote:
the category of Haskell types and Haskell functions[1]
[1] Note that this may not actually work out to be a category, but the basic
idea is sound.
I would be curious to see this example carefully worked out. I often
hear that
On Thu, 20 Dec 2012, Christopher Howard christopher.how...@frigidcode.com
wrote:
I've perhaps been trying everyones patiences with my noobish CT
questions, but if you'll bear with me a little longer: I happened to
notice that there is in fact a Category class in Haskell base, in
On Thu, 20 Dec 2012, Christopher Howard christopher.how...@frigidcode.com
wrote:
On 12/20/2012 03:59 AM, wren ng thornton wrote:
On 12/20/12 6:42 AM, Christopher Howard wrote:
As mentioned in my other email (just posted) the kind mismatch is
because categories are actually monoid-oids[1]
On Thu, 20 Dec 2012, Gershom Bazerman gersh...@gmail.com wrote:
On 12/20/12 10:05 PM, Jay Sulzberger wrote:
What does the code for going backwards looks like? That is,
suppose we have an instance of Category with only one object.
What is the Haskell code for the function which takes
On Fri, 21 Dec 2012, Chris Smith cdsm...@gmail.com wrote:
It would definitely be nice to be able to work with a partial Category
class, where for example the objects could be constrained to belong to a
class. One could then restrict a Category to a type level representation
of the natural
On Sun, 30 Dec 2012, Daniel D??az Casanueva dhelta.d...@gmail.com wrote:
Hello, Haskell Cafe folks.
My programming life (which has started about 3-4 years ago) has always been
in the functional paradigm. Eventually, I had to program in Pascal and
Prolog for my University (where I learned
On Mon, 31 Dec 2012, MigMit miguelim...@yandex.ru wrote:
Well, functional programmer is a relatively broad term. If
you're coming from academia, so that for you Haskell is some
sort of lambda-calculus, spoiled by practical aspects, then I'd
suggest Luca Cardelli's book Theory of Objects.
This page looks to be a good introduction to CLOS:
http://www.gigamonkeys.com/book/object-reorientation-generic-functions.html
oo--JS.
On Sun, 30 Dec 2012, Jay Sulzberger wrote:
On Mon, 31 Dec 2012, MigMit miguelim...@yandex.ru wrote:
Well, functional programmer is a relatively broad
38 matches
Mail list logo
