Re: [Haskell-cafe] [Haskell.org Google Summer of Code] trac signup issues

2010-03-13 Thread Carter Schonwald
Hello, could I be added to interested students list too? -Carter Schonwald (use my above email) On Sat, Mar 13, 2010 at 8:34 AM, Marco Túlio Gontijo e Silva mar...@debian.org wrote: Hi Edward. Excerpts from Edward Kmett's message of Sex Mar 12 15:52:50 -0300 2010: It has come to my

Re: [Haskell-cafe] When is a bug GHC's fault/strange STM behaviour

2010-03-13 Thread Carter Schonwald
is it possibly something related to how the gc interacts with that many threads in that context? On Sat, Mar 13, 2010 at 11:36 AM, Michael Lesniak mlesn...@uni-kassel.dewrote: Hello, In one of my example programs I have a strange behaviour: it is a very simple taskpool using STM; in

Re: [Haskell-cafe] [Haskell.org Google Summer of Code] trac signup issues

2010-03-13 Thread Carter Schonwald
Hello, I'd like to be added to the interested students list too - Carter Schonwald On Saturday, March 13, 2010, Marco Túlio Gontijo e Silva mar...@debian.org wrote: Hi Edward. Excerpts from Edward Kmett's message of Sex Mar 12 15:52:50 -0300 2010: It has come to my attention

[Haskell-cafe] difficulty getting cabal and macports to play nice

2010-03-13 Thread Carter Schonwald
Hello, I'm not sure if theres a more specialized list for which this might be appropriate, but cabal (up to date) on snow leopard can't seem to find libraries installed by macports even if i show it where they are (which i have in fact installed the most up to date version of with the macports

Re: [Haskell-cafe] difficulty getting cabal and macports to play nice

2010-03-14 Thread Carter Schonwald
is the relevant message at the end. I think i'm going to call it a night On Sun, Mar 14, 2010 at 5:25 AM, Brandon S. Allbery KF8NH allb...@ece.cmu.edu wrote: On Mar 14, 2010, at 01:53 , Carter Schonwald wrote: sudo cabal install --extra-lib-dirs=/opt/local/lib --extra-include-dirs=/opt/local/include

Re: [Haskell-cafe] difficulty getting cabal and macports to play nice

2010-03-14 Thread Carter Schonwald
/opt/local/macports/variants.conf) so that On Sun, Mar 14, 2010 at 6:46 AM, Carter Schonwald carter.schonw...@gmail.com wrote: hrm... I'm encountering a whole slew of problems getting gtk2hs to build now, might be snow leopard related glib/System/Glib.hs:13:0: Failed to load interface

Re: [Haskell-cafe] Garbage collecting pointers

2010-03-26 Thread Carter Schonwald
I have to Point out that any such scheme as is being described would need to be done quite carefully as to not break pass by reference data semantics that Haskell enjoys/ the wealth of sharing Moreover, as I understand it, something like this only is feasible in general for statically sized data

[Haskell-cafe] haskell gsoc proposal for richer numerical type classes and supporting algorithms

2010-04-07 Thread Carter Schonwald
chunk of my time/energy for this coming summer. Also, I do in fact have enough of an algorithms, pl, and math background to undertake this project, though I'll leave that info for the gsoc app if there proves to be an interest in the proposal. again, thanks for any feedback! -Carter Schonwald

[Haskell-cafe] problem with cabal on snow leopard

2010-04-17 Thread Carter Schonwald
Hello all, I can't seem to find it documented anywhere as to the default directories that cabal puts its information in (its certainly not in ~/.cabal ), as I'm finding that even when I try to do a reinstall of the haskell platform, cabal thinks that all the libraries i removed are still there.

Re: [Haskell-cafe] problem with cabal on snow leopard

2010-04-17 Thread Carter Schonwald
overlooking? On Sat, Apr 17, 2010 at 6:51 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Carter Schonwald carter.schonw...@gmail.com writes: I can't seem to find it documented anywhere as to the default directories that cabal puts its information in (its certainly not in ~/.cabal

Re: [Haskell-cafe] problem with cabal on snow leopard

2010-04-18 Thread Carter Schonwald
that is good to know! thanks -carter On Sun, Apr 18, 2010 at 1:09 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Carter Schonwald carter.schonw...@gmail.com writes: the deleting .ghc/ solves that problem, but another problem i've had is that when trying to build gtk2hs, I'm

Re: [Haskell-cafe] Interest in a Mathematics AI strike force ?

2010-05-04 Thread Carter Schonwald
I'd be quite interested in this sort of project . Please keep me in the loop, -Carter On Mon, May 3, 2010 at 11:06 PM, Alp Mestanogullari a...@mestan.fr wrote: Ok guys, Ivan takes care of graphs =) Note that it's more about computational mathematics, for things one would do for example with

Re: [Haskell-cafe] Good US Grad schools for functional languages?

