Re: [Haskell] Haskell logo in TeX (tested for TeXLive >= 2007)

[Benjamin Perez]

wow!! is great.

thanks,

-- Benjo

On Tue, 2009-04-14 at 22:05 +0200, Philip Hölzenspies wrote:

> Dear all,
> 
> Seeing people throw the new logo around in different formats, I
> thought I would do it up in TikZ (for those that don't know: graphics
> embedded in LaTeX). For convenience, I wrapped it in a .sty file. If
> people find this useful, I will try and submit it to CTAN as well. I'm
> open for bug reports or feature requests.
> 
> You do need a proper TeXLive installation (at least a relatively
> recent version of TikZ; check whether "kpsewhich pgfkeys.sty" says
> anything, in which case you should be fine). I will write up
> documentation for this before I put it onto CTAN, but for now, you
> will have to do with the example illustrating most options:
> 
> 
> \documentclass{article}
> \usepackage{haskelllogo}
> \begin{document}
> \haskelllogo[outlines,splitlambda]
> \haskelllogo[splitlambda]
> \haskelllogo[outlines]
> \haskelllogo[splitlambda,
> rangle color=green,
> lambda body color=red,
> lambda leg color=red!50!yellow,
> upper equals color=black,
> lower equals color=brown
> ]
> \haskelllogo[grayscale]
> \haskelllogo[splitlambda,grayscale]
> \haskelllogo[seventies]
> \haskelllogo[seventies,outlines]
> \end{document}
> 
> 
> The style is available at:
> 
> http://www.cs.utwente.nl/~holzensp/haskelllogo.sty
> 
> Enjoy!
> 
> Regards,
> Philip
> 
> ___
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Haskell logo in TeX (tested for TeXLive >= 2007)

[Philip Hölzenspies]

Dear all,

Seeing people throw the new logo around in different formats, I  
thought I would do it up in TikZ (for those that don't know: graphics  
embedded in LaTeX). For convenience, I wrapped it in a .sty file. If  
people find this useful, I will try and submit it to CTAN as well. I'm  
open for bug reports or feature requests.


You do need a proper TeXLive installation (at least a relatively  
recent version of TikZ; check whether "kpsewhich pgfkeys.sty" says  
anything, in which case you should be fine). I will write up  
documentation for this before I put it onto CTAN, but for now, you  
will have to do with the example illustrating most options:



\documentclass{article}
\usepackage{haskelllogo}
\begin{document}
\haskelllogo[outlines,splitlambda]
\haskelllogo[splitlambda]
\haskelllogo[outlines]
\haskelllogo[splitlambda,
rangle color=green,
lambda body color=red,
lambda leg color=red!50!yellow,
upper equals color=black,
lower equals color=brown
]
\haskelllogo[grayscale]
\haskelllogo[splitlambda,grayscale]
\haskelllogo[seventies]
\haskelllogo[seventies,outlines]
\end{document}


The style is available at:

http://www.cs.utwente.nl/~holzensp/haskelllogo.sty

Enjoy!

Regards,
Philip
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Re: deriving Show for GADT?

[Dominic Steinitz]

Norman Ramsey  cs.tufts.edu> writes:

> 
> I've got a fairly large GADT for which I wished to use
>deriving (Show)
You will have to write one by hand. I tend to use Text.Pretty and then the
output is much more readable. It doesn't take long even for a what I would
consider a large GADT.

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] deriving Show for GADT?

[Edward Kmett]

I seem to recall Matt Morrow having some code lying around for automatically
generating such instances using haskell-src-exts. I wonder how hard it would
be to adapt to Template Haskell.
-Edward Kmett


On Tue, Apr 14, 2009 at 2:03 AM, Ryan Ingram  wrote:

> You might be able to write some Template Haskell to derive the Show
> instance.
>
> It's a bit tricky, because there are some types which can't have Show
> derived, such as:
>
> data Foo where
>Broken :: a -> Foo
>
> What should
>show (Broken id)
> do?
>
>  -- ryan
>
> On Mon, Apr 13, 2009 at 9:28 PM, Norman Ramsey  wrote:
> > I've got a fairly large GADT for which I wished to use
> >   deriving (Show)
> > but I got a mysterious error message:
> >
> > Exp.hs:13:11:
> >Can't make a derived instance of `Show (Exp a)'
> >  (`Exp' has non-Haskell-98 constructor(s))
> >In the data type declaration for `Exp'
> >
> >
> > This is from GHC.  Does anybody know a compiler option or other trick
> > that will coax the compiler into producing a Show instance.
> > (I know I can write one by hand, but I'd rather not bother.)
> >
> >
> > Norman
> > ___
> > Haskell mailing list
> > Haskell@haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell
> >
> ___
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] CFP Trends in Functional Programming

[Wolfgang Jeltsch]

Am Dienstag, 14. April 2009 12:55 schrieb Horváth Zoltán:
> Third call for papers
>  10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING
>  TFP 2009
>  SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA
>  June 2-4, 2009
>  http://www.inf.elte.hu/tfp_cefp_2009
>
> *** Submission deadline extended until 10th of May! ***

Hello,

submission is only possible for people who submitted a paper or an extended 
abstract by March 31. Or did I miss something?

Best wishes,
Wolfgang
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] The Monad.Reader (14) - Call for copy

