Re: [Haskell-cafe] XCode Dependency for HP on Mac

2011-07-28 Thread Tom Murphy
+1 - does anyone know the answer to this? On Jul 27, 2011 2:04 PM, "Chris Smith" wrote: > On Wed, 2011-07-27 at 07:20 -0400, Jack Henahan wrote: >> Bundling things with the HP is just going to bloat that download >> and confuse new users more (and my god, the dep-chasing... the >> number of libs t

Re: [Haskell-cafe] XCode Dependency for HP on Mac

2011-07-27 Thread Tom Murphy
but several of the details have changed (availability of the $5 XCode in App Store, for example). Thanks for your time, Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] XCode Dependency for HP on Mac

2011-07-26 Thread Tom Murphy
de, and it's > on the OS X DVD. > "Developer Tools" is actually what the HP requires. I think it might be under the XCode umbrella. Still, the Macbook Air doesn't come with an install for XCode or Developer Tools. How can gcc require this stuff, though? Doesn't gcc p

Re: [Haskell-cafe] XCode Dependency for HP on Mac

2011-07-26 Thread Tom Murphy
x27;t the HP use gcc instead? I'd personally advocate gcc as standard, not as a workaround, because a) gcc is FOSS. b) XCode is 4GB and its functionality is basically orthogonal to the needs of Haskell developers. Thanks for your time, Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] XCode Dependency for HP on Mac

2011-07-26 Thread Tom Murphy
aling with Apple's constant upgrade requirements, registration requirements, etc., and it seems like a small function that XCode actually performs in the Haskell development "toolchain." Again, I'm ignorant of the details and I'm sorry if this is ranty, but I'd l

Re: [Haskell-cafe] Reactive Programming in Machine Learning

2011-07-23 Thread Tom Nielsen
o wire this up to an output signal. If you want to learn more about sequential monte carlo, there are lots of videos on videolectures.net. Nando de Freitas has a good introduction. Tom On Sat, Jul 23, 2011 at 2:30 AM, bob zhang wrote: > Hi all, > I am doing a survey on combining Functiona

Re: [Haskell-cafe] Cloud Haskell

2011-07-22 Thread Tom Murphy
As described in "Towards Haskell in the Cloud": http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/ Tom On Jul 22, 2011 11:01 AM, "Antoine Latter" wrote: > On Fri, Jul 22, 2011 at 8:25 AM, Tom Murphy wrote: >> Is anyone using Cloud Haskell y

[Haskell-cafe] Cloud Haskell

2011-07-22 Thread Tom Murphy
Is anyone using Cloud Haskell yet? I'm really excited by the possibilities. Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Network.Html simpleTable fonts

2011-07-17 Thread Tom Murphy
ght", align "bottom"] ourTable' ourTable' = map (map lineToHtml) [["Jay", "Jay", "Jay"], ["Leno", "-Z", "Dilla"]] ourStyle = style (stringToHtml "body { font-size: 50px }") ! [thetype "text/css"] O

Re: [Haskell-cafe] Network.Html simpleTable fonts

