[Haskell] Call for Participation: WFLP 2016 and co-located events

24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) Registration is now open, see: http://nfa.imn.htwk-leipzig.de/LDEC2016/registration/ Note the

[Haskell] WFLP 2016 - Final Call for Papers

of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany ___ Haskell mailing list Haskell@haskell.org http

[Haskell] WFLP 2016 - Deadline Extension

, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings

* Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis

[Haskell] Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming

of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany ___ Haskell mailing list Haskell@haskell.org http

[Haskell] WLP/WFLP - Call for Participation - September 15-17

Call for Participation 28th Workshop on (Constraint) Logic Programming (WLP 2014) co-located with 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014) Lutherstadt Wittenberg, Germany, September 15 - 17 Early registration deadline: August 26 The

[Haskell] PEPM 2015: Call for papers

PEPM 2015 Paper Submission Deadline: September 12 (FIRM) Note: deadline is significantly earlier than previous years. Hope to see you in Mumbai, India! - C A L L F O R P A P E R S

[Haskell] HART 2014 - deadline extended

We extended the deadline until 12th July. = CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP

[Haskell] HART 2014 - Second Workshop on Haskell And Rewriting Techniques (co-located with ICFP 2014)

2nd CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced

[Haskell] Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014)

CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced

[Haskell] CFP - Rewriting Techniques for Program Transformations and Evaluation 2014

CALL FOR PAPERS First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE'14) affiliated with RTA/TLCA 2014 (a FLoC 2014 workshop, FLoC is part of the Vienna

[Haskell] Second call for papers, BX 2014

Third International Workshop on Bidirectional Transformations (BX 2014) Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 Web site: http://bx-community.wikidot.com/bx2014:home Submission site: https://www.easychair.org/account/signin.cgi?conf=bx2014 Paper length: 3-8 pages,

[Haskell] FLOPS 2014: 2nd Call for Papers

University) Eijiro Sumii (Tohoku University) [co-chair] Tachio Terauchi(Nagoya University) Joost Vennekens(KU Leuven) Janis Voigtlaender (Universitaet Bonn) Stephanie Weirich (University of Pennsylvania) Local Chair === Yuki Chiba (JAIST) Submission == Submissions

[Haskell] ANNOUNCE: Haskell Communities and Activities Report (25th ed., November 2013)

can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac and Janis Voigtlaender hcar at haskell.org ___ Haskell

[Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2013 edition

to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac and Janis Voigtlaender (for this edition) FAQ: Q: What format should I write

[Haskell-cafe] Call for Contributions - Haskell Communities and Activities Report, November 2013 edition

to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac and Janis Voigtlaender (for this edition) FAQ: Q: What format should I write

[Haskell] Call for Papers - Third International Workshop on Bidirectional Transformations (BX 2014)

Third International Workshop on Bidirectional Transformations (BX 2014) === Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 http://bx-community.wikidot.com/bx2014:home Bidirectional transformations (bx)

[Haskell] future (editor) of HCAR?

Dear all, The Haskell Communities and Activities Report has been produced twice a year for more than ten years now: http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report I have been responsible for producing it the last few years, which was fun. I am now looking to pass

[Haskell-cafe] future (editor) of HCAR?

Dear all, The Haskell Communities and Activities Report has been produced twice a year for more than ten years now: http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report I have been responsible for producing it the last few years, which was fun. I am now looking to pass

[Haskell] PEPM'10 - Last CFP (Submission: 6 Oct 09, Notification: 29 Oct 09)

=== CALL FOR PAPERS ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) Madrid, January 18-19, 2010 (Affiliated with

[Haskell-cafe] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced

=== CALL FOR PAPERS ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) Madrid, January 18-19, 2010 (Affiliated with POPL'10)

Re: [Haskell-cafe] Why is there no Zippable class? Would this work?

deriver for Zippable instances, so you don't have to write the above instance definition yourself. The implementation is by Joachim Breitner. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de

[Haskell] Re: [Haskell-cafe] ANN: Hayoo! beta 0.4

decreased in some areas? I am pretty sure that a week ago or so I could use Hayoo to find sumP :: Num a = [:a:] - a from GHC.PArr. Now, that result does not turn up anymore. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de

Re: [Haskell-cafe] ANN: Hayoo! beta 0.4

decreased in some areas? I am pretty sure that a week ago or so I could use Hayoo to find sumP :: Num a = [:a:] - a from GHC.PArr. Now, that result does not turn up anymore. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de

Re: [Haskell-cafe] Laziness enhances composability: an example

Bulat Ziganshin wrote: Hello Cristiano, Thursday, July 9, 2009, 4:55:09 PM, you wrote: the best known example is chessmate implementation in Wadler's why functional programming matter Aeh, ... Wadler's - Hughes' -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo

Re: [Haskell-cafe] shadowing keywords like otherwise

like so: otherwise = True Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] shadowing keywords like otherwise