2010-05-13 Thread Carter Schonwald
to as many programs that you are genuinely interested in going to as is possible, even relatively small programs can have only 8 admitted student slots across all areas of CS and 200+ applicants! Best -Carter Schonwald On Thu, May 13, 2010 at 1:53 PM, Pierre-Etienne Meunier pierreetienne.meun

[Haskell-cafe] possible bug in default module lookup scheme / or invalid haskell?

2010-07-17 Thread Carter Schonwald
Hello All, I'm not sure if this either a bug in how ghc does path/module lookup or it simply is invalid haskell: consider modules A, A.B and A.B.C where A imports A.B, and A.B imports A.B.C with the following file system layout A.hs A/B.hs A/B/C.hs minimal file examples: module A where

Re: [Haskell-cafe] possible bug in default module lookup scheme / or invalid haskell?

2010-07-18 Thread Carter Schonwald
: On Sat, 17 Jul 2010 22:45:57 -0700, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Carter Schonwald carter.schonw...@gmail.com writes: Hello All, I'm not sure if this either a bug in how ghc does path/module lookup or it simply is invalid haskell: consider modules A, A.B

Re: [Haskell-cafe] possible bug in default module lookup scheme / or invalid haskell?

2010-07-18 Thread Carter Schonwald
, 2010 at 1:34 PM, Anthony Cowley acow...@seas.upenn.eduwrote: On Sun, Jul 18, 2010 at 3:59 AM, Carter Schonwald carter.schonw...@gmail.com wrote: I don't think that semantics creates the sort of ambiguity that Kevin is concerned about, and while yes there simple alternative approaches

Re: [Haskell-cafe] possible bug in default module lookup scheme / or invalid haskell?

2010-07-18 Thread Carter Schonwald
: On Sun, Jul 18, 2010 at 1:55 PM, Carter Schonwald carter.schonw...@gmail.com wrote: I'm not sure I follow, because the toy example I'm asking about does in fact use hierarchical module names... are you proposing that a reasonable workaround in my use case is to do :cd .. :r

[Haskell-cafe] hdbc-mysql broken on snow-leopard?

2010-08-07 Thread Carter Schonwald
Hey All, when i build hdbc-mysql and then try to run some example code, i get the following error message: Loading package HDBC-mysql-0.6.3 ... can't load .so/.DLL for: mysqlclient (dlopen(libmysqlclient.dylib, 9): no suitable image found. Did find: /usr/local/lib/libmysqlclient.dylib:

Re: [Haskell-cafe] (automatic) type classes context inference

2010-08-28 Thread Carter Schonwald
i believe that a valid idiom is to define a class C that has no functions, but requires any instance to also be of type classes A and B, so that you can write: C a = blah rather than (A a,B a)= blah, though I don't know how often such is used in practice the same idea should apply more

[Haskell-cafe] combinators in the syb lib -- or generic heterogeneous traversals that fold

2010-08-30 Thread Carter Schonwald
Hello All, In the course of some code I've been working on, I found I needed generic foldl / foldr over heterogeneous data structures, where I can easily pick whether I want top down left right, botom up left right, and ___ right left traversals, and to in tandem sensibly approach if a parent

[Haskell-cafe] Re: combinators in the syb lib -- or generic heterogeneous traversals that fold

2010-08-30 Thread Carter Schonwald
i'm sorry, the example with the flip list would be flipList [[1,2],[3,4]] ==[4,3,2,1] On Mon, Aug 30, 2010 at 10:54 PM, Carter Schonwald carter.schonw...@gmail.com wrote: Hello All, In the course of some code I've been working on, I found I needed generic foldl / foldr over heterogeneous

[Haskell-cafe] is datetime actively maintained?

2011-01-16 Thread Carter Schonwald
Hey All, I can't tell if datetime is actively maintained, and its version constraints need to be adjusted to allow base4 (which would then allow a whole mess of other packages including gitit build under ghc7). I've been sucessful building gitit with ghc7 64 on OS X and using it if that one

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: OpenGL 2.3.0.0

2009-07-31 Thread Carter Schonwald
I just the the rebuild of the haskell glut / opengl libs and I got the following message Configuring OpenGLRaw-1.0.1.0... cabal: Missing dependency on a foreign library: * Missing C library: GL This problem can usually be solved by installing the system package that provides this library (you may

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: OpenGL 2.3.0.0

2009-07-31 Thread Carter Schonwald
or similar tool). Regards, Rafael On Fri, Jul 31, 2009 at 17:24, Carter Schonwald carter.schonw...@gmail.com wrote: I just the the rebuild of the haskell glut / opengl libs and I got the following message Configuring OpenGLRaw-1.0.1.0... cabal: Missing dependency on a foreign library

Re: [Haskell-cafe] funct.prog. vs logic prog., practical Haskell

2009-08-02 Thread Carter Schonwald
are you a student (undergrad or grad) or faculty (junior or senior)? These are all very different scenarios and accordingly different goals are realistic. For example, if you're a student, it might be more realistic to start with finding a professor who will be willing to supervise an