2011-07-17 Thread Tom Murphy
n = runCGI $ handleErrors $ (output . renderHtml) ourTable ourTable = body << simpleTable [cellpadding 30, cellspacing 10, border 2, bordercolor gray] [bgcolor aqua, align "right", align "bottom"] ourTable' ourTable' = map (map lineToHtml) [["J\nJ\nJay   y&qu

Re: [Haskell-cafe] Call for GUI examples - Functional Reactive Programming

2011-07-10 Thread Tom Murphy
Oh! I have a good, small (single-purpose; reusable), useful one! A text field which tab-completes words or phrases from a dictionary. Haskeline provides useful (non-FRP) for implementing this, but it seems like FRP could handle this in an interesting way. Tom On 7/10/11, Heinrich Apfelmus

Re: [Haskell-cafe] Cabal uninstall

2011-07-09 Thread Tom Murphy
Seconded. This would have been very useful to me many times. I tried forwarding this to cabal-de...@haskell.org (Cabal development discussion), but it's a members-only list. Can someone in the in-crowd pass along the suggestion? Thanks, Tom On 7/9/11, Andrew Pennebaker wrote: > Pleas

[Haskell-cafe] HaskellDB DB Layout Description

2011-07-09 Thread Tom Murphy
Hi, I've found good explanations of the HaskellDB combinators, but I can't find good information about how to correctly define the database layout. Can anyone point me to a resource, or give a quick example? Thanks! Tom ___ Haskell-Ca

Re: [Haskell-cafe] Installation Failed: Haskell Platform 2011.2.0.1-i386 for OS X

2011-06-28 Thread Tom Murphy
On 6/28/11, Jason Dagit wrote: > > I'd try asking on StackOverflow. I think the people who know the > answer might be watching there instead of here. > Really? I had thought that everyone who was on SO was on here also. Tom ___ Has

Re: [Haskell-cafe] View Thunk Evaluation

2011-06-26 Thread Tom Murphy
That is so cool! Thank you. To anyone who's interested: Try it. It's enlightening. Tom On 6/26/11, Don Stewart wrote: > Yes, via the -hpc tracing mechanism. > > When executed HPC generates a highlighted log of your source, and > expressions that aren't evaluated wil

[Haskell-cafe] View Thunk Evaluation

2011-06-26 Thread Tom Murphy
Hi All, Is there a way to determine whether a thunk was evaluated during code's execution? Thanks, Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] toSql and fromSql, for Algebraic Data Type

2011-06-24 Thread Tom Murphy
how do I make an instance of a typeclass like that?) Thanks for your time, Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Haskell *interpreter* on iPad? (Scheme and Ocaml are there)

2011-06-19 Thread Tom Murphy
On 6/18/11, Alexander Solla wrote: > > Since the iPhone OS is pretty much OS X for ARM, and GHC apparently now > supports cross-compilation, you can compile GHC for iOS. Can you provide a link for info? I don't understand how this would be don

Re: [Haskell-cafe] Best Linux Distro for >>=

2011-06-19 Thread Tom Murphy
On 6/19/11, Arlen Cuss wrote: > >> In no particular order, the following seem to have good Linux support: >> Gentoo, Arch, Fedora and Debian (I think Testing). > > Please allow me to register my amusement at the idea of a distribution > "with good Linux support". :D > I was very surprised when I

[Haskell-cafe] Best Linux Distro for >>=

2011-06-18 Thread Tom Murphy
Hi List, If my choice of Lunix distro depended 100% on its solidness as a Haskell devel platform (I am), what would you all recommend? Thanks for your time, Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

[Haskell-cafe] ANN: mecha-0.1.0

2011-06-08 Thread Tom Hawkins
for complex mesh generation. (Thanks Corey, for pointing me to OpenCSG.) Here is a screenshot of OpenSCAD rendering a Mecha solid: http://tomahawkins.org/index.html#Mecha Here is the Mecha source: https://github.com/tomahawkins/mecha/blob/master/Language/Mecha/Examples/CSG.hs -Tom [1

Re: [Haskell-cafe] Proposal: remove "Stability" from haddock documentation on hackage

2011-06-08 Thread Tom Murphy
ns the API is likely to change in future releases). > What is the way to indicate actual code stability? Some packages on Hackage definitely have "broken parts." Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANN: mecha-0.0.5

2011-06-05 Thread Tom Hawkins
On Sun, Jun 5, 2011 at 10:41 AM, Andrew Coppin wrote: > On 04/06/2011 08:25 PM, Tom Hawkins wrote: > >> What is the easiest way to generate polygon meshes from constructive >> solid geometry?  Marching cubes [4] seems pretty involved. > > As I understand it, this is a Ve

[Haskell-cafe] ANN: mecha-0.0.5

2011-06-04 Thread Tom Hawkins
odels. What is the easiest way to generate polygon meshes from constructive solid geometry? Marching cubes [4] seems pretty involved. -Tom [1] http://hackage.haskell.org/package/mecha [2] https://github.com/tomahawkins/mecha [3] http://tomahawkins.org/ [4] http://en.wikipedia.org/wiki/Marching_

Re: [Haskell-cafe] *GROUP HUG*