otherwise as a variable. But you do not use that variable in that branch. Hence the warning: Swish/HaskellRDF/SwishCommands.hs:304:12: Warning: Defined but not used: `otherwise' This has nothing to do with someone else shadowing the definition of otherwise. Ciao, Janis. -- Dr. Janis

[Haskell-cafe] PEPM'10 - First Call for Papers

=== CALL FOR PAPERS ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) Madrid, January 18-19, 2010 (Affiliated with POPL'10)

[Haskell] HaL4: Haskell-Meeting in Germany, 12th June 2009

Hi all, If you are anyway near Halle/Saale in June, be sure not to miss out on: http://iba-cg.de/hal4.html We have already close to 50 registered participants, so expect a very lively meeting. See you there? (Late registration still possible.) Ciao, Janis. -- Dr. Janis Voigtlaender http

[Haskell] Re: [Haskell-cafe] HaL4: Haskell-Meeting in Germany, 12th June 2009

Janis Voigtlaender wrote: Hi all, If you are anyway near Halle/Saale in June, be sure not to miss out on: I meant anywhere near, of course :-) And even if you are not anyway or anywhere near, you might still want to come just for the occasion :-) -- Dr. Janis Voigtlaender http

[Haskell-cafe] HaL4: Haskell-Meeting in Germany, 12th June 2009

Hi all, If you are anyway near Halle/Saale in June, be sure not to miss out on: http://iba-cg.de/hal4.html We have already close to 50 registered participants, so expect a very lively meeting. See you there? (Late registration still possible.) Ciao, Janis. -- Dr. Janis Voigtlaender http

Re: [Haskell-cafe] HaL4: Haskell-Meeting in Germany, 12th June 2009

Janis Voigtlaender wrote: Hi all, If you are anyway near Halle/Saale in June, be sure not to miss out on: I meant anywhere near, of course :-) And even if you are not anyway or anywhere near, you might still want to come just for the occasion :-) -- Dr. Janis Voigtlaender http

[Haskell] CFP: APLAS 2009 (Abstracts due: June 8; Papers due: June 15)

=== CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009

[Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009)

of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender hcar at haskell.org -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de

Re: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009)

Lee Duhem wrote: BTW, I notice Haskell-Cafe isn't in the To list, I hope this isn't in purpose :-) This was intended to avoid duplication, as I assume most people on haskell-cafe also read haskell. But maybe this is not true... -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de

Re: [Haskell-cafe] Bidirectional programming in Haskell

, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009)

our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender hcar at haskell.org -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu

Re: [Haskell-cafe] conflicting variable definitions in pattern

? Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)

=== CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009

Re: [Haskell] International Summer School on Advances in Programming Languages (precedes ICFP'09)

Note that potential participants in the below summer school should pre-register their interest *now*. The organizers need that information to go ahead with the planning. Matthew Fluet (ICFP Publicity Chair) wrote: International Summer School on Advances in Programming Languages

[Haskell-cafe] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)

=== CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009

[Haskell-cafe] Re: [Haskell] International Summer School on Advances in Programming Languages (precedes ICFP'09)

Note that potential participants in the below summer school should pre-register their interest *now*. The organizers need that information to go ahead with the planning. Matthew Fluet (ICFP Publicity Chair) wrote: International Summer School on Advances in Programming Languages

[Haskell] REMINDER: Haskell Communities and Activities Report

information can be found in the original Call for Contributions at: http://www.haskell.org/pipermail/haskell/2009-April/021180.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo

[Haskell-cafe] REMINDER: Haskell Communities and Activities Report

information can be found in the original Call for Contributions at: http://www.haskell.org/pipermail/haskell/2009-April/021180.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo

[Haskell] Local Haskell meeting, Halle/Saale, Germany, June 12

Vortrag + 30 min Diskussion. Weitere Informationen auf http://www.iba-cg.de/hal4.html -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de ___ Haskell mailing list Haskell@haskell.org http

Re: [Haskell-cafe] Generating arbitrary function in QuickCheck

allows you to switch from an arbitrary type to just integers, set t2=Int and simply use f to build a order-preserving bijection between elements in the list x and a prefix of [1,2,3,4,...] Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu

[Haskell] CfP: Fourth Working Conference on Programming Languages (ATPS'09)

) Martin Pluemicke (BA Stuttgart) Arnd Poetzsch-Heffter (Univ. Kaiserslautern) Peter Thiemann (Univ. Freiburg) Janis Voigtlaender (TU Dresden) Wolf Zimmermann (Univ. Halle) Information about the main conference: http://www.informatik2009.de ___ Haskell

[Haskell] Call for Contributions - Haskell Communities and Activities Report, May 2009 edition

complete entries if you have not changed them. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell-cafe] Call for Contributions - Haskell Communities and Activities Report, May 2009 edition

complete entries if you have not changed them. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] type error

=print Prelude :t myprint myprint :: (Show a) = a - IO () Can providing some type annotations (interactively in ghci or in some .hs file) help solve the problem? Yes. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] Deriving something else?

John Ky wrote: Having created a new class is it possible to do some magic so that it can be put it into a deriving clause? http://hackage.haskell.org/cgi-bin/hackage-scripts/package/derive -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] What causes loop?

with Debug.Trace.trace. If so, can I prevent this using CPS? -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] What causes loop?

Janis Voigtlaender wrote: Martin Hofmann wrote: I've already posted this mail on haskell-cafe, but apparently the subject suggested a too simple question, so I try it here again. I am picking up a discussion with the same topic from haskell-users on 8th November. Note that you have been

[Haskell] ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008)

coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender hcar at haskell.org -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

[Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008)

coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender hcar at haskell.org -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

[Haskell] Not quite another Haskell tutorial, but ...

, the November HCAR will also be coming. Rather soon now that this cause for delay is out of the way. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell mailing list Haskell@haskell.org

Re: [Haskell-cafe] Unique functor instance

;-) Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Unique functor instance

Janis Voigtlaender wrote: Luke Palmer wrote: I've been wondering, is it ever possible to have two (extensionally) different Functor instances for the same type? I do mean in Haskell; i.e. (,) doesn't count. I've failed to either come up with any examples or prove that they all must

Re: [Haskell-cafe] Unique functor instance

since you assumed fmap even x = x ! Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Unique functor instance

have different funtor instances. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Unique functor instance

suggest. And finally, another plug: explanations for precisely the kind of type-based reasoning I used in the earlier mail can be found in the thesis I advertised today on the general list: http://wwwtcs.inf.tu-dresden.de/~voigt/habil.pdf Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu

Re: [Haskell-cafe] Re: Type question in instance of a class

and statements about them. The introductory example of the following technical report may be amusing in that respect: http://wwwtcs.inf.tu-dresden.de/~voigt/TUD-FI08-08.pdf Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] implementing python-style dictionary in Haskell

. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] varargs zip

deriver (makeZippable) using the derive-package. So no manual boilerplate at all is necessary to use this version of generic zip. (And there is also a tryZipWith.) Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] How to use Unicode strings?

Alexey Khudyakov wrote: putStrLn Ну и где этот ваш хвалёный уникод? :-) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

Re: [Haskell-cafe] implementing python-style dictionary in Haskell

Ryan Ingram wrote: On Sat, Nov 22, 2008 at 5:33 AM, Janis Voigtlaender [EMAIL PROTECTED] wrote: You can generally make a persistent data structure with the same asymptotic bounds as the ephemeral structure, ... I would be very careful with the generally here. At least, I am not aware

Re: [Haskell-cafe] Re: Type question in instance of a class

Henning Thielemann wrote: On Sat, 22 Nov 2008, Janis Voigtlaender wrote: Definitely. And that surfaces even in quite innocently looking programs and statements about them. The introductory example of the following technical report may be amusing in that respect: http://wwwtcs.inf.tu

Re: [Haskell] Re: The Real Monad Transformer or is Haskell.org hijacked?

of proxy and translates any web page my fuzzyfying monads. So if he has duplicated anything, he has duplicated the whole internet. Try to file a complaint about this ;-) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] Proof that Haskell is RT

you one could prove equivalence. So, to be precise, the question you are interested in cannot even really be asked at the moment. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe

Re: [Haskell-cafe] Can't figure out source of race condition when using System.Process

Rafal Kolanski wrote: ..., until I found someone's code snippet online ... and extrapolated from that. Oh yes, I love that kind of programming. Hardly possible in other languages than Haskell. :-) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

[Haskell] LAST CALL: Haskell Communities and Activities Report

or LaTeX format. More information can be found in the original Call for Contributions at http://www.haskell.org/pipermail/haskell/2008-October/020651.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de

[Haskell-cafe] LAST CALL: Haskell Communities and Activities Report

or LaTeX format. More information can be found in the original Call for Contributions at http://www.haskell.org/pipermail/haskell/2008-October/020651.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

) - 0.5 - (round to integer) - 1 but 0.45 - (round to integer) - 0 That is of course true (and was the topic of heated discussion with my fourth grade math teacher), but does not explain 2.5 - 2. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

Felipe Lessa wrote: On Mon, Oct 27, 2008 at 8:15 AM, Janis Voigtlaender [EMAIL PROTECTED] wrote: That is of course true (and was the topic of heated discussion with my fourth grade math teacher), but does not explain 2.5 - 2. If you round to odd instead of round to even, then 4.5 rounds

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

Janis Voigtlaender wrote: 2.4x - x That's supposed to be 2.4x - 2, of course. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

was taught. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

Felipe Lessa wrote: On Mon, Oct 27, 2008 at 8:30 AM, Janis Voigtlaender [EMAIL PROTECTED] wrote: Well, of course I did not learn to round to odd. I learned to round .5 to above, but not to do repeated rounding. Nobody rounds in passes, of course =). Oh, Mrs. I forgot her name actually

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

Ketil Malde wrote: Janis Voigtlaender [EMAIL PROTECTED] writes: If you round to odd instead of round to even, then 4.5 rounds to 5, Well, of course I did not learn to round to odd. I learned to round .5 to above, but not to do repeated rounding. Since just about every floating point

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

, but another world (politically, pre-'89 ;-). -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

explanation. And yes, the avoiding bias explanation makes sense, but not the this way of rounding makes repeated rounding safe explanation. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Why 'round' does not just round numbers ?

Ketil Malde wrote: Janis Voigtlaender [EMAIL PROTECTED] writes: Since just about every floating point operation involves some sort of loss of precision, repeated rounding is a fact of life. Of course. But that was not the point of the discussion... Well, allow me to contribute

[Haskell] REMINDER: Haskell Communities and Activities Report

format. More information can be found in the original Call for Contributions at: http://www.haskell.org/pipermail/haskell/2008-October/020651.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de

[Haskell-cafe] REMINDER: Haskell Communities and Activities Report

format. More information can be found in the original Call for Contributions at: http://www.haskell.org/pipermail/haskell/2008-October/020651.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de

Re: [Haskell-cafe] What is this function?

- scramble x part. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] List as input

: main *** Outstanding context : (Read b, Show b, Ord b) The compiler doesn't know what kind of list you are trying to read, sort, and print. Try something like: (l::[Int]) - readLn in the penultimate line. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto

Re: [Haskell-cafe] What I wish someone had told me...

attitude. Such people need to stop acting like five year old children. Not that it has much to do with the debate, but the attitude you complain about is the exact opposite of the attitude of any five year old children that *I* know (well, my son primarily ;-). -- Dr. Janis Voigtlaender http

[Haskell-cafe] Haskell on mobile platforms

/gmane.comp.lang.haskell.cafe/45967 Thanks, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2008 edition

, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

[Haskell-cafe] Call for Contributions - Haskell Communities and Activities Report, November 2008 edition

, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] Hmm, what license to use?

Manlio Perillo wrote: When I compare GPL and MIT/BSD licenses, I do a simple reasoning. Suppose a doctor in a battle field meet a badly injuried enemy. Should he help the enemy? I'm so glad I don't understand this ;-) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto

Re: [Haskell-cafe] Hmm, what license to use?

Thomas Davie wrote: On 26 Sep 2008, at 12:12, Janis Voigtlaender wrote: Manlio Perillo wrote: When I compare GPL and MIT/BSD licenses, I do a simple reasoning. Suppose a doctor in a battle field meet a badly injuried enemy. Should he help the enemy? I'm so glad I don't understand

[Haskell-cafe] piping to system call

, and then calling system (cmd ++ temp) Of course, without actually creating that temporary file and having to clean it up afterwards. Does such a system' exist? Thanks, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] piping to system call

Marc Weber wrote: On Tue, Sep 23, 2008 at 01:37:56PM +0200, Janis Voigtlaender wrote: Hi, assume I have a program taking input from stdin. How do I call it from Haskell while feeding to it a string as input. Sure, have a look at http://hackage.haskell.org/packages/archive/process/1.0.0.0

Re: [Haskell-cafe] piping to system call

Jules Bean wrote: Marc Weber wrote: On Tue, Sep 23, 2008 at 01:37:56PM +0200, Janis Voigtlaender wrote: Hi, assume I have a program taking input from stdin. How do I call it from Haskell while feeding to it a string as input. Sure, have a look at http://hackage.haskell.org/packages

Re: [Haskell-cafe] Haskell and Java

Bulat Ziganshin wrote: Is there a a Haskell to Java compiler that's already ready to use? CAL Just in case this answer was a bit cryptic for the original poster... What Bulat means is the following: http://labs.businessobjects.com/cal/ -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu

Re: [Haskell-cafe] Online Real World Haskell, problem with Sqlite3 chapters

-- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Optimizing 'sequence'

or not your = is lazy. For then proving that hypothesis, the paper (and probably other papers it cites) also provides some techniques that might be of use to you. Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

Re: [Haskell-cafe] Optimizing 'sequence'

Don Stewart wrote: If you can demonstrate the required laziness/strictness properties are identical, looks like a nice idea. I think they are not identical, as something along Antoine's second example demonstrates. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto

Re: [Haskell-cafe] Re: Optimizing 'sequence'

/704350.html)? -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Trouble with non-exhaustive patterns

with this. BTW, you might want to have this kind of discussion at [EMAIL PROTECTED] instead. See the announcement: http://thread.gmane.org/gmane.comp.lang.haskell.general/16345 Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED

  1   2   3   >