Re: [Haskell-cafe] funct.prog. vs logic prog., practical Haskell

2009-08-02 Thread Carter Schonwald
-0400, Carter Schonwald wrote: are you a student (undergrad or grad) or faculty (junior or senior)? These are all very different scenarios and accordingly different goals are realistic. I'm a faculty member (postdoc). I've been working in the field of automated theorem proving, but for about

[Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-09 Thread Carter Schonwald
Hey All, As of installing xcode 4 earlier today, i'm getting errors of the form ld: library not found for -lcrt1.10.5.o collect2: ld returned 1 exit status for any haskell code that invokes ld in its cabal install process. 1) is this related to some problem in xcode / what the haskell code

Re: [Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-09 Thread Carter Schonwald
AM, Carter Schonwald carter.schonw...@gmail.com wrote: Hey All, As of installing xcode 4 earlier today, i'm getting errors of the form ld: library not found for -lcrt1.10.5.o collect2: ld returned 1 exit status for any haskell code that invokes ld in its cabal install process. 1

Re: [Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-10 Thread Carter Schonwald
...@students.uu.nl I solved it by making a symlink from /Developer/SDKs/MacOSX10.6.sdk to /Developer/SDKs/MacOSX10.5.sdk (which is missing with XCode 4). So far it seems to work :) Jurriën On 10 Mar, 2011, at 06:53 , Carter Schonwald wrote: after experimenting by just naively moving the old

Re: [Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-11 Thread Carter Schonwald
the latest xcode installer has no customization dialogues. On Fri, Mar 11, 2011 at 9:46 AM, Mark Lentczner mark.lentcz...@gmail.comwrote: I don't have Xcode4 (yet), but I'd be very surprised if Apple created an environment that cut off development for older releases. In the past, the SDKs

Re: [Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-11 Thread Carter Schonwald
fyi all: the relevant GHC ticket has already been done and the difference in how to build the ghc pkg has been identified. On Fri, Mar 11, 2011 at 11:39 AM, Carter Schonwald carter.schonw...@gmail.com wrote: the latest xcode installer has no customization dialogues. On Fri, Mar 11, 2011

Re: [Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-12 Thread Carter Schonwald
well, the xcode 4 installer doesn't delete those files, it just moves them to developer-old On Sat, Mar 12, 2011 at 5:36 AM, steffen steffen.sier...@googlemail.comwrote: There is no SDK for older Mac OS X Releases in XCode 4, but for iPhone... Not even in the Resources/Packages. Indeed Apple

Re: [Haskell-cafe] Weird warnings from recent GHC snapshot

2011-03-17 Thread Carter Schonwald
1) if you copy the 10.5sdk from developer-old into the new developer folder sdk folder, the standard ghc distro will work again 2) theres a ghc ticket for that, its apparently partly because theres no -nowarnunwind flag or the like On Thu, Mar 17, 2011 at 6:11 AM, Michael Vanier

Re: [Haskell-cafe] Uncertainty analysis library?

2011-03-21 Thread Carter Schonwald
by the way, the link to the patch-tag repo for your intervals lib seems to be dead / patch-tag gets confused, is it that the link is outdated or that there are problems on patch-tag? -Carter On Mon, Mar 21, 2011 at 4:57 PM, Edward Kmett ekm...@gmail.com wrote: On Mon, Mar 21, 2011 at 2:42 PM,

Re: [Haskell-cafe] Uncertainty analysis library?

2011-03-21 Thread Carter Schonwald
i'm now seeing that they've been moved to github, never mind! On Mon, Mar 21, 2011 at 6:01 PM, Carter Schonwald carter.schonw...@gmail.com wrote: by the way, the link to the patch-tag repo for your intervals lib seems to be dead / patch-tag gets confused, is it that the link is outdated

Re: [Haskell-cafe] impoosible dependencies

2011-04-20 Thread Carter Schonwald
Kevin, what version of cabal install are you using? I ask because prior to the 1.10.* version series, cabal would have a much harder time correctly choosing versions of dependencies, which at least for me often manifested as such confusions in caba regarding selecting versions. Prior to said

[Haskell-cafe] typing hmatrix expressions

2011-04-26 Thread Carter Schonwald
hello alberto, i've had some funny issues with using the cmap function, and i'd like understand what i'm doing wrong namely it wont correctly instantiate for vectors or matrices and I don't understand why. basically my question is: what is the correct type for the hmatrix expression mapMat f

Re: [Haskell-cafe] Can't figure out cmap in hmatrix

2011-05-30 Thread Carter Schonwald
-Carter schonwald On Mon, May 30, 2011 at 3:27 PM, Mats Klingberg maklingb...@gmail.comwrote: Hello, I'm playing around a bit with the hmatrix package ( http://hackage.haskell.org/package/hmatrix) but can't quite figure out how to make the cmap function in Numeric.Container work. An example

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

2011-06-05 Thread Carter Schonwald
the algorithms in the CGAL library might be a good starting point in terms of looking into other algorithmic approaches http://www.cgal.org/ it has a excellent set of references for its component parts On Sun, Jun 5, 2011 at 11:41 AM, Andrew Coppin andrewcop...@btinternet.comwrote: On

Re: [Haskell-cafe] ANN: combinatorics

2012-02-02 Thread Carter Schonwald
ditto On Thu, Feb 2, 2012 at 4:06 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 3 February 2012 07:11, Brent Yorgey byor...@seas.upenn.edu wrote: On Wed, Feb 01, 2012 at 01:53:03AM -0500, wren ng thornton wrote: [2] HaskellForMaths, gamma, statistics, erf, math-functions,

Re: [Haskell-cafe] Error in installing dph-examples on Mac OS X 10.7.3

2012-02-09 Thread Carter Schonwald
It may be a problem with the gloss / opengl dependencies? do you have those packages installed? I had similar trouble earlier this week wrt dph-examples, and that was the root of the matter in my case -Carter On Thu, Feb 9, 2012 at 7:04 PM, Ben Lippmeier b...@ouroborus.net wrote: On

Re: [Haskell-cafe] Error in installing dph-examples on Mac OS X 10.7.3

2012-02-10 Thread Carter Schonwald
Yes both of these packages gloss-1.6.1.1 , OpenGL-2.5.0.0 ( http://hpaste.org/63397 ) are installed on my system.Could you please tell me how did you resolve the issue. Regards Mukesh Tiwari On Feb 10, 12:11 pm, Carter Schonwald carter.schonw...@gmail.com wrote: It may be a problem

Re: [Haskell-cafe] Error in installing dph-examples on Mac OS X 10.7.3

2012-02-10 Thread Carter Schonwald
ok, this is because i think you need a stand alone LLVM backend because ghc 7.4 provides some vectorization stuff that dph uses, and so i'd suggest installing llvm on its own, or maybe its that dph calls llvm tools as its compliling? eg brew install llvm because if you look in cabal file

Re: [Haskell-cafe] Mac and Gtk2hs problem

2012-06-06 Thread Carter Schonwald
Also: if you have only very recently built gtk etc via mac homebrew, you need to build the head version of gtk2hs and family. (there was a header file / api change at some point regarding gtk, and only the darcs HEAD version of gtk2hs et al has been updated to reflect that.) On Wed, Jun 6, 2012

Re: [Haskell-cafe] Mac and Gtk2hs problem

2012-06-07 Thread Carter Schonwald
Thats almost certainly what happened. (and that HP detail even had an unfortunate effect of having the machomebrew install defaults for ghc haskell-platform default to 32bit rather than 64bit for a while, though that was recently corrected) On Thu, Jun 7, 2012 at 9:05 AM, Brandon Allbery

Re: [Haskell-cafe] Two parallel libraries from Japan

2012-06-10 Thread Carter Schonwald
Thanks these look very interesting! It seems that the parallelism is only available vai the JoinList module, am i correct in thinking this (or at least that is the only place where it is clearly inidicated in the haddock and source code). Are there any plans to leverage Cloud Haskell once the

Re: [Haskell-cafe] Interest in typed relational algebra library?

2012-07-07 Thread Carter Schonwald
I'd be interested in at least playing with it. On Saturday, July 7, 2012, Paul Visschers 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

Re: [Haskell-cafe] Relational Algebra library: first version on GitHub

2012-07-21 Thread Carter Schonwald
Great / thanks!!! This will be incredibly helpful for some of my present work. :-) On Saturday, July 21, 2012, Paul Visschers wrote: Hello, A couple of weeks ago I asked if there was interest in a library that implements a type-safe relational algebra. The response was positive, so I have

Re: [Haskell-cafe] Haskell Platform - BSD License?

2012-07-31 Thread Carter Schonwald
it looks like ghc itself is under a BSD3 style license, if thats any help. So per se, I think you can assume youre dealing with a BSD3 through and through system. see here for the ghc info http://www.haskell.org/ghc/license (this is something i've been sorting out for my own projects too, and to

Re: [Haskell-cafe] Platform Versioning Policy: upper bounds are not our friends

2012-08-15 Thread Carter Schonwald
As someone who recurrently is nudging a large number of maintainers every major ghc release to bump their bounds, I favor the no upper bounds approach! :) plus the whole improving ecosystem of build bot tools which play nice with cabal et al that are cropping up mean that in principal we could

Re: [Haskell-cafe] Platform Versioning Policy: upper bounds are not our friends

2012-08-15 Thread Carter Schonwald
no one is disputing that there are conditional changes in dependencies depending on library versions. an interesting intermediate point would be have a notion of testing with constraints in cabal and engineering cabal to support a --withTestedConstraints to have a simple composable way of

Re: [Haskell-cafe] A first glimps on the {-# NOUPDATE #-} pragma

2012-08-28 Thread Carter Schonwald
Hey Joachim, isn't this an example where the exact same issue could be solved via some suitable use of a monad for ordering those two computations on l? cheers -Carter On Tue, Aug 28, 2012 at 12:44 PM, Joachim Breitner breit...@kit.edu wrote: Dear GHC users, I am experimenting with ways to

Re: [Haskell-cafe] A first glimps on the {-# NOUPDATE #-} pragma

2012-08-28 Thread Carter Schonwald
UTC+2, Carter Schonwald a écrit : Hey Joachim, isn't this an example where the exact same issue could be solved via some suitable use of a monad for ordering those two computations on l? cheers -Carter On Tue, Aug 28, 2012 at 12:44 PM, Joachim Breitner brei...@kit.eduwrote: Dear GHC users

Re: [Haskell-cafe] hellno - a somewhat different approach to tackling cabal hell

2012-09-02 Thread Carter Schonwald
awesome! I look forward to playing with this and hopefully saying hell yeah when i'm done :) -Carter On Sun, Sep 2, 2012 at 2:51 PM, Niklas Hambüchen m...@nh2.me wrote: Hell yeah! Looks like a nice approach. On Sun 02 Sep 2012 19:25:08 BST, Danny B wrote: Like many of us, I've suffered

Re: [Haskell-cafe] hellno - a somewhat different approach to tackling cabal hell

2012-09-02 Thread Carter Schonwald
perhaps the *right* solution is to view that as a bootstrap build, and then have hellno build itself? :) That said, its also an executable rather than library, so its not quite the same problem. On Sun, Sep 2, 2012 at 11:15 PM, Richard Wallace rwall...@thewallacepack.net wrote: I like the

Re: [Haskell-cafe] Haskell seems setup for iterative numerics; i.e. a standard example is Newton's method where lazy evaluation ...

2012-09-05 Thread Carter Schonwald
Hello KC, you should check out the Repa library then and see how it works for you. Cheers -Carter On Wed, Sep 5, 2012 at 12:46 PM, KC kc1...@gmail.com wrote: separates control from computation. It seems as if Haskell would be better for iterative matrix methods rather than direct

Re: [Haskell-cafe] Haskell seems setup for iterative numerics; i.e. a standard example is Newton's method where lazy evaluation ...

2012-09-05 Thread Carter Schonwald
in the mean time I suggest using Hmatrix then :) On Wed, Sep 5, 2012 at 4:10 PM, KC kc1...@gmail.com wrote: The REPA package/library doesn't have LU factorization, eigenvalues, etc. On Wed, Sep 5, 2012 at 12:59 PM, Carter Schonwald carter.schonw...@gmail.com wrote: Hello KC, you should

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-25 Thread Carter Schonwald
Hi Eugene, To the best of my knowledge there is absolutely no reason to use the 32bit haskell on OS X (aside from memory usage optimization cases which likely do not matter to the *typical* user), and the community should probably update the recommendation to reflect this. I can certainly attest

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-26 Thread Carter Schonwald
of their programs. I am hence glad that there is still the 32-bit recommendation for OS X. Cheers, Christiaan [1] http://hackage.haskell.org/package/gloss - install with: cabal install gloss --flags=-GLUT GLFW On Sep 26, 2012, at 1:16 PM, Bob Hutchison wrote: On 2012-09-26, at 1:44 AM, Carter

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-27 Thread Carter Schonwald
unpacked-folder/picture/GameEvent ghci -fno-ghci-sandbox Main.hs main I'll try to find another OS X 10.8 install (I don't want to upgrade) and see if the behaviour still emerges. On Sep 26, 2012, at 11:03 PM, Carter Schonwald wrote: really? does the 64 bit code work correctly

Re: [Haskell-cafe] Strange things with type literals of kind Nat

2012-10-02 Thread Carter Schonwald
Hello Troels, there is no solver included with ghc 7.6, if you wish to experiment with equational reasoning with the type level nats, you'll have to look into the ghc type-lits branch which includes a solver. (yes, confusng, but true) On Tue, Oct 2, 2012 at 2:54 PM, Troels Henriksen

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-10-08 Thread Carter Schonwald
Eugene: I think thats a bug / ticket for the haskell platform trac, rather than ghc's trac. look forward to seeing how to reproduce those problems / helping fix em! On Mon, Oct 8, 2012 at 3:08 PM, Eugene Kirpichov ekirpic...@gmail.comwrote: Johan, should I also file the bugreport remove the

Re: [Haskell-cafe] Ordering of BigFloats in numbers-3000.0.0.0

2012-10-09 Thread Carter Schonwald
you should probably file a ticket on the DanBurton repo if he's the one doing the uploading :-) On Tue, Oct 9, 2012 at 12:55 PM, Michael Orlitzky mich...@orlitzky.comwrote: On 10/09/2012 12:29 PM, Chaddaï Fouché wrote: On Sun, Oct 7, 2012 at 8:00 PM, Michael Orlitzky mich...@orlitzky.com

Re: [Haskell-cafe] Why doesn't GHC optimize recursive functions by converting them into `let`?

2012-11-08 Thread Carter Schonwald
Hey Petr, interesting post! (and links) I imagine that one issue that would make it not a default activity by GHC is that this sort of strategy has the following implications: 1) ghc in general doesn't always want to inline in general, inlining increases the size of code! and depending on how