2011-06-01 Thread Tom Murphy
> > How about this: > > myFoldr :: (a -> b -> b) -> b -> [a] -> b > myFoldr f z xs = foldl' (\s x v -> s (x `f` v)) id xs $ z > > Cheers, > Ivan > Great! Now I really can say "Come on! It's fun! I can write foldr with foldl!" ___ Haskell-Cafe mailing l

[Haskell-cafe] Erlang's module discussion

2011-05-27 Thread Tom Murphy
ere's the archive: http://erlang.org/pipermail/erlang-questions/2011-May/058769.html Food for thought... Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] *GROUP HUG*

2011-05-24 Thread Tom Murphy
#x27;s user base grows. Will the same etiquette work when we start to get lots of questions from Java programmers? :) Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Status of Haskell + Mac + GUIs & graphics

2011-05-18 Thread Tom Murphy
form library with native look-and-feel like Wx? Thanks, Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Status of Haskell + Mac + GUIs & graphics

2011-05-18 Thread Tom Murphy
t for other GUI solutions. I wasn't implying you were saying we should only use Haskell for JS. Most useful Haskell apps right now are pretty GUI-free! Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] wxHaskell on Mac (Was: Status of Haskell + Mac + GUIs & graphics)

2011-05-18 Thread Tom Murphy
aller that would make this process easier? > Unfortunately, this does not address Conal's issue about using wxHaskell > with GHCi on Mac. I do wish somebody had a free week to concentrate on > the issue. Maintainer Jeremy made some progress on it, the last time I > checked...

Re: [Haskell-cafe] Status of Haskell + Mac + GUIs & graphics

2011-05-18 Thread Tom Murphy
a few key > libraries. The momentum is here and a few people have already jumped > in. Time to get on board! Count me as onboard; I'm just not sure which ship I'm on yet. Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Status of Haskell + Mac + GUIs & graphics

2011-05-18 Thread Tom Murphy
at anyone goes in and tinkers with the generated JS). A main reason people are showing interest in FP is because of purity, and therefore its potential speed on multicore machines. If we just generate to JS, this is also lost. In fact, speed on single-core machines is lost also. Again, my 2¢,

Re: [Haskell-cafe] Status of Haskell + Mac + GUIs & graphics

2011-05-17 Thread Tom Murphy
software. If we as a community want to be able to develop software for end-users (i.e. people who'll be thrown off by gtk widgets or x11 windows)*, then it would be a very good idea to focus our energies on one or two promising pre-existing libraries, and hammer them into completion. A roadm

Re: [Haskell-cafe] Proposal to incorporate Haskell.org

2011-05-10 Thread Tom Murphy
ld" == must? Would this apply to everything on Hackage? Thanks for clarifying, Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANNOUNCE: iterIO-0.1 - iteratee-based IO with pipe operators

2011-05-06 Thread Tom Brow
e., the "push" data flow) that enumerator is all about. Enumera*tor** *feeds Itera*tee* -- subject, verb, object. Producer/Consumer connotes the same by allusion to the producer-consumer pattern of thread synchronization. Tom On Fri, May 6, 2011 at 9:47 AM, wrote: > > This is a quest

[Haskell-cafe] Pattern matching on lazy bytestrings: how does it work?

2011-04-22 Thread Tom Brow
gt; >> main = do > > print $ f $ fromChunks ["abc"] > > print $ f $ fromChunks ["a","bc"] > > When I run the above, I get: True > > True > > Given that pattern matching is based on data const

[Haskell-cafe] ImProve Tutorial

2011-04-10 Thread Tom Hawkins
news, ImProve can now generate models in Simulink and Modelica. -Tom [1] http://github.com/tomahawkins/improve/wiki/ImProve ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] ANN: improve-0.3.1

2011-03-29 Thread Tom Hawkins
language for automotive and aerospace control systems. -Tom [1] http://hackage.haskell.org/package/improve [2] http://www.mathworks.com/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] why are trading/banking industries seriously adopting FPLs???