[Wouter Swierstra]

Call for Copy
The Monad.Reader - Issue 14


Please consider writing something for the next issue of The  
Monad.Reader. The deadline for Issue 14 is:


  ** May 15, 2009 **

The Monad.Reader is a electronic magazine about all things Haskell.  
Check out the website and browse the previous editions to learn more:


  http://www.haskell.org/haskellwiki/The_Monad.Reader

* Submission Details *

Get in touch if you intend to submit something -- the sooner you let  
me know what you're up to, the better.


Please submit articles for the next issue to me by e-mail (wouter at  
chalmers.se). Articles should be written according to the guidelines  
available from:


  http://www.haskell.org/haskellwiki/The_Monad.Reader

Please submit your article in PDF, together with any source files you  
used. The sources will be released together with the magazine under a  
BSD license.


Looking forward to your submission,

  Wouter

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] CFP Trends in Functional Programming

[Horváth Zoltán]

Third call for papers
 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING
 TFP 2009
 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA
 June 2-4, 2009
 http://www.inf.elte.hu/tfp_cefp_2009

*** Submission deadline extended until 10th of May! ***

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view of
current and future trends in Functional Programming. It aspires to be a
lively environment for presenting the latest research results. Acceptance
for the conference is based on full papers or extended abstracts, and a
formal post-symposium refereeing process selects the best articles
presented at the symposium for publication in a high-profile volume.

TFP 2009 is hosted by the Selye Janos University, Komarno, Slovakia, and
it is co-located with the 3rd Central-European Functional Programming
School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30).

 IMPORTANT DATES (ALL 2009)

* Paper Submission: May 10 (extended)
* Notification of Acceptance: May 12
* Camera Ready Symposium Proceedings Paper: May 14
* TFP Symposium: June 2-4, 2009
* Post Symposium Paper Submission: June 30
* Notification of Acceptance: September 7
* Camera Ready Revised Paper: September 21

 SCOPE OF THE SYMPOSIUM

As part of the Symposium's focus on trends we therefore identify
the following five article categories. High-quality articles are
solicited in any of these categories:

* Research: leading-edge, previously unpublished research.
* Position: on what new trends should or should not be.
* Project: descriptions of recently started new projects.
* Evaluation: what lessons can be drawn from a finished project.
* Overview: summarizing work with respect to a trendy subject.

Articles must be original and not submitted for simultaneous publication
to any other forum. They may consider any aspect of functional
programming: theoretical, implementation-oriented, or more experience-
oriented. Applications of functional programming techniques to other
languages are also within the scope of the symposium. Contributions on
the following subject areas are particularly welcomed:

* Dependently Typed Functional Programming
* Validation and Verification of Functional Programs
* Debugging for Functional Languages
* Functional Programming and Security
* Functional Programming and Mobility
* Functional Programming to Animate/Prototype/Implement Systems from
  Formal or Semi-Formal Specifications
* Functional Languages for Telecommunications Applications
* Functional Languages for Embedded Systems
* Functional Programming Applied to Global Computing
* Functional GRIDs
* Functional Programming Ideas in Imperative or Object-Oriented
  Settings (and the converse)
* Interoperability with Imperative Programming Languages
* Novel Memory Management Techniques
* Parallel/Concurrent Functional Languages
* Program Transformation Techniques
* Empirical Performance Studies
* Abstract/Virtual Machines and Compilers for Functional Languages
* New Implementation Strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2009 program chairs, Zoltan Horvath and Viktoria
Zsok at tfp2...@inf.elte.hu

 SUBMISSION AND DRAFT PROCEEDINGS

Acceptance of articles for presentation at the symposium is based on the
screening process of full papers (15 pages) and extended abstracts
(at least 3 pages). TFP encourages PhD students to submit papers.

PhD students may request the program committee to provide extensive
feedback on their full papers at the time of submission. Full papers
describing work accepted for presentation must be completed before the
symposium for publication in the draft proceedings. Further details can
be found at the TFP 2009 website.

 POST-SYMPOSIUM REFEREEING AND PUBLICATION

In addition to the draft symposium proceedings, we continue the TFP
tradition of publishing a high-quality subset of contributions in the
Intellect series on Trends in Functional Programming.

 PROGRAM COMMITTEE

* Peter Achten (symp-chair), Radboud University Nijmegen, NL
* John Clements, California Polytechnic State University, USA
* Cormac Flanagan, University of California at Santa Cruz, USA
* Jurriaan Hage, Utrecht University, NL
* Kevin Hammond, University of St. Andrews, UK
* Michael Hanus, Christian-Albrechts University zu Kiel, DE
* Ralf Hinze, University of Oxford, UK
* Zoltan Horvath (PC co-chair),  Eotvos Lorand University, HU
* Graham Hutton, University of Nottingham, UK
* Johan Jeuring, Utrecht University, NL
* Pieter Koopman (symp-chair), Radboud University Nijmegen, NL
* Hans-Wolfgang Loidl, Ludwig-Maximilia