Re: [Haskell-cafe] ANN: fixed-vector

2012-11-11 Thread Carter Schonwald
Michael, I think that calls for a type-class! (though I imagine theres a slicker way of writing it) On Sun, Nov 11, 2012 at 11:18 PM, Michael Orlitzky mich...@orlitzky.comwrote: On 11/10/2012 06:59 AM, Aleksey Khudyakov wrote: Hello cafe! I want to announce library for the small vectors

Re: [Haskell-cafe] Taking over ghc-core

2012-11-16 Thread Carter Schonwald
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 Agda to core instead of hs. Andreas On 11.11.12 11:41 AM, Bas van Dijk

Re: [Haskell-cafe] Is anyone working on a sparse matrix library in Haskell?

2012-11-30 Thread Carter Schonwald
I look forward to see what comes of this! On Fri, Nov 30, 2012 at 4:58 PM, Mark Flamer m...@flamerassoc.com wrote: Thanks for all the replies, It sounds like there is enough interest and even some potential collaborators out there. I have created a few data structures to represent sparse

Re: [Haskell-cafe] Large, numerical calculations in Haskell

2012-12-12 Thread Carter Schonwald
Emil, there is an actively maintained set of FFTW bindings on hackage, would that help you? cheers -Carter On Wed, Dec 12, 2012 at 5:03 AM, Emil Hedevang emilhedev...@gmail.comwrote: Hi A.M. and Dominic, I have been following the development of Repa for some time, mostly reading blogs and

