seem to be able to get it only as "Data.List.find".
I have tried different variations of functions on Name or OccName but
nothing seems to work.
Obviously, I could just parse the module and get the info that way, but I
wondered if it could be done via the API.
Thanks,
titto
--
D
rking functional web will only
emerge if many different ideas converge in a coherent whole.
Best,
titto
> On 22 July 2011 15:57, David Barbour wrote:
>> Any relationship to distributed haskell?
>> http://www.macs.hw.ac.uk/~dsg/gdh/
>>
>> On Fri, Jul 22, 2011 at 3:
t;,"b","c","d"] :: String
This is because the OverloadString extension is always active.
In the Subject.Quid2.Language module there is now a guide to the
differences between standard Haskell and Quid2's own flavour.
Keep the feedback coming !
Best,
titto
ain!
Yours truly,
titto
[1] http://quid2.org
[2] http://www.youtube.com/watch?v=i8mz9uOvFQA
--
Dr. Pasqualino "Titto" Assini
http://quid2.org/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
ines once, that is in last 2 years or so
> about 6 operational system years.
>
> Neil
>
>
>
>
>
> On 19 Mar 2011, at 11:36, Pasqualino Titto Assini wrote:
>
>> If you need to run your server continuously you might be better off
>> with a cheap dedicated serv
__
>> Haskell-Cafe mailing list
>> Haskell-Cafe@haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>
> _______
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
>
ction in the GHC api or any other simple way of
getting the fully qualified types?
Surprisingly, I could not find any.
Thanks,
titto
--
Dr. Pasqualino "Titto" Assini
http://quid2.org/
___
Haskell-Cafe mailing list
Haskell-Cafe@h
x27;s
so stupid of me) so the conversation will have to be in English
(Italian or French would be fine as well :-)).
All the very best,
titto
--
Dr. Pasqualino "Titto" Assini
http://quid2.org/
___
Haskell-Cafe mailing list
Haskell-C
Hi,
is haskell.org being updated or, as I fear, Haskell's HQ has been
overrun by a mob of PHPers ?
If so, I am ready to fight !
titto
P.S.
Just need to find my Excalibur, oh god, the wife just sent it to the
Dry Cleaner.
--
Pasqualino "Titto" Assini, Ph.D.
h
Thanks you all, now it makes sense.
titto
On 15 July 2010 17:52, Brent Yorgey wrote:
> On Thu, Jul 15, 2010 at 01:20:11PM +0100, Pasqualino Titto Assini wrote:
>> Many thanks for the explanation.
>>
>> But I thought that GHC always derives the most generic type, why
eason why evalAST type checks is that the type of 'k' is
>
> k :: forall a. (Show a) => Expr a -> IO ()
>
> So it works not just for one 'a' but for all of them.
>
> The way to correctly generalize evalAST is by telling GHC that 'k'
> indeed works f
Hi,
can anyone please explain why in the following code evalAST compiles
while evalAST2 doesn't?:
Is that because the polymorphic function k is specialised in two
different ways in evalAST while in evalAST2 it is constrained to be
the same function?
{-# LANGUAGE GADTs #-}
test = evalAST (TxtA "
On 8 July 2010 15:11, Ivan Lazar Miljenovic wrote:
> So you're volunteering to write such functionality? :p
No !
I will patiently wait for the Simons' Dream Team to fix that and in
the meantime I will live with the realisation that, having been kicked
out of Eden, there is nothing in this world
rather
the incomplete show instance that was sinking my app :-)
Best,
titto
On 8 July 2010 14:47, Ivan Lazar Miljenovic wrote:
> "Pasqualino \"Titto\" Assini" writes:
>
>> Thanks for the explanation.
>>
>> What I meant is not that is a bug that
On 8 July 2010 14:29, Daniel Fischer wrote:
> On Thursday 08 July 2010 15:20:13, Pasqualino "Titto" Assini wrote:
>> Hi,
>>
>> I just noticed that in ghci:
>>
>>
>> data Test = Test String
>>
>> instance Show Test
>>
>> show
Hi,
I just noticed that in ghci:
data Test = Test String
instance Show Test
show $ Test "Hello"
Will result in infinite recursion.
Is this a known bug?
Thanks,
titto
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://ww
This seems quite relevant:
http://lambda-the-ultimate.org/node/3837
titto
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi, just a silly question (or maybe more than one):
In Haskell we have data types (Integer,[a],...) as well as type
classes (Num, Ord...).
But, if we have type classes do we still need types?
Why shouldn't the objects that we process be defined only by their
'interfaces' (assuming that a type
In Europe, http://www.ovh.com has quite good prices.
titto
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
What have you been using for Haskell web development until now? It seems
> like each non-Happstack person has a totally different approach, and I'd
> like to try and consolidate this together somehow.
>
> Michael
>
> On Wed, Jan 13, 2010 at 11:12 PM, Pasqualino "Titto"
___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
--
Pasqualino "Titto" Assini, Ph.D.
http://quicquid.org/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
> looked into whether it would be possible to link polyparse to iteratees.
>
> Regards,
> Malcolm
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
--
Pasqualino &qu
Hi,
I am playing around with KiCS and I have a strange problem, when I
evaluate a goal the variable bindings are not displayed, I see only
the value of the expression.
The same expression evaluated in pakcs (another curry interpreter)
displays the bindings correctly.
Is this a known bug?
I woul
s like a duck, so it's a duck.
>
> Regards,
> John
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
--
Pasqualino "Titto" Assini, Ph.D.
http://quicquid.org/
__
Hi,
I am writing a little IPC system to make Haskell values and functions
remotely invokable.
To do so, I need (or so I believe) to make my objects accessible via a
generic interface as in:
class AFun f where
afun :: Data a => f -> ([Dynamic] -> a)
So my generic object is something that take
nd populate the Haddock entries.
>
> Please respond with any feedback, difficulties, or suggestions. I'm
> particularly interested in ways to improve the public API, since I
> would rather make any breaking changes *before* anything big depends
> on these libraries.
>
ifference is the missing space between "type" and "URL".
>
> Ah, of course, I see it now, thanks!
>
> Cheers,
>
> /Niklas
>
--
Pasqualino "Titto" Assini, Ph.D.
http://quicquid.org/
class Dir d where
localDir :: d -> IO FilePath
data Package = Cab
Thanks Niklas,
in fact this produced a source with comments:
import Language.Haskell.Exts.Annotated
main = do
(ParseOk (mod,comments)) <- parseFileWithComments defaultParseMode "Test.hs"
let pretty = exactPrint mod comments
writeFile "Test_PRETTY.hs" pretty
However:
- The source code p
Hi,
Is there any simple way of pretty printing haskell source code while
preserving the comments?
I am looking at the haskell-src-ext library.
It can parse files with comments and it can pretty print but, for what
I can see it cannot do both :-) (prettyPrint won't work on the
structure returned
2009/9/29 Paulo Tanimoto :
> Hi Bryan and others,
>
> On Mon, Sep 28, 2009 at 5:29 PM, Bryan O'Sullivan wrote:
>> bytestring predates the other two libraries by several years. The underlying
>> stream type for uvector and text are almost the same, so they could in
>> principle be merged. There's a
By unanimous opinion the "text" library is the man.
Thanks to all who answered.
titto
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
g
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
--
Pasqualino "Titto" Assini, Ph.D.
http://quicquid.org/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
>> tutorials or papers for using QuickCheck, but when I try to apply them
>> to my programming, I often miss properties in my codes.
>>
>> Cheers
>> -nwn
>> ___
>> Haskell-Cafe mailing list
>> Haskell-Cafe@haskell.org
>> http://www.haskell.org/mailman/lis
acing this choice, may I ask
which one you preferred and why?
Thanks
titto
--
Pasqualino "Titto" Assini, Ph.D.
http://quicquid.org/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
(two ways of installing things
rather than one) while reducing flexibility and 'freshness' of
installation.
Best,
titto
On Tue, Oct 14, 2008 at 10:37 AM, Magnus Therning <[EMAIL PROTECTED]> wrote:
> On Tue, Oct 14, 2008 at 9:33 AM, Titto Assini <[EMAIL PROTECTED]
code =P.
>
> While I'm asking --- maybe we should target Debian first/also/instead?
>
> Cheers
> --
> Ariel J. Birnbaum
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
&g
ll-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
--
Pasqualino "Titto" Assini, Ph.D.
25 Heath Road - CO79PT
Wivenhoe - Colchester - U.K.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
etti di sviluppo, idee
per futuri progetti ed iniziative che possano servire a rafforzare ed
estendere la comunita' Haskell Italiana.
Interessati? Date uno sguardo a http://www.haskell.org/haskellwiki/ItaloHaskell
Saluti,
titto
--
Pasqualino "Titto" Assi
Il titolo dice tutto, maggiori dettagli ad:
http://www.haskell.org/haskellwiki/?title=ItaloHaskell/Summer_2008
A domani,
titto
--
Pasqualino "Titto" Assini, Ph.D.
25 Heath Road - CO79PT
Wivenhoe - Colchester - U.K.
___
Haskell-Cafe ma
ightly pissed off by my usage of 'email' and would have certainly
insisted for 'posta elettronica' (a perfect valid term by the way, just a bit
longer than necessary).
But then who cares if Mussolini spins in his grave?
Best,
titto
> Titto Assini wrote:
> >
il sottoscritto via email o per telefono al 0584 791669.
A presto ragazzi,
titto
--
Pasqualino "Titto" Assini, Ph.D.
25 Heath Road - CO79PT
Wivenhoe - Colchester - U.K.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.o
askell.org/haskellwiki/ItaloHaskell/Summer_2008
A presto,
titto
P.S. Io saro' offline per una settimana a partire da domenica.
Pasqualino "Titto" Assini PhD
25 Heath Road - Wivenhoe
CO79PT - Colchester - U.K.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi Oleg,
Many thanks for this, it is really brilliant stuff.
It is a pity that it cannot be used in an interpreter but it is a great trick
to know for static compilation of DSLs.
All the best,
titto
On Saturday 06 October 2007 08:55:36 [EMAIL PROTECTED] wrote:
> The earlier messag
Hello Tomasz,
thank you very much for your advice.
Just a quick question, why using your own Dyn rather than Data.Dynamic?
Regards,
titto
On Thursday 04 October 2007 08:57:11 Tomasz Zielonka wrote:
> On 10/4/07, Pasqualino 'Titto' Assini <[EMAIL PROTECTED]> wro
> t)
> App :: Term (s -> t) -> Term s -> Term t
> data PrimOp = Add | Sub | Mult
> e0 = Flam "x" (Fvar "x")
> eval ast = $(lift ast)
> test = eval e0
On Thursday 04 October 2007 07:02:32 [EMAIL PROTECTED] wrote:
> Pasqualino '
Hi,
I am trying to write an interpreter for a little functional language but I am
finding very problematic to dynamically create a typed representations of the
language terms.
I have googled around and found a few solutions but none seem to solve the
problem.
This is the example code:
>
Hi Alex,
I hope not to spoil your fun but have you had a look at this:
Write Yourself a Scheme in 48 Hours
http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html
Regards,
titto
___
Haskell-Cafe mailing list
Haskell-Cafe@h
On Saturday 22 September 2007 10:58:49 Neil Mitchell wrote:
> Hi
>
> > f = f
> >
> > and then try to evaluate 'f' in GHCi, as one would expect, the
> > interpreter never returns an answer.
> >
> > The funny thing is that, while it is stuck in an infinite loop, GHCi
> > doesn't seem to use any CPU
Hi,
if I define:
f = f
and then try to evaluate 'f' in GHCi, as one would expect, the interpreter
never returns an answer.
The funny thing is that, while it is stuck in an infinite loop, GHCi doesn't
seem to use any CPU time at all.
How is this possible?
Thanks
titto
___
Hello,
I wondered if anyone could advice on how to develop XPCOM components in
Haskell.
I am aware that HDirect supports COM and that there are some similarities with
XPCOM but I do not have the time to extend/fix HDirect to support XPCOM.
Would using FFI directly be simpler?
What problems s
Doesn't Haskell already implement the 3-valued logic (True, False, NULL), that
Karl Fant proposes (see papers at
http://www.theseusresearch.com/invocation%20model.htm) as an alternative to
centralised clock-based coordination, by postulating that every data type
includes the bottom value?
I li
Hello Benjamin, many thanks for you answer.
On Friday 06 July 2007 20:43:03 Benjamin Pierce wrote:
> Hi Titto,
>
> I'm not aware of any Haskell implementations of these bi-directional
> combinators, but the core definitions are not very big -- someone
> looking at the ML code should have no troubl
Hi,
I wondered if anyone had written an Haskell implementation of the combinators
described in:
"Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to
the View Update Problem" (see the Papers section of
http://www.seas.upenn.edu/~harmony/).
Harmony's source is in O'Cam
est,
titto
On Thursday 28 June 2007 15:38:17 Daniil Elovkov wrote:
> 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 inc
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
On Wednesday 27 June 2007 09:32:16 Alex Jacobson wrote:
> Titto,
>
> Have you looked at HAppS.DBMS.IxSet? Right now it provides a generic
> way to query indexed sets.
>
> If you want to take a shot at making the queries serializable, I don't
> think it would be that difficult (but I have not tried
On Wednesday 27 June 2007 03:06:15 Donald Bruce Stewart wrote:
> tittoassini:
> > Hi,
> >
> > to load an Haskell symbol at run-time is still necessary to use the load
> > functions from the hs-plugins library (System.Plugins.Load) or is there
> > some function in the GHC API that does the same job?
Hi,
to load an Haskell symbol at run-time is still necessary to use the load
functions from the hs-plugins library (System.Plugins.Load) or is there some
function in the GHC API that does the same job?
Thanks,
titto
___
Haskell-Cafe maili
On Saturday 23 June 2007 13:52:27 Neil Mitchell wrote:
> Hi
>
> > Regarding the first point, I am aware of with the following options:
> > - SYB (Data.Generics..)
> You may also want to take a look at Uniplate:
> http://www-users.cs.york.ac.uk/~ndm/uniplate/
Many thanks Neil.
> That (or SYB) sho
Hi,
I am writing a Web application using HAppS.
As all HAppS apps, it represents its internal state as a Haskell term (HAppS
automagically provides persistence and transactions).
It is a neat and efficient solution, you can write your data model entirely in
Haskell and, at least for read-only
On Friday 22 June 2007 11:21:31 Henning Thielemann wrote:
> On Fri, 22 Jun 2007, peterv wrote:
> > Since nobody gave an answer on this topic, I guess it is insane to do it
> > in Haskell (at least for a newbie)? :)
>
> It's certainly an interesting project. Since signal processing is much
> like f
This might be of interest:
http://pipes.yahoo.com/pipes/
Best,
titto
On Friday 22 June 2007 11:15:49 peterv wrote:
> Hi,
>
> Since nobody gave an answer on this topic, I guess it is insane to do it in
> Haskell (at least for a newbie)? :)
>
> Thanks for any info,
> Peter
>
> -Original M
Many thanks Claus for the extended explanation, it makes perfect sense.
For more info I will now turn to the papers :-)
Talking about serialisation, an interesting paper has just appeared on
lambda-the-ultimate:
HOT Pickles
http://lambda-the-ultimate.org/node/2305
Regards,
titto
Hi Bulat,
On Thursday 21 June 2007 17:29:13 Bulat Ziganshin wrote:
> how it can interpret call to "foo" without loading it? :)
I am not sure if I understand what you mean.
It certainly does load it.
Calling hspugins "eval" (or compiling with GHC API) will cause 'AModule.foo"
to be loaded an
Hi Bulat,
the receiving side has the option of either interpreting the TH representation
or, as you suggested, to just dynamically compile its Haskell source
equivalent (as produced by TH's pprint) using GHC API or hs-plugins.
Probably not very efficient but quite easy to implement,
Best,
Hi Bulat,
I was thinking of something like this (warning: I have never used TH before):
> {-# OPTIONS -fth #-}
> module SerialiseTest where
> import Language.Haskell.TH
We have an application whose state is a function Int->Int.
We want to be able to serialise this state so that, for example, we
Hi,
On Thursday 21 June 2007 09:27:58 Tomasz Zielonka wrote:
> I think the reasons are mostly insufficient resources and not enough
> interest to justify the effort. I think an interesting lesson about this
> comes from the effort that went into Template Haskell (which, BTW,
> offers some kind of
Hi Tom,
On Thursday 21 June 2007 08:59:42 Tom Schrijvers wrote:
> On Thu, 21 Jun 2007, Pasqualino 'Titto' Assini wrote:
> > Thanks for the explanation.
> >
> > But, doesn't this simply mean that the correct signature would be:
> >
> > serialize
Hi Claus,
On Wednesday 20 June 2007 16:41:16 Claus Reinke wrote:
> with orthogonal persistence, everything a program touches might
> persist, but usually, programs talk about the data being persistet (?),
> not about whether that data is currently temporary or in long-term
> storage. if you want
Hi Bulat,
do you mean that as the type information is used only at compilation time and
then thrown away there is no way of getting it back at execution time?
best,
titto
On Wednesday 20 June 2007 16:33:12 Bulat Ziganshin wrote:
> Hello Pasqualino,
>
> Wednesday, June 20, 2007, 11:30:32 AM
04 apfelmus wrote:
> Pasqualino 'Titto' Assini wrote:
> > Is there any fundamental reasons why Haskell functions/closures cannot be
> > serialised?
> >
> > I believe that this is precisely what the distributed version of GHC used
> > to do.
> >
> &
Hi everybody,
What is the situation with respect to reification of function/thunks in
Haskell?
Does any current implementation support it ?
And, is there any plan for GHC to support it?
Claus's comments on this, follow.
titto
On Monday 18 June 2007 23:45:23 Claus Reinke wrote:
> > Is
On Monday 18 June 2007 23:45:23 Claus Reinke wrote:
> > Have you checked the prevayler-inspired approach implemented in HAppS ?
>
> no, do you have a reference? but i meant "orthogonal persistence", as in
> all program parts can persist, including functions, thunks, types,.. once
> you start going
On Monday 18 June 2007 16:13:02 you wrote:
> I just did a quick read through of your dream and I'm not going to say
> either way with it. But I would like to point out, just to make sure
> you've considered it, that my dream--or maybe my reality--involves
> being able to code without the requireme
Hi Claus,
On Monday 18 June 2007 18:14:58 Claus Reinke wrote:
> >Having just presented a case for the possible rationality of the
> >irrational decision of creating an Emacs-like IDE in Haskell, I
> >wonder if we should not be even more irrational and contemplate the
> >possibility of using Haskel
Having just presented a case for the possible rationality of the irrational
decision of creating an Emacs-like IDE in Haskell, I wonder if we should not
be even more irrational and contemplate the possibility of using Haskell to
create a radically different kind of IDE.
New technologies are of
On Sunday 17 June 2007 23:56:51 Claus Reinke wrote:
> i didn't know that Yi had acquired a tongue-in-cheek mode
> already!-) at least i hope that's what it was, because the ermacs
> lesson was not about contributing code or better language, but
> about sheer size and momentum being in favour of the
There is also the HAppS application server and the HaskellNet library.
Would not be possible to merge the protocol-handling parts of all these
libraries into a generic Internet Haskell server that could then be expanded
to support CGIs, transactions, etc.?
Regards,
titto
> -Original
From:
HostTracker Notifier [mailto:[EMAIL PROTECTED]
Sent: 26 September 2006 01:19
To: [EMAIL PROTECTED]
Subject: Error Alert
Hello,
The
following url is down:
http://haskell.org
the error
detected is:
Http error:Http_client.No_reply
Error was
detected at 20
> -Original Message-
> From: [EMAIL PROTECTED] [mailto:haskell-cafe-
> [EMAIL PROTECTED] On Behalf Of Christoph Herrmann
> Sent: 25 September 2006 21:22
> To: Max Vasin
> Cc: haskell-cafe@haskell.org
> Subject: Re: [Haskell-cafe] Re: Is Haskell a 5GL?
...
> What Prolog really provides conc
Haskell.org has been down for over 7 hours
(see attached log).
The Web master might use host-tracker.com
(or a similar free tracking service) to keep an eye on it.
Regards,
titto
From:
HostTracker Notifier [mailto:[EMAIL PROTECTED]
Sent: 24 September 2006 1
Check first MissingH.
I remember that it came with some parsing routines for common text formats.
Best,
Titto
> -Original Message-
> From: [EMAIL PROTECTED] [mailto:haskell-cafe-
> [EMAIL PROTECTED] On Behalf Of Tamas K Papp
> Sent: 22 August 2006 10:20
> To: Haskell Cafe
> Subject:
f Of Adam Peacock
> Sent: 19 August 2006 02:34
> To: Haskell-Cafe@haskell.org
> Subject: Re: [Haskell-cafe] HTTPS in Haskell
>
> On 8/18/06, Pasqualino 'Titto' Assini <[EMAIL PROTECTED]> wrote:
> >
> > Is there any implementation of HTTPS/SSL in Haskell?
>
Hello,
Is there any implementation of HTTPS/SSL in Haskell?
This would seem to be critical to develop commercial web applications.
Thanks,
Titto assini
___
Haskell-Cafe mailing list
Haskell-Cafe
Hi,
I have added a page to the Haskell Wiki (http://www.haskell.org/haskellwiki/Hajax) to summarise the key features of a
possible tool to develop Ajax
applications.
Please modify/extend as appropriate.
Regards,
Titto assini
85 matches
Mail list logo
