Hi
GHC doesn't bundle with cabal-install on any system.
What is needed is not for the GHC team to be doing Windows platform
packages, but for the Windows Haskell devs to build their own system, as
happens on all the Unices.
Take GHC's release, wrap it up with native installers, throw in
On Mon, Feb 2, 2009 at 10:04 PM, Don Stewart d...@galois.com wrote:
pocmatos:
Hi all,
Much is talked that Haskell, since it is purely functional is easier
to be verified. However, most of the research I have seen in software
verification (either through model checking or theorem proving)
On Tue, Feb 3, 2009 at 12:28 AM, Don Stewart d...@galois.com wrote:
dbueno:
On Mon, Feb 2, 2009 at 15:04, Don Stewart d...@galois.com wrote:
pocmatos:
Hi all,
Much is talked that Haskell, since it is purely functional is easier
to be verified. However, most of the research I have
On Mon, 02 Feb 2009 23:43:26 +0100, Henk-Jan van Tuyl
hjgt...@chello.nl wrote:
On Sun, 01 Feb 2009 20:19:18 +0100, Bulat Ziganshin
bulat.zigans...@gmail.com wrote:
Hello haskell-cafe,
pure functional denotation for crisis:
(_|_)
Well, some experts say, the crisis has reached it's bottom.
John A. De Goes wrote:
The size, color, and layout of widgets has no effect on interaction
semantics and is best pushed elsewhere, into a designer-friendly realm
such as CSS.
Yes, layout can be separated from interaction.
It's just that I don't consider CSS friendly at all, I'd say it's a
Hi John,
thank you for your feedback:
I've taken the time to rewrite the example (issue1) using the python
logging system. I came up with:
import logging
logging.basicConfig(level=logging.DEBUG,
format='%(asctime)s %(levelname)s %(message)s',
You know, I read the Fudgets thesis, and threw together an experiment which
used Glade for layout and Haskell for semantics [1]. As somebody else
noted, this isn't really a clean division, because of things like editable
flags in the layout. The darcs repository has a couple of demo
Presumably the template-haskell-2.3 package does not build with ghc-6.8
but fails to correctly specify the version of base or ghc that it
requires. If it did then we would have a better chance to get this
right.
Yes, this is certainly an issue in general with template-haskell-2.3. How do
we
Excerpts from Paulo J. Matos's message of Tue Feb 03 02:31:00 -0600 2009:
Any references to publications related to this?
While it's not Haskell, this code may be of interest to you:
http://pauillac.inria.fr/~xleroy/bibrefs/Leroy-compcert-06.html
This paper is about the development of a
On Mon, Feb 02, 2009 at 10:41:57PM -0500, wren ng thornton wrote:
Marc Weber wrote:
Should there be two versions?
hslogger-bytestring and hslogger-string?
I'd just stick with one (with a module for hiding the conversions, as
desired). Duplicating the code introduces too much room for
Don Stewart wrote:
ganesh.sittampalam:
Don Stewart wrote:
So, wind...@haskell.org anyone? Get the wiki going, get the set of
tasks created.
Isn't the Haskell Platform going to do all this? Shouldn't
interested people just help out there?
The platform is a set of blessed libraries
On Tue, 2009-02-03 at 10:38 +0100, Sean Leather wrote:
Presumably the template-haskell-2.3 package does not build
with ghc-6.8
but fails to correctly specify the version of base or ghc that
it
requires. If it did then we would have a better chance to
Excerpts from Austin Seipp's message of Tue Feb 03 03:40:47 -0600 2009:
...
After noticing that I didn't give a link to the code in the last
message, I searched and found this more up to date page I think:
http://compcert.inria.fr/doc/index.html
Austin
On Mon, Feb 2, 2009 at 10:43 AM, Lee Pike leep...@gmail.com wrote:
I'm interested to hear if anyone out there has used Haskell (or other
functional languages for that matter) to build simulators for real-time
systems.
This is probably not exactly what you are thinking of, but there is
OmegaGB,
On Mon, Feb 2, 2009 at 3:27 PM, David Menendez d...@zednenem.com wrote:
Does that help at all?
I think it does. But ... it gives me crazy ideas. Like: a functor is a
kind of magic non-computing function! That's why they didn't call it a
function? We know it maps A to FA, but we don't
Marc Weber wrote:
Following the advice on the hslogger wiki
(http://software.complete.org/software/wiki/hslogger)
I'm posting my thoughts about hslogger here:
Hi Marc,
Thanks for posting this.
Let's start with a big-picture architecture overview. What need does
hslogger anticipate meeting?
Marc Weber wrote:
I've written some patches increasing speed by 30%. See the benchmark.
Hi Marc,
Patches are always great to see! Where is this benchmark?
Can you separate out your speed changes (which I take it have no impact
on functionality or API) from your other changes? I am not
Marc Weber wrote:
On Mon, Feb 02, 2009 at 10:41:57PM -0500, wren ng thornton wrote:
Marc Weber wrote:
Should there be two versions?
hslogger-bytestring and hslogger-string?
I'd just stick with one (with a module for hiding the conversions, as
desired). Duplicating the code introduces too
State of the art is translating subsets of Haskell to Isabelle, and
verifying them. Using model checkers to verify subsets, or extracting
Haskell from Agda or Coq.
Don, can you give some pointers to literature on this, if any? That
is, any documentation of a verification effort of Haskell code
Marc Weber wrote:
Hi John,
thank you for your feedback:
I've taken the time to rewrite the example (issue1) using the python
logging system. I came up with:
I think what you're noticing is the NOTSET level in Python. Python
creates new loggers with the priority NOTSET, which means it
On Mon, 2009-02-02 at 19:16 -0800, Valentyn Kamyshenko wrote:
Hi Duncan,
The major problem that I see is with
# cabal update
# cabal upgrade
sequence of operations (that is, upgrading all installed packages).
Right, that's exactly what doesn't work well and that I'm proposing to
On Tue, 2009-02-03 at 08:26 +, Neil Mitchell wrote:
Hi
GHC doesn't bundle with cabal-install on any system.
What is needed is not for the GHC team to be doing Windows platform
packages, but for the Windows Haskell devs to build their own system, as
happens on all the Unices.
First of all, thanks. I had almost judged the cafe to be unable to
discuss any UI issue except rendering backends.
Fraser Wilson blancoli...@gmail.com wrote:
You know, I read the Fudgets thesis, and threw together an experiment
which used Glade for layout and Haskell for semantics [1]. As
I've been working on adding proper Unicode support to Handle I/O in GHC,
and I finally have something that's ready for testing. I've put a patchset
here:
http://www.haskell.org/~simonmar/base-unicode.tar.gz
That is a set of patches against a GHC repo tree: unpack the tarball, and
say 'sh
On Feb 3, 2009, at 2:10 AM, Heinrich Apfelmus wrote:
It's just that I don't consider CSS friendly at all, I'd say it's a
0th
order language.
I never said, CSS, I said like CSS.
Layout combinators in the spirit of TeX or Lout are more
flexible while being simpler. In any case, a simple
Simon Marlow wrote:
I've been working on adding proper Unicode support to Handle I/O in GHC,
and I finally have something that's ready for testing. I've put a patchset
here:
Yay!
Comments below.
Comments/discussion please!
Do you expect Hugs will be able to pick up all of this?
The
On Tue, Feb 3, 2009 at 5:49 PM, John A. De Goes j...@n-brain.net wrote:
I never said, CSS, I said like CSS.
Oh, I missed the like word! What do you mean with that? What aspects of
CSS do you prefer to? In WPF a style is basically just a bunch of
attribute key/value pairs.
Layout combinators
Thanks, Bob.
On Mon, Feb 2, 2009 at 11:42 PM, Thomas Davie tom.da...@gmail.com wrote:
On 3 Feb 2009, at 08:12, Achim Schneider wrote:
John A. De Goes j...@n-brain.net wrote:
Perhaps I should have been more precise:
How do you define layout and interaction semantics in such a way
that
Hi John,
Yes, a NotSet corresponds to my new Nothing setting.
Proably you're right that adding that would have been enogh.
API changes: Probably you're talking about the introduction of those
classes? The idea was to not have to split that String over and over
again. This way I thought you could
John A. De Goes wrote:
Layout combinators in the spirit of TeX or Lout are more
flexible while being simpler. In any case, a simple primitive
grid :: [[Rect a]] - Rect a
that arranges widgets in a rectangular grid should be enough for GUIs.
Spoken like a true programmer who knows
John == John Goerzen jgoer...@complete.org writes:
latin1, utf8, utf16, utf16le, utf16be, utf32, utf32le, utf32be,
localeEncoding,
John Will there also be something to handle the UTF-16 BOM
John marker? I'm not sure what the best API for that is, since
John it may or may
Colin,
I really don't see the point of putting your own name at the
front of the subject line. It is redundant because it's already in the
email headers. Perhaps this was a technical glitch?
--
Robin
___
Haskell-Cafe mailing list
Robin == Robin Green gree...@greenrd.org writes:
Robin Colin, I really don't see the point of putting your own
Robin name at the front of the subject line. It is redundant
Robin because it's already in the email headers. Perhaps this was
Robin a technical glitch?
I guess so -
[Spin-off from the haskell-cafe discussion on functional/denotational GUI
toolkits]
I've been wondering for a while now what a well-designed alternative to CSS
could be, where well-designed would mean consistent, composable, orthogonal,
functional, based on an elegantly compelling semantic model
Similarly, I've been wondering what's at the core of a GUI? It seems
in recent years that more people have been moving towards web-based
applications, and away from traditional GUIs, so the meaning of them
may be changing. The old question seemed to be Page vs.
Control-Board, but that seems like
Isn't CSS about giving a style to the views in the model-view-controller
paradigm? So basically it is a way to change the look of a user interface,
without having to change the user interface definition itself.
But isn't this just an environment monad that has functions to convert a
model into a
On Tue, 2009-02-03 at 13:18 -0700, John A. De Goes wrote:
Nor does it need one: http://www.csszengarden.com/
Can I write one if I really, really want to?
I don't think excluding programmers from control over layout is much
better than excluding non-programmers, really.
jcc
Hi Marc,
I have pushed to my hslogger repo the optional priority for a logger
support that we talked about, which is the Haskell version of Python's
NOTSET. It is currently untested and represents only a minor API
change. Please take a look and let me know your thoughts. It adds one
new
I've been wondering for a while now what a well-designed alternative
to CSS could be, where well-designed would mean consistent, composable,
orthogonal, functional, based on an elegantly compelling semantic model
(denotational).
Well, if you think about CSS as in webpage styling, it's simply a
On Tue, Feb 03, 2009 at 02:55:15PM -0600, John Goerzen wrote:
I looked at your git repo, but I'm not going to pull anything from it
right this minute. I would consider your performance change, but it was
wrapped up with half a dozen other things in a single commit so I
couldn't extract just
On 3 Feb 2009, at 20:39, Conal Elliott wrote:
[Spin-off from the haskell-cafe discussion on functional/
denotational GUI toolkits]
I've been wondering for a while now what a well-designed alternative
to CSS could be, where well-designed would mean consistent,
composable, orthogonal,
Thomas Davie wrote:
I can imagine the styling language having the meaning function from
documents onto geometry, but the document description language is
harder. Ideally what I'd like to do with it is to make it describe
*only* the logical structure of the information being conveyed –
Hello folks
After a discussion on whether is possible to compile hmatrix in
Windows, I decided to go crazy and do a LU decomposition entirely in
Haskell...
At first I thought it would be necessary to use a mutable or
monadic version of Array, but then I figured out
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Patai Gergely wrote:
| Well, if you think about CSS as in webpage styling, it's simply a way to
| override some attributes in the DOM tree. If you will, you can easily
| relate CSS selectors to your semantic editor combinators, since a
| concrete
Jeff Heard wrote:
Similarly, I've been wondering what's at the core of a GUI? It seems
in recent years that more people have been moving towards web-based
applications, and away from traditional GUIs, so the meaning of them
may be changing. The old question seemed to be Page vs.
2009/2/3 Peter Verswyvelen bugf...@gmail.com:
Isn't CSS about giving a style to the views in the model-view-controller
paradigm? So basically it is a way to change the look of a user interface,
without having to change the user interface definition itself.
In theory CSS separates content from
Bret's argument, though, only applies to Information Software.
Which... hey, if you want to go with describing fundamentally
different approaches to GUIs based on the classifications he uses in
his arguments, I think that's a better place to start than trying to
figure out how to make a new
Hi all,
I'm trying to use the Funsat library. One of its data types is CNF:
data CNF = CNF {
numVars :: Int
numClauses :: Int
clauses :: Set Clause
}
I have a list of clauses, but I'm getting an error when converting such a list
to a Set. Using the fromList function, the ghc compiler
wren ng thornton w...@freegeek.org wrote:
I can see LaTeX as demonstrating that there is no such (single)
language. It seems to me that the elementary units (chapters,
sections, paragraphs,...) depend almost entirely on the domain of the
document (a book, an article,...).
This is what I had
Malcolm Wallace malcolm.wall...@cs.york.ac.uk wrote:
I would go with Bret Victor's argument (http://worrydream.com/
MagicInk/) that the concept of user interface as primarily
_interaction_ is misguided.
I tend to disagree. But then I'm a game developer, not an HTML monk...
what definitely
On Tue, 3 Feb 2009 19:58:51 -0200
rodrigo.bonifacio rodrigo.bonifa...@uol.com.br wrote:
Hi all,
I'm trying to use the Funsat library. One of its data types is CNF:
data CNF = CNF {
numVars :: Int
numClauses :: Int
clauses :: Set Clause
}
I have a list of clauses, but I'm getting
Actually, a list of list of literals is needed, since it's a Set Clause, and
a Clause is a [Literal].
On Tue, Feb 3, 2009 at 5:24 PM, Robin Green gree...@greenrd.org wrote:
On Tue, 3 Feb 2009 19:58:51 -0200
rodrigo.bonifacio rodrigo.bonifa...@uol.com.br wrote:
Hi all,
I'm trying to use
On Tue, Feb 03, 2009 at 10:56:13PM +, Duncan Coutts wrote:
Thanks to suggestions from Duncan Coutts, it's possible to call
hSetEncoding even on buffered read Handles, and the right thing
happens. So we can read from text streams that include multiple
encodings, such as an HTTP
On Tue, 2009-02-03 at 11:03 -0600, John Goerzen wrote:
Will there also be something to handle the UTF-16 BOM marker? I'm not
sure what the best API for that is, since it may or may not be present,
but it should be considered -- and could perhaps help autodetect encoding.
I think someone else
Marc Weber wrote:
wren ng thornton wrote:
I'd just stick with one (with a module for hiding the conversions, as
desired). Duplicating the code introduces too much room for maintenance and
compatibility issues.
That's the big thing. The more people that use ByteStrings the less need
CSS is purely declarative in nature and entirely deterministic.
Moreover, it's expressive power is such that you can completely and
radically alter the look of a website with modifications to CSS alone
(see Zen Garden). The grammar and semantics are relatively simple and
can be
Well-done! I've said for many months that we need a channel like this!
On Tue, Feb 3, 2009 at 7:15 PM, Philippa Cowderoy fli...@flippac.orgwrote:
Hi folks. As I've been daft enough to get a few things rolling, it looks
like it's fallen on me to announce the new IRC channel,
#haskell-in-depth.
Nor does it need one: http://www.csszengarden.com/
Regards,
John A. De Goes
N-BRAIN, Inc.
The Evolution of Collaboration
http://www.n-brain.net|877-376-2724 x 101
On Feb 3, 2009, at 10:45 AM, Heinrich Apfelmus wrote:
John A. De Goes wrote:
Layout combinators in the spirit of TeX
Conal Elliott co...@conal.net wrote:
[Spin-off from the haskell-cafe discussion on functional/denotational
GUI toolkits]
I've been wondering for a while now what a well-designed alternative
to CSS could be, where well-designed would mean consistent,
composable, orthogonal, functional,
On Tue, Feb 3, 2009 at 2:06 PM, Thomas Davie tom.da...@gmail.com wrote:
On 3 Feb 2009, at 20:39, Conal Elliott wrote:
[Spin-off from the haskell-cafe discussion on functional/denotational GUI
toolkits]
I've been wondering for a while now what a well-designed alternative to
CSS could be,
Hi folks. As I've been daft enough to get a few things rolling, it looks
like it's fallen on me to announce the new IRC channel,
#haskell-in-depth.
#haskell has been a roaring success over the last few years, as Don has
repeatedly pointed out. Unfortunately that roar is starting to make it
hard
amen amen! thanks, achim.
On Tue, Feb 3, 2009 at 4:50 PM, Achim Schneider bars...@web.de wrote:
Conal Elliott co...@conal.net wrote:
[Spin-off from the haskell-cafe discussion on functional/denotational
GUI toolkits]
I've been wondering for a while now what a well-designed
Hi Rafael,
2009/2/3 Rafael Gustavo da Cunha Pereira Pinto rafaelgcpp.li...@gmail.com:
Hello folks
After a discussion on whether is possible to compile hmatrix in
Windows, I decided to go crazy and do a LU decomposition entirely in
Haskell...
At first I thought
On Tue, 2009-02-03 at 17:39 -0600, John Goerzen wrote:
On Tue, Feb 03, 2009 at 10:56:13PM +, Duncan Coutts wrote:
Thanks to suggestions from Duncan Coutts, it's possible to call
hSetEncoding even on buffered read Handles, and the right thing
happens. So we can read from text
Gregg Reynolds wrote:
On Mon, Feb 2, 2009 at 2:25 PM, Ketil Malde ke...@malde.org wrote:
Gregg Reynolds d...@mobileink.com writes:
Just shorthand for something like data Tcon a = Dcon a, applied to Int.
Any data constructor expression using an Int will yield a value of type
Tcon
Int.
On Tue, Feb 3, 2009 at 14:58, rodrigo.bonifacio
rodrigo.bonifa...@uol.com.br wrote:
Hi all,
I'm trying to use the Funsat library. One of its data types is CNF:
data CNF = CNF {
numVars :: Int
numClauses :: Int
clauses :: Set Clause
}
I have a list of clauses, but I'm getting an error
Duncan Coutts wrote:
Sorry, I think we've been talking at cross purposes.
I think so.
There always has to be *some* conversion from a 32-bit Char to the
system's selection, right?
Yes. In text mode there is always some conversion going on. Internally
there is a byte buffer and a char
On Wed, 04 Feb 2009 00:15:48 +, Philippa Cowderoy
fli...@flippac.org wrote:
[...]
If you need to know how to use monads so you can do IO,
#haskell-in-depth isn't the place. On the other hand, if you want to
discuss how Haskell's monads compare to the category theory or what the
category
On Tuesday 03 February 2009 9:05:08 pm wren ng thornton wrote:
Extending things to GADTs, this is also the reason why functions are
called exponential and denoted as such in category theory:
|N - M| = |M| ^ |N|
That's the number of functions that exist in that type. Not all of these
are
Hi Duncan,
I agree with your arguments. I think it is a less evil to disable
'cabal upgrade' until the problem is fixed.
To have 'cabal upgrade' to ask for confirmation (and to allow user to
select packages to be updated from the list) is even better.
-- Valentyn.
On Feb 3, 2009, at
On Wed, 2009-02-04 at 14:32 +0900, Benjamin L.Russell wrote:
On Wed, 04 Feb 2009 00:15:48 +, Philippa Cowderoy
fli...@flippac.org wrote:
[...]
If you need to know how to use monads so you can do IO,
#haskell-in-depth isn't the place. On the other hand, if you want to
discuss how
We explicitly want to avoid a newbie trap
See the summary of the discussion that lead to the channel creation
http://haskell.org/haskellwiki/IRC_channel/Phase_2
-- Don
DekuDekuplex:
On Wed, 04 Feb 2009 00:15:48 +, Philippa Cowderoy
fli...@flippac.org wrote:
[...]
If you need
On 3 Feb 2009, at 22:37, Rafael Gustavo da Cunha Pereira Pinto wrote:
Hello folks
After a discussion on whether is possible to compile
hmatrix in Windows, I decided to go crazy and do a LU decomposition
entirely in Haskell...
At first I thought it would be
Array is no good man! Quad Tree matrices perform much nicer from what
I've seen.
I wrote some matrix stuff based on D. Stott Parker's Randomized
Gaussian elimination papers (http://www.cs.ucla.edu/~stott/ge/). He
presents some recursive block based methods of solving without pivoting.
I
74 matches
Mail list logo