2011-03-25 Thread Tom Murphy
> > Why can they assess the risk and the probable benefits of trying out > another innovation and can contain the risk? Because they can do that of > almost anything. They are surviving investors. Trying out another innovation > is just another investment, not unlike trying out another stock, anoth

Re: [Haskell-cafe] Uncertainty analysis library?

2011-03-21 Thread Tom Nielsen
e problem is that when you say x+x you don't really mean it; you mean something like liftM2(+) xdist xdist in a probability monad. Had I changed "x+y" to "x+x", I would obviously have gotten identical variances. So maybe r

Re: [Haskell-cafe] Uncertainty analysis library?

2011-03-20 Thread Tom Nielsen
y) and then take the mean and standard deviation of xs? that's every bit as correct as propagating the uncertainty of f, except for the finite number of samples. (assuming your original uncertainties are gaussian) Tom On Sun, Mar 20, 2011 at 11:59 PM, Edward Amsden wrote: > I'm ac

Re: [Haskell-cafe] Uncertainty analysis library?

2011-03-20 Thread Tom Nielsen
Anyways, I ended up not going down this route this because probabilistic data analysis gives you the correct error estimate without propagating error terms. Tom PS if you're a scientist and your accuracy estimate is on the same order as your rounding error, your are doing pretty well :-) At

Re: [Haskell-cafe] Parsing Haskell in Parsec

2011-03-20 Thread Tom Nielsen
I'm writing the parser for a Haskell-like language in Parsec https://github.com/glutamate/baysig/blob/master/Baysig/Syntax/Parser.hs The hand-written lexer and layout resolution code is in the same directory. It has do-notation and custom infix declarations. Tom On Sun, Mar 20, 2011 at 5:

Re: [Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Tom
Alright thanks for your comprehensive answer! I think I got something to work with :) Cheers, Tom On Tue, Mar 8, 2011 at 8:09 PM, Stephen Tetley wrote: > Hi Tom > > Here's how I'd do comment annotation in the Parser: > > > > type Comment = String > > t

Re: [Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Tom
That two-pass lexer sounds like a good idea. I actually want to keep the happy parser if possible, can you elaborate on adding extra error handling cases for production rules? Do you mean I have to add a line for comments on possible places where they can occur? Thanks

Re: [Haskell-cafe] ANN: theoremquest-0.0.0

2011-03-08 Thread Tom Hawkins
> I am curious -- how easy is it to use theoremquest for playing with > equational theories? Let me turn the question around: How easy is it to play with equational theories in HOL Light? Because this is the planed basis for TheoremQuest.

[Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Tom
have tokenized some sourcecode which contains comments, these should be ignored except when they are located above a function, in which case I want them to parse. Any ideas about this issue are greatly appreciated! Thanks, Tom ___ Haskell-Cafe mailing

Re: [Haskell-cafe] ANN: theoremquest-0.0.0

2011-02-28 Thread Tom Hawkins
ven, and b) any other theorem call it out as an assumption. Then these reductions would be perform automatically. The greater the ability of the search to bridge the gap between dissimilar conclusions and assumptions, the greater the automation. Thanks for your interest. Let me know

Re: [Haskell-cafe] ANN: theoremquest-0.0.0

2011-02-28 Thread Tom Hawkins
> I find this fairly interesting. Once you're finished grappling with the > logical core, I wouldn't mind helping out with a web interface, time > permitting. I suspect attracting mass appeal, or getting users at all, is > helped massively by having a web interface. Thanks for your interest. Yes,

[Haskell-cafe] ANN: theoremquest-0.0.0

2011-02-28 Thread Tom Hawkins
intuitive enough to appeal to the general population. If the masses can play Sudoku, shouldn't they be capable of interactive theorem proving? -Tom [1] http://theoremquest.org [2] http://www.cl.cam.ac.uk/~jrh13/hol-light/ [3] http://hackage.haskell.org/packag

Re: [Haskell-cafe] problem with instance method

2011-02-03 Thread Tom Nielsen
> o t i *Objects> o Obj (Car Blue) 4 But I hope you read my last email in the other thread you started... Tom On Thu, Feb 3, 2011 at 10:15 AM, Ivan Lazar Miljenovic wrote: > On 3 February 2011 21:09, Patrick Browne wrote: >> Hi, >> I am studying type classes using examples f

Re: [Haskell-cafe] Instantiation problem

2011-01-31 Thread Tom Nielsen
t manual), somewhat crisper. Tom On Sun, Jan 30, 2011 at 10:27 AM, Patrick Browne wrote: > On 29/01/2011 20:56, Henning Thielemann wrote: >> Is there a reason why you use an individual type for every unit? >> The existing implementations of typed physical units only encode the >>