[Haskell-cafe] reviving HaNS (haskell network stack)

2012-12-12 Thread Carter Schonwald
Hey All, I noticed that the really cool HaNS work (a mostly pure HS + bits of C networking stack) seems to have languished for quite some time, and the absence of a publicly visible repo certainly doesnt help! accordingly, i've taken the most recent code snapshot from the galois archive repo and

Re: [Haskell-cafe] reviving HaNS (haskell network stack)

2012-12-12 Thread Carter Schonwald
wooops, seems theres a galois repo on github here https://github.com/GaloisInc/HaNS On Wed, Dec 12, 2012 at 3:04 PM, Carter Schonwald carter.schonw...@gmail.com wrote: Hey All, I noticed that the really cool HaNS work (a mostly pure HS + bits of C networking stack) seems to have

Re: [Haskell-cafe] [Announcement] HsLlvm v0.1: Using Hoopl to optimize LLVM Code

2013-02-11 Thread Carter Schonwald
Hey Ning, impressive start and I look forward to seeing how this evolves! best -Carter On Tue, Feb 12, 2013 at 12:37 AM, Ning Wang em...@ningwang.org wrote: My focus is on - Providing util to support developing LLVM-LLVM transformation - Providing EDSL to generate LLVM code (I'm thinking

Re: [Haskell-cafe] Embedded haskell?

2013-02-20 Thread Carter Schonwald
in addition to atom http://hackage.haskell.org/package/atom/ theres also copilot http://hackage.haskell.org/package/copilot point being: theres lots of great tools you can use to target embedded systems that leverage haskell in cool ways! (eg: hArduino on the more hobbyist side, which I need to

Re: [Haskell-cafe] Open-source projects for beginning Haskell students?

2013-03-12 Thread Carter Schonwald
+ 1000, there are so many widely used niche libs which would greatly benefit from more examples in their test suites, or which have tractable small improvement / enhancement tickets languishing. Plus most large systems engineering does involve helping improve preexisting some part of the time.

Re: [Haskell-cafe] Optimization flag changing result of code execution

2013-03-15 Thread Carter Schonwald
Hey Azeem, have you tried running the same calculation using rationals? Theres some subtleties to writing numerically stable code using floats and doubles, where simple optimizations change the orders of operations in ways that *significantly* change the result. In this case it looks like you're

Re: [Haskell-cafe] Compiled program using OpenGL fails to trigger GPU switch on Mac, but works in GHCi

2013-03-17 Thread Carter Schonwald
Hey Jesper: hrm... have you tried other compilation / ffi choices that can influence the function call? eg: using the safe rather than unsafe modifier? http://www.haskell.org/haskellwiki/GHC/Using_the_FFI#Introduction (the safe modifier doesn't seem like it matters here, but its a simple

Re: [Haskell-cafe] Compiled program using OpenGL fails to trigger GPU switch on Mac, but works in GHCi

2013-03-18 Thread Carter Schonwald
with -threaded (as suggested by John Lato), with the foreign functions marked as safe and unsafe (as suggested by Carter Schonwald). * I've checked that the main thread of my Haskell program is bound to an OS thread [2], which it is when using the threaded runtime. I've also tried explicitly running

Re: [Haskell-cafe] GSoC proposal: Data Visualization

2013-04-12 Thread Carter Schonwald
Hello Ernesto, There are a number of efforts underway to provide better data vis libraries for haskell. Likewise, there was some recent discussion on the Diagrams mailing list about data vis tooling, and there should be a few interesting tools surfacing over the coming few months. My immediate

Re: [Haskell-cafe] GSoC proposal: Data Visualization

2013-04-13 Thread Carter Schonwald
Heinrich, you hit the nail on the head. for an interactive plotting story to work well, we wind up needing to have better tools in the ecosystem on the gui / computational notebook side. on the other hand, similar work was done last summer, as heinrich mentions, in the form of ghc live

Re: [Haskell-cafe] Two GHC-related GSoC Proposals

2013-04-21 Thread Carter Schonwald
Hey Patrick, both are excellent ideas for work that would be really valuable for the community! (independent of whether or not they can be made into GSOC sided chunks ) --- I'm actually hoping to invest some time this summer investigating improving the numerics optimization story in ghc. This

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-05-02 Thread Carter Schonwald
indeed. That approach seems like the most likely to be successful within the scope of a single summer. That said, this does raise the question of what needs to be fixed up / added to the haddock grammar to a) make it a rich target for pandoc b) make sure the augmented haddock grammar is human

