Re: [Haskell-cafe] ANN: newports.hs utility for freebsd

2007-06-28 Thread Donald Bruce Stewart
clawsie: > i have written a small haskell program to solve a problem many users > of freebsd may have - knowing what ports have been updated after a > daily/weekly etc cvsup. this is a trivial bit of coding hardly worth > attention, but if it might be of use to you, you can find it here: > > http:

Re: [Haskell-cafe] let vs do?

2007-06-28 Thread Greg Meredith
Thomas, Stefan, Thanks for a most edifying exchange! i will reflect on this. Best wishes, --greg On 6/28/07, Stefan Holdermans <[EMAIL PROTECTED]> wrote: Thomas, > let x = ... in ... > > is only equal > > do x <- ...; ... > > in the Identity monad. Also, why would "do" be more primitiv

Re: [Haskell-cafe] let vs do?

2007-06-28 Thread Stefan Holdermans
Thomas, let x = ... in ... is only equal do x <- ...; ... in the Identity monad. Also, why would "do" be more primitive than "let". That way you would have to use monads everywhere. Also, let is treated specially by the type checker (IIRC) and there are many, many other reasons n

[Haskell-cafe] ANN: newports.hs utility for freebsd

2007-06-28 Thread brad clawsie
i have written a small haskell program to solve a problem many users of freebsd may have - knowing what ports have been updated after a daily/weekly etc cvsup. this is a trivial bit of coding hardly worth attention, but if it might be of use to you, you can find it here: http://www.b7j0c.org/conte

Re: [Haskell-cafe] let vs do?

2007-06-28 Thread Thomas Schilling
On 28 jun 2007, at 22.02, Greg Meredith wrote: Thomas, Thanks for the reply. My thinking was that once you have a polymorphic form, why single out any other? Less moving parts makes for less maintenance, etc. Ok, sorry if my reply seemed harsh. You are of course right, that having f

Re: [Haskell-cafe] let vs do?

2007-06-28 Thread Dave Bayer
On Jun 28, 2007, at 12:17 PM, Greg Meredith wrote: Haskellians, Once you have a polymorphic let, why do you need 'let' in the base language, at all? Is it possible to formulate Haskell entirely with do-notation where there is a standard monad for let environments? Probably this was all di

Re: [Haskell-cafe] let vs do?

2007-06-28 Thread Greg Meredith
Thomas, Thanks for the reply. My thinking was that once you have a polymorphic form, why single out any other? Less moving parts makes for less maintenance, etc. Best wishes, --greg On 6/28/07, Thomas Schilling <[EMAIL PROTECTED]> wrote: On 28 jun 2007, at 21.17, Greg Meredith wrote: > > On

Re: [Haskell-cafe] let vs do?

2007-06-28 Thread Thomas Schilling
On 28 jun 2007, at 21.17, Greg Meredith wrote: Once you have a polymorphic let, why do you need 'let' in the base language, at all? Is it possible to formulate Haskell entirely with do-notation where there is a standard monad for let environments? Probably this was all discussed before in

Re: [Haskell-cafe] Newbie question: alternative for toInt/fromInt

2007-06-28 Thread Thomas Schilling
toInt = id fromInt = id ? On 28 jun 2007, at 21.16, peterv wrote: I’m trying to get the SOE graphics library to compile for Win32 using the latest libraries. I fixed a couple of imports, but in the file GraphicsTypes.hs, the functions toInt/fromInt are used, which are now obsolete:

Re: [Haskell-cafe] Newbie question: alternative for toInt/fromInt

2007-06-28 Thread Stefan O'Rear
On Thu, Jun 28, 2007 at 09:16:37PM +0200, peterv wrote: > I'm trying to get the SOE graphics library to compile for Win32 using the > latest libraries. > > I fixed a couple of imports, but in the file GraphicsTypes.hs, the functions > toInt/fromInt are used, which are now obsolete: > > type Dimen

[Haskell-cafe] let vs do?

2007-06-28 Thread Greg Meredith
Haskellians, Once you have a polymorphic let, why do you need 'let' in the base language, at all? Is it possible to formulate Haskell entirely with do-notation where there is a standard monad for let environments? Probably this was all discussed before in the design deliberations for the language