[Haskell-cafe] Browser Game Engine

2011-01-16 Thread Tom Hawkins
? -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Strong version of 'local' for reader monad

2010-12-16 Thread Tom Schrijvers
On Mon, Dec 13, 2010 at 9:30 PM, Brent Yorgey wrote: > Hi all, > > Today I wanted this function > > strongLocal :: (MonadReader r1 m1, MonadReader r2 m2) => > (r2 -> r1) -> m1 a -> m2 a > > Of course, after staring at this type for ten seconds I realized that > it cannot be implem

Re: [Haskell-cafe] typesetting with lhs2tex

2010-12-16 Thread Tom Nielsen
I think you have to do it yourself. lhs2TeX isn't that clever - it doesn't really know haskell syntax, it just applies some very simple transformation rules. e.g. change runE :: Monad m => Enumerator e s m -> m r -> (e -> m r) -> (s -> Enumerator e s m -> m r) -> m r to runE :: Monad m =>  Enum

[Haskell-cafe] ANN: improve-0.2.2

2010-12-12 Thread Tom Hawkins
. -Tom [1] http://hackage.haskell.org/package/improve [2] http://groups.google.com/group/fp-embedded/browse_thread/thread/63cd023e8f17b613?hl=en ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Rather off topic: An ab initio universe simulation?

2010-12-09 Thread Tom Nielsen
Have you read: Fontana & Buss : "What would be conserved if 'the tape were played twice'?" in PNAS? It's quite fun - they model chemical reaction as alpha-reduction in the lambda calculus and look at evolution. Tom On Thu, Dec 9, 2010 at 10:15 PM, Ketil Malde wro

Re: [Haskell-cafe] Rather off topic: An ab initio universe simulation?

2010-12-09 Thread Tom Nielsen
pointless, but there are plenty of people who got tenure that way... There's tons of this stuff in Artificial Life and a book with that title by Stephen Levy which make many grand claims. Tom On Thu, Dec 9, 2010 at 2:09 PM, Ketil Malde wrote: > > In order to simulate nature, you need

Re: [Haskell-cafe] Opportunity for Haskell porting to java at R&D labs in Bay Area, CA

2010-11-10 Thread Tom Davies
pen-Quark -- which is essentially Haskell 98 for the JVM. There would still be a porting exercise, because CAL has less syntactic sugar and fewer libraries (and doesn't have the GHC extensions you may use), but it has good (though verbose) Java interope

Re: [Haskell-cafe] Re: "Haskell is a scripting language inspiredby Python."

2010-11-08 Thread Tom Davies
On 05/11/2010, at 4:11 PM, Luke Palmer wrote: > Also they "don't > scale well", which I guess means that they don't make it inconvenient > to design badly. And they don't communicate enough information about the preconditions/postconditions of their functions to easily allow large programs to

[Haskell-cafe] ANN: cil-0.1.0

2010-11-08 Thread Tom Hawkins
, providing a Haskell interface to CIL. -Tom [1] http://cil.sourceforge.net/ [2] http://hackage.haskell.org/package/cil [3] http://github.com/tomahawkins/cil ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell-cafe] ANNOUNCE: language-cil

2010-11-07 Thread Tom Lokhorst
mbler `ilasm`, can create a .exe file which can be run by Mono or .NET. The package is not finished, it only supports a subset of the full language, but it's already usable. For more information, as well as an example to quickly get started, see the github page [3]. Cheers, Tom Lokhorst

Re: [Haskell-cafe] ANN: fountain-0.0.0

2010-10-20 Thread Tom Hawkins
first heard of fountain codecs, I thought it was science > fiction based on the description :-). What I find amazing is RaptorQ fountain codes can complete the decoding after receiving only 1% more symbols than the original message. -Tom ___ Haskel

[Haskell-cafe] ANN: fountain-0.0.0

2010-10-19 Thread Tom Hawkins
of packets needed to decode a message. -Tom [1] http://hackage.haskell.org/package/fountain [2] http://en.wikipedia.org/wiki/Fountain_code [3] http://en.wikipedia.org/wiki/Binary_erasure_channel [4] http://en.wikipedia.org/wiki/LT_codes ___ Haskell

[Haskell-cafe] profiling cabal libraries

2010-10-19 Thread Tom Hawkins
s. What am I doing wrong? -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Compiling a DSL on the shoulders of GHC

2010-10-19 Thread Tom Hawkins
han IO. > Which language is that? ImProve? No. It would be something STMish, similar to Atom. -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Compiling a DSL on the shoulders of GHC

2010-10-18 Thread Tom Hawkins
m having to modify GHC to handle a different top level type. And during your evaluation of Core, you would simply ignore fakeRun. -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Strict Core?

2010-10-17 Thread Tom Lokhorst
ctively uses type information is the deep unboxing transformation. It uses information about the shape of the data type to create a more optimal worker function. Sum types aren't explored in depth in the paper, and I haven't done so yet either in my work on UHC, but my hope is that those c

[Haskell-cafe] Data.Judy

2010-10-12 Thread Tom Doris
Hi, Are there any plans to extent the current Data.Judy package to include bindings to JudySL and JudyHS? There's a standalone binding to JudySL by Andrew Choi that is usable but it would of course be better to have the functionality in the Data.Judy package proper. Thank

[Haskell-cafe] Re: Haskell Platform: failed to parse output of 'ghc-pkg dump'

2010-10-05 Thread Tom Hawkins
Classic pilot error. I had an old cabal.exe on the search path. -Tom On Tue, Oct 5, 2010 at 8:09 PM, Tom Hawkins wrote: > I'm having trouble installing Haskell Platform on Windows.  After the > install, I run "cabal update", which appears to work: 00-index.tar.gz > is d

[Haskell-cafe] Haskell Platform: failed to parse output of 'ghc-pkg dump'

2010-10-05 Thread Tom Hawkins
all" anything, I get: cabal.exe: failed to parse output of 'ghc-pkg dump' "ghc-pkg dump --global" appears to run just fine. Ideas? Suggestions? -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Retargeting Haskell compiler to embedded/hardware

2010-09-28 Thread Tom Hawkins
e program to generate code. This is not what I want. Rather, I am looking for advice on how to splice GHC -- or another implementation -- where I can build a compiler starting from a type checked, simplified Haskell AST; or better yet, an unevaluated call gra

[Haskell-cafe] Retargeting Haskell compiler to embedded/hardware

2010-09-28 Thread Tom Hawkins
ith exception to the values related to IO. What are my options? Thanks. -Tom [1] Lack of observable sharing; function definitions, case expressions, ADTs disappear at compile time; etc. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://ww

Re: [Haskell-cafe] Relaxing atomicity of STM transactions

2010-09-28 Thread Tom Hawkins
On Tue, Sep 28, 2010 at 6:44 PM, Serguey Zefirov wrote: > 2010/9/29 Tom Hawkins : >> In the embedded domain, this could be a fault monitor that >> reads a bunch of constantly changing sensors. > > I think that sensor reading belongs to IO, not STM. > Sensors would be tra

Re: [Haskell-cafe] Relaxing atomicity of STM transactions

2010-09-28 Thread Tom Hawkins
nstantly being modified. In the embedded domain, this could be a fault monitor that reads a bunch of constantly changing sensors. -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Relaxing atomicity of STM transactions

2010-09-28 Thread Tom Hawkins
has similar semantics to STM. If Atom were to relax it's rule atomicity in this fashion, it could open the door to improved task scheduling and higher levels of program description. Has STM research already gone down this path? -Tom [1] http://hackage.haskell.org/pack

[Haskell-cafe] Tree Construction

