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
--
Dr. Pasqualino Titto Assini
there is now a guide to the
differences between standard Haskell and Quid2's own flavour.
Keep the feedback coming !
Best,
titto
On 22 July 2011 16:22, Sean Leather leat...@cs.uu.nl wrote:
On Fri, Jul 22, 2011 at 12:00, Pasqualino Titto Assini wrote:
Enter Quid2 [1]: the half baked, barely
://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
--
Dr. Pasqualino
[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
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 server.
To run my quid2.org site, a rather complex setup with a web server and
a number
/haskell-cafe
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Dr. Pasqualino Titto Assini
http://quid2.org/
___
Haskell-Cafe mailing list
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@haskell.org
http
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-Cafe@haskell.org
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.
http://quid2.org
Thanks you all, now it makes sense.
titto
On 15 July 2010 17:52, Brent Yorgey byor...@seas.upenn.edu 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 does
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
RankNTypes #-}
evalAST2 :: (forall a. Expr a - IO()) - AST - IO ()
Regards,
Bas
On Thu, Jul 15, 2010 at 11:50 AM, Pasqualino Titto Assini
tittoass...@gmail.com wrote:
Hi,
can anyone please explain why in the following code evalAST compiles
while evalAST2 doesn't?:
Is that because
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
July 2010 14:29, Daniel Fischer daniel.is.fisc...@web.de 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 $ Test Hello
Will result in infinite recursion.
Is this a known bug
but rather
the incomplete show instance that was sinking my app :-)
Best,
titto
On 8 July 2010 14:47, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote:
Pasqualino \Titto\ Assini tittoass...@gmail.com writes:
Thanks for the explanation.
What I meant is not that is a bug
On 8 July 2010 15:11, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com 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
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
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
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 Assini
tittoass...@gmail.com wrote:
A unified web app interface would be a God-sent, please please go ahead
--
Pasqualino Titto Assini, Ph.D.
http://quicquid.org/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
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
___
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
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 takes
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
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
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
--
Pasqualino Titto Assini, Ph.D.
http://quicquid.org/
class Dir d where
localDir :: d - IO FilePath
data Package = Cabal Directory
| SourceTree Directory
deriving (Read,Show,Typeable,Data)
-- A (possibly remote) directory that can be mapped to a local one.
data
://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
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
2009/9/29 Paulo Tanimoto tanim...@arizona.edu:
Hi Bryan and others,
On Mon, Sep 28, 2009 at 5:29 PM, Bryan O'Sullivan b...@serpentine.com 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
@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Pasqualino Titto Assini, Ph.D.
http://quicquid.org
--
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
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
)
test = eval e0
On Thursday 04 October 2007 07:02:32 [EMAIL PROTECTED] wrote:
Pasqualino 'Titto' Assini wrote:
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
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] wrote:
It does not seem
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
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,
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
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 time at all.
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
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
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'Caml
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 trouble
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.
Read
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 includes the matrix
size and dimensions, so invalid operations like improper matrix
multiplication can be rejected
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 so
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
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 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) should take
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
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
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
'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.
Most languages, even Java, have a reflection capability to dynamically
inspect an object
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,
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 to
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 :: (Int - Int) - IO String
to take in account the fact
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 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 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,
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 and
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 down
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 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
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 Haskell to
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 requirement
Hi,
I have a little library that depends on the 'ghc' api library.
I would like to build my library in profiling mode but this is not possible as
the 'ghc' library itself seems to be distributed only in non-profiling mode.
Is there any way out?
How can I get or build a profiling version of
Hi,
are you sure that this is the same bug?
Bug 1013 appears to have been fixed in GHC 6.6. while this bug is still
present in 6.6.
Regards,
titto
On Wednesday 14 March 2007 06:49:13 GHC wrote:
#1210: Unimplemented opcode error while running ZFS
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
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 10:41
To:
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:
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?
This would seem to be critical to develop commercial web
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@haskell.org
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
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
Hi,
Those among you who have an interest in AJAX-style web development - that is
to say the development of web applications that run entirely into the
browser environment, calling back to the server back-end only to get raw
data -- will probably have noticed the recent appearance of the Google
77 matches
Mail list logo