Re: [Haskell-cafe] Backward compatibility

2013-05-02 Thread Carter Schonwald
Emphatic agreement on this point. Likewise, the strong type system and the often helpful type error messages make it really easy to update code to work with more modern libs! -Carter On Thu, May 2, 2013 at 9:39 AM, David Thomas davidleotho...@gmail.comwrote: If you are actively using

Re: [Haskell-cafe] Backward compatibility

2013-05-04 Thread Carter Schonwald
What pray tell are those missing pieces? Aren't they mostly building a browser based ide plus doing training courses ? On May 4, 2013 1:42 PM, Ben Doyle benjamin.peter.do...@gmail.com wrote: You might want to check out FPCompletehttps://www.fpcomplete.com/page/about-us, if you haven't

Re: [Haskell-cafe] Hackage checking maintainership of packages

2013-05-06 Thread Carter Schonwald
is that really a problem though? Who's problem are we trying to solve? Is this being proposed to help seasoned haskellers, or make getting started easier for new folks? those are two VERY different problems. Also many of the maintainers for heavily used packages are incredibly busy as is, do

Re: [Haskell-cafe] Problem with mailman at projects.haskell.org

2013-05-12 Thread Carter Schonwald
I've had this problem too. Was trying to sign up for the llvm HS lib list but cant. I asked on Haskell irc and no one seems to know who admins the lists currently. On May 12, 2013 7:24 AM, Tim Docker t...@dockerz.net wrote: Hi, Has anyone noticed problems with the mailman instance running at