2010-09-25 Thread Tom Hawkins
a b tree :: (Eq a, Ord a) => (b -> [a]) -> [b] -> [Tree a b] Note, type 'a' is some sort of label, most often a string, and type 'b' form the leaves of the tree. The function passed into 'tree' returns the hierarchical path of a leaf object. -Tom [1] h

Re: [Haskell-cafe] Which Haskell DSL for writing C? (Was ANN: Copilot 0.22 -- A stream DSL for writing embedded C.)

2010-09-21 Thread Tom Hawkins
>  * Copilot http://hackage.haskell.org/package/copilot >  * Others? ImProve http://hackage.haskell.org/package/improve We are using ImProve for some safety critical code on a hydraulic hybrid shuttle bus. -Tom ___ Haskell-Cafe mailing list Haske

Re: [Haskell-cafe] Re: Haskell/JDK/tail-calls etc. (please vote on bug No. 6804517)

2010-09-19 Thread Tom Davies
On 20/09/2010, at 6:36 AM, Johannes Waldmann wrote: > >> from time to time request for Haskell running on top of Java's VM pops >> on the haskell related mailing list and then usually dies off when >> someone mentions that JDK does not have proper support for tail-calls. > > would it help?

Re: [Haskell-cafe] CAL experience

2010-09-14 Thread Tom Davies
I use CAL for various hobby projects, and despite development being quiet I find it robust. I suspect that the lack of extensions over Haskell 98 puts some people off. Tom On 10/09/2010, at 5:31 AM, Karel Gardas wrote: > Hello, > > as this is really friendly forum, I'd

[Haskell-cafe] ANN: ecu-0.0.0

2010-09-09 Thread Tom Hawkins
d one last question: The Kvaser canlib library has a different name depending on if the machine is Linux or Windows. What is the best way to configure the build based on the platform? Current I have the library name hard coded in the extra-libraries field in the cabal file. -Tom http://hackage.h

[Haskell-cafe] warn-incomplete-patterns and GADTs

2010-08-27 Thread Tom Nielsen
(VCons _ _) VNil but of course VNil and VCons can never have the same type. Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Content Centric Networking

2010-08-24 Thread Tom Hawkins
has open-sourced their experimental CCN protocol, CCNx [3]. I thought it'd be cool to have a Haskell implementation of CCNx, so I started a little hackage project [4]. -Tom [1] http://video.google.com/videoplay?docid=-6972678839686672840# [2] http://www.parc.com/work/focus-area/networking/ [3]

Re: Re[2]: [Haskell-cafe] Re: String vs ByteString

2010-08-17 Thread Tom Harper
2010/8/17 Bulat Ziganshin : > Hello Tom, > i don't understand what you mean. are you support all 2^20 codepoints > in Data.Text package? Bulat, Yes, its internal representation is UTF-16, which is capable of encoding *any* valid Unicode code

Re: [Haskell-cafe] Re: String vs ByteString

2010-08-17 Thread Tom Harper
> I agree, Data.Text is great.  Unfortunately, its internal use of UTF-16 > makes it inefficient for many purposes. In the first iteration of the Text package, UTF-16 was chosen because it had a nice balance of arithmetic overhead and space. The arithmetic for UTF-8 started to have serious perfor

[Haskell-cafe] ANN: improve-0.0.8

2010-08-14 Thread Tom Hawkins
cification ambiguities arising from multiple, conflicting requirements. Due to the nature of the conflict, it is highly unlikely that the defects would have been identified with conventional testing. -Tom [1] http://hackage.haskell.org/package/improve [2] http://yices.c

[Haskell-cafe] ANN improve-0.0.4

2010-08-11 Thread Tom Hawkins
er, it can still do interesting things -- especially with Haskell combinators in play. Hope you find it useful. And as always, questions, comments, and feedback welcome. -Tom [1] http://hackage.haskell.org/package/improve [2] http://yices.csl.sri.com/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Tom Hawkins
On Mon, Aug 9, 2010 at 12:06 PM, Lennart Augustsson wrote: > But do you think there would be more Haskell jobs offered (in absolute > terms), if no investment firms offered jobs? > Is there some kind of quota of job offers that gets used up? No and no. Again, I think it's awesome an industry as

