Hi all,
after reading this announcement on the Galois blog:
http://www.galois.com/blog/2008/11/13/tech-talk-mechanically-verified-lisp-interpreters/
I installed Hol4 to play around with it a little bit.
I made 2 obvious observations ^_^:
1) It looks like the Hol4 system is just a ML module tha
On Fri, Nov 14, 2008 at 02:33:05AM +, Stephen wrote:
>ah, damn I feel stupid. I hadn't it installed. I just tried to, and,
>after verifying with the internet, it seems that ALUT isn't supported on
>macs anymore anyway. Which leads me to the following question: does
>anyone ha
As Magnus pointed out in his (very clever) paper, the Applicative interface
allows for more precise/efficient tracking of dependencies, in that it
eliminates accidental sequentiality imposed by the Monad interface. (Magnus
didn't mention Applicative by name, as his paper preceded
Idiom/Applicative
Magnus writes:
Thanks to Peter Jonsson, the source is now on hackage:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Adaptive
Cheers,
Magnus
Donnie Jones wrote:
> Hello sanzhiyan,
>
> I believe this is the same paper, the pdf is available here:
> http://citeseerx
ah, damn I feel stupid. I hadn't it installed. I just tried to, and, after
verifying with the internet, it seems that ALUT isn't supported on macs
anymore anyway. Which leads me to the following question: does anyone have
any example code for saving/loading wav files, say, using openal (minus
al
Thanks, but that doesn't seem to work. I got an answer of -3. I tried it
again a minute later and it was still -3. I tried again a minute later and
it was -1. It's just after 9am here, so I have no idea what to make of those
numbers.
I have settled on this code:
secondsSinceMidnight :: IO Int
sec
Hello sanzhiyan,
I believe this is the same paper, the pdf is available here:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.3014
Cheers.
__
Donnie
On Thu, Nov 13, 2008 at 9:02 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
> I sit next to the author, CC'd.
>
> -- Don
>
> sanzhiyan:
>
I sit next to the author, CC'd.
-- Don
sanzhiyan:
>I'm looking for the source code of the library for adaptive computations
>exposed in Magnus Carlsson's "Monads for Incremental Computing"[1], but
>the link in the paper is broken.
>So, does anyone have the sources or knows how to
I'm looking for the source code of the library for adaptive computations
exposed in Magnus Carlsson's "Monads for Incremental Computing"[1], but the
link in the paper is broken.
So, does anyone have the sources or knows how to contact the author?
[1] http://portal.acm.org/citation.cfm?id=581
I was looking over the Hackage categories today to figure out what
Haskell is *really* used for?
I just really quickly sorted the categories by number of packages.
It's really interesting to see System, Graphics and Network so high on
the list.
Clearly, next to data types and text processing, peo
On Thu, Nov 13, 2008 at 09:01:36PM +, Stephen wrote:
> The link to the OpenAL documentation [
>
> [1]http://haskell.org/ghc/docs/latest/html/libraries/OpenAL/Sound-OpenAL.html
>] from here [ [2]http://www.haskell.org/haskellwiki/OpenAL ] seems to be
>down.
>
>Also, I tried
G'day all.
Quoting Lennart Augustsson <[EMAIL PROTECTED]>:
People have been admitting to using Haskell like that for quite a while now.
I think it's an excellent use of Haskell as a DSEL host.
DSL is a proper superset of DSEL. Just saying.
Cheers,
Andrew Bromage
OK, I've found package.conf file and updated there libraries manually.
Why new one doesn't work I don't know though.
If anyone can have an idea, it'd be helpful.
best,
Bartek
On Thursday 13 November 2008 22:08:19 Bartosz Wójcik wrote:
> I'm facing problem after I've reinstalled directory-1.0.0.0
On Thu, Nov 13, 2008 at 11:08 AM, Andrew Coppin
<[EMAIL PROTECTED]> wrote:
> In other words, Haskell is an excellent language for designing
> special-purpose compilers and interpretters for custom languages. ;-)
>
> If I knew a damned thing about IA32 assembly and dynamic linkage, I'd be
> tempted
The link to the OpenAL documentation [
http://haskell.org/ghc/docs/latest/html/libraries/OpenAL/Sound-OpenAL.html ]
from here [ http://www.haskell.org/haskellwiki/OpenAL ] seems to be down.
Also, I tried to use cabal to install ALUT and got the following
checking for unistd.h... yes
checking AL/
Hi Folks,
I'm facing problem after I've reinstalled directory-1.0.0.0 (setup
configure/build/install). Since then I cannot complie anything that needs
this library. It fails with following messages:
Preprocessing library haddock-2.4.0...
Preprocessing executables for haddock-2.4.0...
Building h
andrewcoppin:
> Dan Piponi wrote:
> >Real time audio applications are top of my list of "crazy projects I
> >would work on if I had a month spare". I think it might work out
> >nicely. My approach wouldn't be to talk directly to audio hardware
> >from Haskell but instead use a framework like Lava t
Dan Piponi wrote:
Real time audio applications are top of my list of "crazy projects I
would work on if I had a month spare". I think it might work out
nicely. My approach wouldn't be to talk directly to audio hardware
from Haskell but instead use a framework like Lava to generate low
level code
Real time audio applications are top of my list of "crazy projects I
would work on if I had a month spare". I think it might work out
nicely. My approach wouldn't be to talk directly to audio hardware
from Haskell but instead use a framework like Lava to generate low
level code from an embedded DSL
http://www.clutter-project.org/
What is the degree-of-difficulty for creating Haskell bindings for Clutter?
Is it simple to extend gtk2hs to cover it? Or has it been done and I just
don't see it?
Thanks.
--
Darrin
___
Haskell-Cafe mailing list
Haskell
People have been admitting to using Haskell like that for quite a while now.
I think it's an excellent use of Haskell as a DSEL host.
-- Lennart
On Thu, Nov 13, 2008 at 12:40 AM, <[EMAIL PROTECTED]> wrote:
> G'day all.
>
> Quoting Tom Hawkins <[EMAIL PROTECTED]>:
>
>> Actually, Haskell is an e
On Thu, Nov 13, 2008 at 9:09 PM, Tobias Bexelius
<[EMAIL PROTECTED]> wrote:
> Hi,
>
> some time ago I asked about a problem I had with functional dependencies
> conflicting when using overlapping instances in a code like this:
>
>
> {-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances
> -fa
On Wednesday 12 November 2008 7:05:02 pm Jonathan Cast wrote:
> I think the point is that randomIO is non-deterministic (technically,
> pseudo-random) but causal --- the result is completely determined by
> events that precede its completion. unsafeInterleaveIO, by contrast, is
> arguably (sometim
Trin <[EMAIL PROTECTED]> wrote:
> But I have a problem with shading. Whatever I have been trying,
> I still don't understand how the shading can be activated. I have
> light, I have color, but not even Flat shading.
I think if you want shading, you need to compute the normals to each
surface.
Re
Hi David!
2008/11/12 David Fox <[EMAIL PROTECTED]>:
> I want to use Data.Generics to write a function to turn all the Nothings in
> a data structure into Just defaultValue, as shown below. I get the
> following error because the compiler doesn't know enough about Maybe a for
> mkT to create the g
Hi Greg,
We didn't look into nominal rewriting I'm afraid. And I'm not that
familiar with scrap-your-nameplate so I'm not sure if you can implement
nominal rewriting using that library.
Regards,
Thomas
Greg Meredith wrote:
Thomas,
Did you explore nominal rewrite at all? Do you know if it migh
"Lyle Kopnicky" <[EMAIL PROTECTED]> writes:
> I had some code using the oldtime package, and want to convert it to use
> the time package.
> One of the things I need to do is calculate the number of seconds since
> midnight. The easy part is getting a TimeDiff result:
You mean DiffTime?
> utc <-
Hi,
some time ago I asked about a problem I had with functional dependencies
conflicting when using overlapping instances in a code like this:
{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances
-fallow-incoherent-instances #-}
data V2 a = V2 a a
class Vec v a where
dot :: v
Hi
I have the same experience with Windows XP and getContents, so I think
it's the entire IO layer on Windows, rather than just getLine on Vista.
This is being tracked here
http://hackage.haskell.org/trac/ghc/ticket/2758
Thanks
Neil
> I've had the same experience with runghc in GHC 6.10.1 on V
I've had the same experience with runghc in GHC 6.10.1 on Vista.
/g
2008/11/12 Lyle Kopnicky <[EMAIL PROTECTED]>:
> Hi folks,
> I'm using System.IO.getLine to read input in my program. I've compiled it on
> Windows Vista with ghc-6.10.1. I've noticed that if I press Ctrl+C while the
> program is
30 matches
Mail list logo