Re: [Haskell-cafe] How to throw an error if using cabal-install version XYZ?

2013-05-22 Thread Carter Schonwald
Hey Ryan, I ran into a related issue, heres a a way you can do this safe IN the cabal file (or at least you can modify my hack for your purposes) heres a link to the workaround I did for making LLVM-hs work across = 1.17 and 1.17 cabal, but you could abuse it to make sure setup.hs barfs on old

Re: [Haskell-cafe] How to throw an error if using cabal-install version XYZ?

2013-05-23 Thread Carter Schonwald
constraining it to = 1.17 would be better while 1.18 isn't out yet.. On Thu, May 23, 2013 at 1:42 AM, Roman Cheplyaka r...@ro-che.info wrote: Perhaps I'm missing something, but why not just cabal-version: =1.18 ? It will constrain the Cabal version, not cabal-install, but judging

Re: [Haskell-cafe] [haskell.org Google Summer of Code 2013] Approved Projects

2013-05-29 Thread Carter Schonwald
indeed, i'm the principal mentor for this project, though as mentioned Ian-Woo will hopefully be helping out too. I'm going to *help* focus the project on being a tool thats not focused on QT, though if something nice can be worked out in that direction, great! indeed, I suspect Edward, Ian-Woo

Re: [Haskell-cafe] [haskell.org Google Summer of Code 2013] Approved Projects

2013-05-29 Thread Carter Schonwald
Ooo. Thanks Jason. That looks like a fleshed out version of the approach I was leaning towards at least thinking about. I'll check it out when I have time in a few days. On May 29, 2013 1:57 PM, Jason Dagit dag...@gmail.com wrote: On Wed, May 29, 2013 at 10:47 AM, Carter Schonwald