Re: [Haskell-cafe] Re: Haskell in Industry

2010-08-09 Thread Tom Hawkins
(Yes, I realize that's were the money is, and that's who's hiring. Actually I'm very glad. Investment banking is the first industry to adopt functional programming on a large scale. And others will follow.) -Tom ___ Haskell-Cafe ma

[Haskell-cafe] Re: Haskell in Industry

2010-08-05 Thread Tom Hawkins
programmers was an automotive technician in his previous job. This supports my hypothesis that your functional programming aptitude is determined at birth. Best of luck with the job hunt. If by chance Eaton starts hiring again, I'll give you a ping. -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Maybe to Either -- is there a better way?

2010-08-03 Thread Tom Davies
On 03/08/2010, at 10:09 PM, Ertugrul Soeylemez wrote: > Tom Davies wrote: > >> I find it convenient sometimes to convert a Maybe value to an Either >> thus (excuse the syntax, it's CAL, not Haskell): >> >> maybeToEither :: a -> Maybe b -> Either a b;

[Haskell-cafe] Maybe to Either -- is there a better way?

2010-08-02 Thread Tom Davies
I find it convenient sometimes to convert a Maybe value to an Either thus (excuse the syntax, it's CAL, not Haskell): maybeToEither :: a -> Maybe b -> Either a b; maybeToEither errorValue = maybe (Left errorValue) (\x -> Right x); but that seemingly obvious function isn't in Hoogle, AFAICT, so p

Re: [Haskell-cafe] cabal, Setup.lhs example

2010-07-20 Thread Tom Hawkins
On Mon, Jul 19, 2010 at 11:54 AM, Stephen Tetley wrote: > Hi Tom > > This will the job for a UserHooks - probably preBuild? - see > Distribution.Simple.UserHooks. > > postConf - Hook to run after configure command > preBuild - Hook to run before build command. Second arg

[Haskell-cafe] cabal, Setup.lhs example

2010-07-19 Thread Tom Hawkins
I have a script I'm using to generate some Haskell code for a library. How do I specify this flow in the cabal setup file? Would someone point me to a relevant library I can reference as an example? -Tom ___ Haskell-Cafe mailing list Haskell

[Haskell-cafe] ANNOUNCE: smt-lib-0.0.1

2010-07-16 Thread Tom Hawkins
parsed. Comments, bug reports, or suggestions for improvements welcome. -Tom [1] http://hackage.haskell.org/package/smt-lib [2] http://goedel.cs.uiowa.edu/smtlib/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell-cafe] Re: chart "broken" under 6.12 according to criterion

2010-07-01 Thread Tom Doris
, thanks (Apologies, previous email sent prematurely!) Tom On 1 July 2010 10:16, Tom Doris wrote: > According to the criterion.cabal file shipped with the latest (0.5.0.1) > version of criterion, the Chart package is broken under GHC 6.12: > > flag Chart > > > __

[Haskell-cafe] chart "broken" under 6.12 according to criterion

2010-07-01 Thread Tom Doris
According to the criterion.cabal file shipped with the latest (0.5.0.1) version of criterion, the Chart package is broken under GHC 6.12: flag Chart ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-ca

[Haskell-cafe] ANN: statechart-0.0.0

2010-06-24 Thread Tom Hawkins
Statechart [1] is a program that compiles Rhapsody [2] statechart diagrams [3] into C. Rhapsody is a UML tool from IBM intended for embedded systems development. If you use Rhapsody, and its code generator makes your eyes bleed, statechart may provide some relief. -Tom [1] http

Re: [Haskell-cafe] ANN: srec-0.0.0

2010-06-22 Thread Tom Hawkins
uction set simulator [1]. -Tom [1] http://hackage.haskell.org/package/powerpc ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] ANN: srec-0.0.0

2010-06-22 Thread Tom Hawkins
A little library for reading s-record files: http://hackage.haskell.org/package/srec -Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

<    1   2   3   4   5   6   7   8   >