[Haskell-cafe] Newbie question: alternative for toInt/fromInt

2007-06-28 Thread peterv
I'm trying to get the SOE graphics library to compile for Win32 using the latest libraries. I fixed a couple of imports, but in the file GraphicsTypes.hs, the functions toInt/fromInt are used, which are now obsolete: type Dimension = Int toDimension:: Win32.INT -> Dimension fromDimens

Re: [Haskell-cafe] Re: practicality of typeful programming

2007-06-28 Thread Pasqualino 'Titto' Assini
Hi Daniil, I had a look at the paper and associated code that Oleg refers to there is no special parsing taking place: From Vector/read-examples.hs: v3 = do let m1 = $(dAM [[1,2],[3,4]]) s <- readFile "Vector/example-data.txt" listMatRow (read s) (\(m2::AVector Double a) ->

Re: [Haskell-cafe] New New newbie question/help

2007-06-28 Thread Jules Bean
Paul Hudak wrote: As an aside, looking at your code a bit closer, I see this: (polygon [(x,y),(a,b),(x,y)])) where b = y + side * sin(pi/3) a = x + side * cos(pi/3) Something is not right here -- you repeat (x,y) as a vertex. Probably the third vertex shou

Re: [Haskell-cafe] Status of MIME Strike Force

2007-06-28 Thread Arie Peterson
Jeremy Shaw wrote: >> What is the status of the MIME Strike Force? > > Currently it is on hold while I work on some other higher priority > projects. But, I do hope to get back to it soon. (Or, perhaps someone > else will have time to work on it). OK. Good to hear it is still alive, if slumbering

Re: [Haskell-cafe] Re: practicality of typeful programming

2007-06-28 Thread Daniil Elovkov
2007/6/28, Pasqualino 'Titto' Assini <[EMAIL PROTECTED]>: On Wednesday 27 June 2007 23:28:44 [EMAIL PROTECTED] wrote: > In his system, the type of the matrix includes includes the matrix > size and dimensions, so invalid operations like improper matrix > multiplication can be rejected statically.

Re: [Haskell-cafe] Re: practicality of typeful programming

2007-06-28 Thread Pasqualino 'Titto' Assini
On Wednesday 27 June 2007 23:28:44 [EMAIL PROTECTED] wrote: > In his system, the type of the matrix includes includes the matrix > size and dimensions, so invalid operations like improper matrix > multiplication can be rejected statically. And yet, his library > permits matrices read from files. R

Re: [Haskell-cafe] Tools for Haskell and COM

2007-06-28 Thread Andreas Marth
>From my point of view it is a real shame that we don't have a reliable one yet! What is with all that mumble of reusable code, interoperability and enhanced stabilty if you can't use/proof it because it is a nightmare to use it in a common project. Where common project means: windows and office

Re[2]: [Haskell-cafe] Language semantics

2007-06-28 Thread Bulat Ziganshin
Hello Andrew, Thursday, June 28, 2007, 1:28:05 AM, you wrote: > Wow, wait a sec - case expressions are allowed to have guards too?? btw, it's used to implement boolean switches: case () of _ | a>0 -> 1 | a<0 -> -1 | otherwise -> 0 -- Best regards, Bulat

RE: [Haskell-cafe] Tools for Haskell and COM

2007-06-28 Thread Bayley, Alistair
> From: Tim Docker [mailto:[EMAIL PROTECTED] > > Alistair Bayley wrote: > > > I want to interface Takusen with MS Sql Server, > > but AFAICT the recommended C API is OLE DB, which > > is a COM API. > > An alternative would be to write a takusen <-> freetds binding > (http://www.freetds.org/). T

Re: [Haskell-cafe] HDBC and Sqlite3: SqlValue is restricted to SqlString

2007-06-28 Thread Malte Milatz
Michael T. Richter: > http://www.sqlite.org/datatype3.html > > Short summary: any data you put into SQLite3 may or may not come out > as text. :D Thanks, Michael. (I'm forwarding this to the list again because there is at least one other person interested.) Well, I've read that page before and