Re: [Haskell-cafe] [haskell.org Google Summer of Code 2013] Approved Projects

2013-05-30 Thread Carter Schonwald
thanks for these references all. As some folks who help with GSOC mentoring have pointed out offline, this summers work is not to be a research project, but a concretely achievable over the summer by a single student project. if we hit hard obstacles i'll help sort out a concrete path that

Re: [Haskell-cafe] Int is broken [Was: Different answers on different machines]

2013-06-03 Thread Carter Schonwald
Indeed, as Dan says, theres the safeint library and the Integer type. If the Int type had either of these semantics by default, many many performance sensitive libraries would suddenly have substantially less compelling performance. Every single operation that was branchless before would have a

Re: [Haskell-cafe] How to write a pure String to String function in Haskell FFI to C++

2013-06-03 Thread Carter Schonwald
as the others have said, if you want to have text data go between ghc and c++, please use Text or Bytestring, String... would get weird. If you seriously want to experiment with writing low level code manipulating the String type, it *MIGHT* be possible using the GHC C minus minus (CMM). This

Re: [Haskell-cafe] Int is broken [Was: Different answers on different machines]

2013-06-03 Thread Carter Schonwald
operations on the CPU, the agner fog http://agner.org/optimize/#manuals manuals are actually very educational. merry hacking -Carter On Mon, Jun 3, 2013 at 3:07 AM, Tommy Thorn tt1...@yahoo.com wrote: On Jun 2, 2013, at 23:58 , Carter Schonwald carter.schonw...@gmail.com wrote: Indeed, as Dan

Re: [Haskell-cafe] Int is broken [Was: Different answers on different machines]

2013-06-03 Thread Carter Schonwald
, but with interesting software you will be using none portable features per target platform. And thats OK. Its a tradeoff thats sometimes worth making. On Jun 3, 2013 4:19 AM, Tommy Thorn tt1...@yahoo.com wrote: On Jun 3, 2013, at 00:23 , Carter Schonwald carter.schonw...@gmail.com wrote: Int

Re: [Haskell-cafe] Array, Vector, Bytestring

2013-06-04 Thread Carter Schonwald
I really don't understand this concern. These libraries are tuned for wildly different workloads and use cases, so these sorts of micro benchmarks are an Apples to Frogs comparisons. (even aside from the fact that you'll get very different perf if you used -fllvm and set things up so the array

Re: [Haskell-cafe] Proposal: Non-recursive let

2013-07-10 Thread Carter Schonwald
theres a very simple way to do non recursive let already! do notation in the identity monad. I use it quite a lot lately. On Wed, Jul 10, 2013 at 1:49 PM, Ertugrul Söylemez e...@ertes.de wrote: Ezra e. k. Cooper e...@ezrakilty.net wrote: As starter suggestions for the keyword or syntax, I

Re: [Haskell-cafe] Proposal: Non-recursive let

2013-07-11 Thread Carter Schonwald
Yup. Nested cases *are* non recursive lets. (Can't believe I forgot about that ) On Thursday, July 11, 2013, Edward Kmett wrote: On Wed, Jul 10, 2013 at 3:47 AM, o...@okmij.org javascript:_e({}, 'cvml', 'o...@okmij.org'); wrote: Jon Fairbairn wrote: It just changes forgetting to use

Re: [Haskell-cafe] OS X ghci problem

2013-07-13 Thread Carter Schonwald
has anyone tried using ghci HEAD? If the problem is linker based... perhaps ghci that uses the system Dylinker might resolve it? -Carter On Sat, Jul 13, 2013 at 8:32 PM, Anthony Cowley acow...@gmail.com wrote: On Jul 13, 2013, at 8:04 PM, Jason Dagit dag...@gmail.com wrote: On Sat, Jul 13,

Re: [Haskell-cafe] OS X ghci problem

2013-07-14 Thread Carter Schonwald
relatedly: johnW has nightly builds of GHC head for OS X 10.8 available for download for those who would be up for braving such experimentation ghc.newartisans.com On Sat, Jul 13, 2013 at 10:16 PM, Jason Dagit dag...@gmail.com wrote: On Sat, Jul 13, 2013 at 6:44 PM, Carter Schonwald

Re: [Haskell-cafe] Dynamic and equality

2013-07-19 Thread Carter Schonwald
the tricky part then is to add support for other types. another approach to existentially package type classes with the data type! eg data HasEq = forall a . HasEq ( Eq a = a) or its siblinng data HasEq a = Haseq (Eq a = a ) note this requires more planning in how you structure your program,

Re: [Haskell-cafe] Rank N Kinds

2013-07-27 Thread Carter Schonwald
hello Wvv, a lot of these ideas have been explored before in related (albeit simpler) languages to haskell, are you familiar with idris, coq, or agda? cheers -Carter On Fri, Jul 26, 2013 at 4:42 PM, Wvv vite...@rambler.ru wrote: It was discussed a bit here:

  1   2   >