[Haskell-cafe] haskell or lazy functional as procedure language

2011-08-24 Thread Permjacov Evgeniy
Ok, I know, I want something strange. But consider situation, when one is starting a project and finds, that he need s 1) ACID relational storage 2) Power of good RDBMS system (postgresql for example) 3) Power of some very hight level language and compiled (haskell for example) for stored

[Haskell-cafe] Terminal library : which ?

2011-02-24 Thread Permjacov Evgeniy
What terminal library you will recomedn? Requirements: crossplatform (win/lin), with direct (i.e. with line/column number pair) cursor positioning and possybly direct symbol output. MUST provide function to get terminal dimensions. (could not find one).

[Haskell-cafe] File position

2011-02-08 Thread Permjacov Evgeniy
Is there any way to get current position from System.IO.Handle as Integer? If no, what other b windows/unix portable/b IO function set of file io with this functionality you can suggest? keeping track of current position by hand is not an option, sorry. I'm thinking about c's low-level functions

Re: [Haskell-cafe] ANN: extcore 1.0

2011-01-16 Thread Permjacov Evgeniy
On 01/13/2011 10:45 PM, Tim Chevalier wrote: Hello, I've recently released version 1.0 of extcore, a library for processing code in GHC's text-based External Core format. extcore includes a parser, prettyprinter, typechecker, and interpreter for External Core, as well as modules for

Re: [Haskell-cafe] parsec2 vs. parsec3... again

2011-01-13 Thread Permjacov Evgeniy
On 12/23/2010 06:01 AM, Evan Laforge wrote: This is not very encouraging! Especially strange is how Text generates *more* allocation... I'd expect less since it doesn't unpack all the Texts. Errgh. To check against predicate, library HAS to unpack checked character. There is no way around

[Haskell-cafe] typesetting with lhs2tex

2010-12-16 Thread Permjacov Evgeniy
I write docs for my iteratee-like library and I have problem with lhs2tex. When I execute lhs2tex and then latex, I get a document with long typesignatures and expressions expanded beyound page margins. I attached a sourcefile I have problem with. Can someone give me an advise how to force long

Re: [Haskell-cafe] Iteratee-like

2010-12-15 Thread Permjacov Evgeniy
On 12/15/2010 05:48 PM, John Lato wrote: From: Permjacov Evgeniy permea...@gmail.com mailto:permea...@gmail.com current links https://github.com/permeakra/Rank2Iteratee https://github.com/permeakra/PassiveIteratee The main difference from 'original' iteratees I

Re: [Haskell-cafe] Iteratee-like

2010-12-15 Thread Permjacov Evgeniy
On 12/15/2010 05:48 PM, John Lato wrote: From: Permjacov Evgeniy permea...@gmail.com mailto:permea...@gmail.com current links https://github.com/permeakra/Rank2Iteratee https://github.com/permeakra/PassiveIteratee The main difference from 'original' iteratees I

[Haskell-cafe] Iteratee-like

2010-12-14 Thread Permjacov Evgeniy
Ok, I think, I made it right now. I wrote two versions of the very same module with roughly the same interface. It is minimalistic framework for producing, transforming, zipping and folding streaming data (a sample code that does file IO provided, but it is not well tested yet). One version abuses

[Haskell-cafe] lhs2tex build failure

2010-12-14 Thread Permjacov Evgeniy
Hello! I use ghc-7.0.1 and cabal 1.10.0 . When tried to install lhs2tex-1.16 I got error in Setup.lhs: === Setup.hs:294:46: `programArgs' is not a (visible) field of constructor `ConfiguredProgram' Setup.hs:296:46: `programArgs' is not a (visible) field of

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-13 Thread Permjacov Evgeniy
Well, It looks like with 'transformer' look onto iteratees it is possible to fold two streams without anything except Iteratee, yet some complications arise. Even real zipping. for example merging two sorted streams with output stream sorted, is expressible. More preciesely, I tried to write a

[Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Permjacov Evgeniy
Hi. I Wrote a simple iteration library. It was not intensively tested, so it MAY contatin bugs, but it is very unlikely. The library is currently on github: https://github.com/permeakra/iteration I'm not ready to upload it to hackage, as some testing and extension is really needed. However, I'd

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Permjacov Evgeniy
Original Message Subject:Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions Date: Thu, 09 Dec 2010 23:07:49 +0300 From: Permjacov Evgeniy permea...@gmail.com To: Antoine Latter aslat...@gmail.com On 12/09/2010 10:54 PM, Antoine

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Permjacov Evgeniy
recall, type families. This makes mtl haskell-2010 and haskell-98 uncompilant -(. Functional dependencies and type familes are tricky things, so it is better to avoid them. Thanks for your response, Antoine On Thu, Dec 9, 2010 at 2:07 PM, Permjacov Evgeniy permea...@gmail.com wrote: On 12/09

[Haskell-cafe] haskell-2010 binary IO

2010-12-09 Thread Permjacov Evgeniy
Does haskell 2010 include binary IO? If no, what was the reason? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Digests

2010-12-03 Thread Permjacov Evgeniy
On 12/03/2010 10:48 AM, Serguey Zefirov wrote: 2010/12/3 Permjacov Evgeniy permea...@gmail.com: Most of the time you can get away with usual block ciphers (and even with weaker parameters). There is a scheme that transforms block cipher into hash function: http://en.wikipedia.org/wiki/CRHF

Re: [Haskell-cafe] Digests

2010-12-03 Thread Permjacov Evgeniy
On 12/03/2010 11:40 AM, Serguey Zefirov wrote: 2010/12/3 Permjacov Evgeniy permea...@gmail.com: */me wrote it into to_read list. The problem is, however, that block ciphers are quite unfriendly to plain word8 streams. It is not a deadly problem, but i'd like to avoid block collections. All

[Haskell-cafe] Digests

2010-12-02 Thread Permjacov Evgeniy
The data integrity checks is well-known problem. A common soluting is use of 'checksums'. Most of them , however, are built in quite obfuscated manner (like md5) that results in ugly and error-prone implementations (see reference implementation for same md5). So, the question is: is there a

Re: [Haskell-cafe] Digests

2010-12-02 Thread Permjacov Evgeniy
On 12/03/2010 12:33 AM, Serguey Zefirov wrote: 2010/12/3 Permjacov Evgeniy permea...@gmail.com: The data integrity checks is well-known problem. A common soluting is use of 'checksums'. Most of them , however, are built in quite obfuscated manner (like md5) that results in ugly and error-prone

[Haskell-cafe] Cabal-install is broken

2010-11-22 Thread Permjacov Evgeniy
current cabal-install (0.8.2) cannot be compiled with ghc-7.0.1 set of boot libraries. It requires cabal 1.8.* wich fails to compile. Does anyone worked this out ? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] xml packages

2010-11-09 Thread Permjacov Evgeniy
First question. As I saw in sources, both hxt and haxml uses [Char]'s. this is very inefficient. I want to know, does any effective parser for haskell, written in haskell, exists. Efficient means using ByteString to store strings and possibly building representations that shares one string for all

Re: [Haskell-cafe] What is simplest extension language to implement?

2010-11-04 Thread Permjacov Evgeniy
ehm. I missed something and ghc api is well documented and stable ? There are other ways of adding Haskell as a scripting language - bundling ghc is not necessary. I still have not found haskell interpreter, that is written in pure haskell and has good quality (i.e. stable, written in stable

[Haskell-cafe] What is simplest extension language to implement?

2010-11-02 Thread Permjacov Evgeniy
Let us think, that we need some scripting language for our pure haskell project and configure-compile-run is not a way. In such a case a reasonably simple, yet standartized and wide known language should be implemented. What such language may be? R(4/5/6)RS ? EcmaScript ? Some other ?

Re: [Haskell-cafe] What is simplest extension language to implement?

2010-11-02 Thread Permjacov Evgeniy
, в 9:04, Permjacov Evgeniy permea...@gmail.com написал(а): Let us think, that we need some scripting language for our pure haskell project and configure-compile-run is not a way. In such a case a reasonably simple, yet standartized and wide known language should be implemented. What

Re: [Haskell-cafe] What is simplest extension language to implement?

2010-11-02 Thread Permjacov Evgeniy
/02/2010 12:21 PM, Lennart Augustsson wrote: I don't understand. Why don't you use Haskell as the scripting language? On Tue, Nov 2, 2010 at 7:04 AM, Permjacov Evgeniy permea...@gmail.com wrote: Let us think, that we need some scripting language for our pure haskell project and configure

Re: [Haskell-cafe] Finite but not fixed length...

2010-10-13 Thread Permjacov Evgeniy
: this can easily be done using strictness, as in your List example. The trick is to reject infinite values in compile time. How can *this* be done? 13 октября 2010 г. 15:26 пользователь Permjacov Evgeniy permea...@gmail.com написал: On 10/13/2010 03:09 PM, Eugene Kirpichov wrote: 1-st

[Haskell-cafe] Arrow transformers: how to make them wright?

2010-08-31 Thread Permjacov Evgeniy
A Control.Arrow in base package introduces an arrow type, and ghc have good support for arrow notation. Many things, avaible in monads, are avaible in arrows as well. There is an arrows package, that introduces some arrow classes : state, reader, writer and so on. However, it does not introduce

[Haskell-cafe] Re: Parsing of bytestrings with non-String errors?

2010-02-21 Thread Permjacov Evgeniy
On 02/21/2010 11:57 PM, haskell-cafe-requ...@haskell.org wrote: Message: 2 Date: Sun, 21 Feb 2010 12:36:21 + From: Magnus Therning mag...@therning.org Subject: [Haskell-cafe] Parsing of bytestrings with non-String errors? To: haskell-cafe haskell-cafe@haskell.org Message-ID: