https://wiki.haskell.org/api.php?action=feedcontributions&user=Garious&feedformat=atomHaskellWiki - User contributions [en]2020-03-30T11:35:35ZUser contributionsMediaWiki 1.27.4https://wiki.haskell.org/index.php?title=Template:Main/Success&diff=22549Template:Main/Success2008-08-20T23:50:31Z<p>Garious: added qualcomm</p>
<hr />
<div>'''Who's using Haskell?'''<br />
<br />
<center><br />
{| border="0" cellspacing="0" cellpadding="2"<br />
!<br />
!<br />
|-<br />
|[http://www.credit-suisse.com Credit Suisse]<br />
|builds quantitative modelling systems in Haskell<br />
|-<br />
|[http://www.amgen.com/ Amgen]<br />
|uses Haskell to rapidly build biotech modelling software<br />
|-<br />
|[http://peerium.com Peerium, Inc]<br />
|builds reliable peer-to-peer applications in Haskell<br />
|-<br />
|[http://research.microsoft.com/ Microsoft Research]<br />
|has ongoing research investments in Haskell<br />
|-<br />
|[http://www.eaton.com/ Eaton Corporation]<br />
|uses Haskell to control hybrid vehicles<br />
|-<br />
|[http://www.db.com/ Deutsche Bank]<br />
|employs Haskell for trading software<br />
|-<br />
|[http://antiope.com/ Antiope]<br />
|uses Haskell for simulation and verification of wireless systems<br />
|-<br />
|[http://www.abnamro.com/ ABN AMRO]<br />
|built interactive tools for quantitative analysts in Haskell<br />
|-<br />
|[http://galois.com Galois, Inc]<br />
|uses Haskell to build high assurance systems<br />
|-<br />
|[http://bluespec.com Bluespec, Inc]<br />
|uses Haskell to implement a high-level hardware description language (and supporting tools)<br />
|-<br />
|[http://qualcomm.com Qualcomm, Inc]<br />
|uses Haskell to generate Lua bindings to the BREW platform<br />
|-<br />
|}<br />
</center><br />
<br />
Find more Haskell success stories at [http://cufp.galois.com/ CUFP] and the [[Haskell_in_industry|Industry Wiki]]</div>Garioushttps://wiki.haskell.org/index.php?title=AmeroHaskell&diff=15624AmeroHaskell2007-09-17T06:15:07Z<p>Garious: </p>
<hr />
<div>AmeroHaskell, a Haskell get together for/in the SouthEastern USA.<br />
<br />
== Likely Attendees ==<br />
<br />
* [[ShaeErisson]] - located in Birmingham, Alabama - pretty much any date is good for me.<br />
* [http://www.travishartwell.net/blog/ Travis B. Hartwell] aka Nafai<br />
* [http://byorgey.wordpress.com Brent Yorgey] (byorgey) - Washington, DC. Willing to travel some, probably can't take any time off of work but most weekends are good except Nov. 2-4 and 16-18.<br />
* [[DonStewart]], in OR, but would travel for haskell<br />
* [[Derek Elkins]], in TX, would travel some, probably would only stay for a day or two.<br />
* [[Dino]] Morelli - Raleigh, North Carolina. Will travel some, can stay somewhere overnight(s). Week of Oct 13-20 is not doable.<br />
* [[Betty]] - Raleigh, NC<br />
* [[User:CliffordBeshers|CliffordBeshers]] - San Diego, CA, but would consider travelling.<br />
* [[JohnMeacham]] - Pasadena, CA. might be able to travel depending on when.<br />
* [[GregFitzgerald]] - San Diego, CA<br />
<br />
== Possible locations ==<br />
<br />
<br />
== When ==<br />
<br />
* after ICFP at least.</div>Garioushttps://wiki.haskell.org/index.php?title=Talk:SantaClausProblem&diff=9684Talk:SantaClausProblem2006-12-22T19:16:31Z<p>Garious: </p>
<hr />
<div>= Beautiful concurrency =<br />
<br />
I am writing a chapter for a book called "Beautiful code", edited by Greg Wilson. My [http://research.microsoft.com/~simonpj/tmp/beautiful.ps draft chapter] is about Software Transactional Memory in Haskell.<br />
<br />
I would welcome any comments or questions you have on the paper, or constructive suggestions for improving it; the more concrete the better. <br />
<br />
The book is aimed at a general audience of programmers, <em>not</em> Haskell geeks, so I have tried to explain everything necessary as I go along. So if you are not a Haskell expert, your input would be particularly valuable to me.<br />
<br />
You can email me directly (simonpj@microsoft.com), or add Wiki talk notes below.<br />
<br />
----------<br />
<br />
[[User:Simonpj|Simonpj]] 14:26, 22 December 2006 (UTC) To add a note, begin with four tilde signs <nowiki>~~~~</nowiki>; the Wiki will fill in your user name and date.<br />
<br />
----------<br />
<br />
[[User:ArthurVanLeeuwen|ArthurVanLeeuwen]] 16:25, 22 December 2006 (UTC) There's a couple of typos in the paper as it is now. More importantly, the footnote on page 2 has (hGetLine h "hello") where it should state (hPutStr h "hello").<br />
<br />
[[User:NeilMitchell|Neil Mitchell]] 16:28, 22 December 2006 (UTC) Sect 1, Para 2. If we want to write parallel program[s] - missing s.<br />
<br />
<br />
[[User:Steven807|Steven807]] 17:14, 22 December 2006 (UTC) There is no definition or description of '''check'''<br />
<br />
[[User:Tibbe|Tibbe]] 18:33, 22 December 2006 (UTC); The footnote on page 2 now has a incorrectly capitalized T in hPutSTr.<br />
<br />
[[User:Fanf|Fanf]] 18:51, 22 December 2006 (UTC) page 1 para 2 "as well shall see" should be "as we shall see"<br />
<br />
[[User:Fanf|Fanf]] 18:51, 22 December 2006 (UTC) page 3 "a bit like *t in C" should be "a bit like t* in C" since t is a type<br />
<br />
[[User:Garious|Garious]] 18:56, 22 December 2006 (UTC) page 10 "at which point An elf" should be "at which point an elf"<br />
<br />
[[User:Garious|Garious]] 18:58, 22 December 2006 (UTC) page 10 "Here, then is a possible" should be "Here then, is a possible"<br />
<br />
[[User:Garious|Garious]] 19:16, 22 December 2006 (UTC) page 11 "Again, we define Group is declared" whaaa? maybe: "Group is declared as a data type with constructor MkGroup. MkGroup is passed the Group's capacity, and a TVar containing the number of current members and the Group's two Gates."<br />
<br />
[[User:Garious|Garious]] 19:16, 22 December 2006 (UTC) page 11 "Creating a new Group is simply..." Is a process of three somewhat-abstract steps simple enough to say 'simply'? Instead, maybe show the code and let the reader think, "Hey, that's simple!"</div>Garioushttps://wiki.haskell.org/index.php?title=Talk:SantaClausProblem&diff=9683Talk:SantaClausProblem2006-12-22T18:58:28Z<p>Garious: </p>
<hr />
<div>= Beautiful concurrency =<br />
<br />
I am writing a chapter for a book called "Beautiful code", edited by Greg Wilson. My [http://research.microsoft.com/~simonpj/tmp/beautiful.ps draft chapter] is about Software Transactional Memory in Haskell.<br />
<br />
I would welcome any comments or questions you have on the paper, or constructive suggestions for improving it; the more concrete the better. <br />
<br />
The book is aimed at a general audience of programmers, <em>not</em> Haskell geeks, so I have tried to explain everything necessary as I go along. So if you are not a Haskell expert, your input would be particularly valuable to me.<br />
<br />
You can email me directly (simonpj@microsoft.com), or add Wiki talk notes below.<br />
<br />
----------<br />
<br />
[[User:Simonpj|Simonpj]] 14:26, 22 December 2006 (UTC) To add a note, begin with four tilde signs <nowiki>~~~~</nowiki>; the Wiki will fill in your user name and date.<br />
<br />
----------<br />
<br />
[[User:ArthurVanLeeuwen|ArthurVanLeeuwen]] 16:25, 22 December 2006 (UTC) There's a couple of typos in the paper as it is now. More importantly, the footnote on page 2 has (hGetLine h "hello") where it should state (hPutStr h "hello").<br />
<br />
[[User:NeilMitchell|Neil Mitchell]] 16:28, 22 December 2006 (UTC) Sect 1, Para 2. If we want to write parallel program[s] - missing s.<br />
<br />
<br />
[[User:Steven807|Steven807]] 17:14, 22 December 2006 (UTC) There is no definition or description of '''check'''<br />
<br />
[[User:Tibbe|Tibbe]] 18:33, 22 December 2006 (UTC); The footnote on page 2 now has a incorrectly capitalized T in hPutSTr.<br />
<br />
[[User:Fanf|Fanf]] 18:51, 22 December 2006 (UTC) page 1 para 2 "as well shall see" should be "as we shall see"<br />
<br />
[[User:Fanf|Fanf]] 18:51, 22 December 2006 (UTC) page 3 "a bit like *t in C" should be "a bit like t* in C" since t is a type<br />
<br />
[[User:Garious|Garious]] 18:56, 22 December 2006 (UTC) page 10 "at which point An elf" should be "at which point an elf"<br />
<br />
[[User:Garious|Garious]] 18:58, 22 December 2006 (UTC) page 10 "Here, then is a possible" should be "Here then, is a possible"</div>Garioushttps://wiki.haskell.org/index.php?title=Talk:SantaClausProblem&diff=9682Talk:SantaClausProblem2006-12-22T18:56:27Z<p>Garious: </p>
<hr />
<div>= Beautiful concurrency =<br />
<br />
I am writing a chapter for a book called "Beautiful code", edited by Greg Wilson. My [http://research.microsoft.com/~simonpj/tmp/beautiful.ps draft chapter] is about Software Transactional Memory in Haskell.<br />
<br />
I would welcome any comments or questions you have on the paper, or constructive suggestions for improving it; the more concrete the better. <br />
<br />
The book is aimed at a general audience of programmers, <em>not</em> Haskell geeks, so I have tried to explain everything necessary as I go along. So if you are not a Haskell expert, your input would be particularly valuable to me.<br />
<br />
You can email me directly (simonpj@microsoft.com), or add Wiki talk notes below.<br />
<br />
----------<br />
<br />
[[User:Simonpj|Simonpj]] 14:26, 22 December 2006 (UTC) To add a note, begin with four tilde signs <nowiki>~~~~</nowiki>; the Wiki will fill in your user name and date.<br />
<br />
----------<br />
<br />
[[User:ArthurVanLeeuwen|ArthurVanLeeuwen]] 16:25, 22 December 2006 (UTC) There's a couple of typos in the paper as it is now. More importantly, the footnote on page 2 has (hGetLine h "hello") where it should state (hPutStr h "hello").<br />
<br />
[[User:NeilMitchell|Neil Mitchell]] 16:28, 22 December 2006 (UTC) Sect 1, Para 2. If we want to write parallel program[s] - missing s.<br />
<br />
<br />
[[User:Steven807|Steven807]] 17:14, 22 December 2006 (UTC) There is no definition or description of '''check'''<br />
<br />
[[User:Tibbe|Tibbe]] 18:33, 22 December 2006 (UTC); The footnote on page 2 now has a incorrectly capitalized T in hPutSTr.<br />
<br />
[[User:Fanf|Fanf]] 18:51, 22 December 2006 (UTC) page 1 para 2 "as well shall see" should be "as we shall see"<br />
<br />
[[User:Fanf|Fanf]] 18:51, 22 December 2006 (UTC) page 3 "a bit like *t in C" should be "a bit like t* in C" since t is a type<br />
<br />
[[User:Garious|Garious]] 18:56, 22 December 2006 (UTC) page 10 "at which point An elf" should be "at which point an elf"</div>Garioushttps://wiki.haskell.org/index.php?title=GHC&diff=8116GHC2006-11-08T23:32:48Z<p>Garious: removed out-dated qualifier 'hierarchical'</p>
<hr />
<div>The '''Glasgow Haskell Compiler''' is a state-of-the-art, open source, compiler and interactive environment for the functional language Haskell.<br />
<br />
* [http://www.haskell.org/ghc/ The GHC Home Page]<br />
<br />
== Documentation ==<br />
<br />
The documentation below relates to ''using'' GHC. For documentation about the internals of GHC, head over to the [http://hackage.haskell.org/trac/ghc GHC Developer Wiki].<br />
<br />
These documents relate to the ''latest released'' version of GHC.<br />
For ''earlier released'' versions click the relevant version on the<br />
[http://www.haskell.org/ghc/download.html downloads page]. <br />
For the the ''current HEAD snapshot'' look at <br />
[http://www.haskell.org/ghc/download.html#snapshots the bottom of the downloads page].<br />
<br />
<br />
; [http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html The User's Guide]: The User's Guide has all you need to know about using GHC: command line options, language extensions, GHCi, etc.<br />
: Download: | [http://www.haskell.org/ghc/docs/latest/users_guide.html.tar.gz HTML.tar.gz] | [http://www.haskell.org/ghc/docs/latest/users_guide.pdf PDF] | [http://www.haskell.org/ghc/docs/latest/users_guide.ps.gz A4 Postscript (gzipped)] |<br />
<br />
; [http://www.haskell.org/ghc/docs/latest/html/libraries/index.html Standard Libraries]: Documentation for the libraries that come with GHC.<br />
: Download: | [http://www.haskell.org/ghc/docs/latest/libraries.html.tar.gz HTML.tar.gz] |<br />
<br />
; [http://www.haskell.org/ghc/docs/latest/html/Cabal/index.html Cabal]: An infrastructure for building and distributing Haskell software.<br />
: Download: | [http://www.haskell.org/ghc/docs/latest/Cabal.html.tar.gz HTML.tar.gz] | [http://www.haskell.org/ghc/docs/latest/Cabal.pdf PDF] | [http://www.haskell.org/ghc/docs/latest/Cabal.ps.gz A4 Postscript (gzipped)] |<br />
<br />
; [http://www.haskell.org/ghc/docs/latest/html/building/index.html GHC Building Guide]: Information on how to build GHC from sources, access the CVS repository, and port GHC to a new platform.<br />
: Download: | [http://www.haskell.org/ghc/docs/latest/building.html.tar.gz HTML.tar.gz] | [http://www.haskell.org/ghc/docs/latest/building.pdf PDF] | [http://www.haskell.org/ghc/docs/latest/building.ps.gz A4 Postscript (gzipped)] |<br />
<br />
== Collaborative documentation ==<br />
<br />
GHC is a big system. We try to document the core functionality (above), but<br />
you can help by writing documentation yourself. This section collects<br />
documentation written in a collaborative way, by users and developers together.<br />
Please help by adding new sections, and by clarifying and improving existing ones.<br />
<br />
* [[/FAQ|GHC FAQ]]<br />
* [[/GHCi|Using GHCi]]<br />
* [[/GHCiDebugger| The GHCi debugger]]<br />
* [[Cabal|Using Cabal]] (including with DLLs)<br />
* [[/Type system|Type system extensions in GHC]]<br />
* The [[Performance|Haskell Performance Resource]], for advice on improving the performance of your code<br />
* [[/As a library|Using GHC as a library]]<br />
* [[/Concurrency|Concurrent programming in GHC]]<br />
* [[Template_Haskell|Template Haskell]] is a (GHC) extension to Haskell that adds compile-time metaprogramming facilities.<br />
* [http://www.cse.unsw.edu.au/~dons/hs-plugins Dynamically loaded Haskell modules]: Don Stewart's <tt>hs-plugins</tt> library<br />
* [[/Using the FFI|Using the Foreign Function Interface]]<br />
* [[/GUI programming|GUI programming in GHC]]<br />
* [[/Using Rules|Using RULES in GHC]]<br />
* [[Correctness of short cut fusion]]<br />
* [[GHC under WINE|Running GHC under Wine]]<br />
* [[GHC/Data Parallel Haskell|Data Parallel Haskell: using nested data parallelism in GHC]]<br />
<br />
== Development of GHC ==<br />
<br />
See the [http://hackage.haskell.org/trac/ghc GHC Developer Wiki]. The latest snapshot of the documentation for the next version can be found [http://haskell.org/ghc/dist/current/docs/ here].<br />
<br />
[[Category:Implementations]]</div>Garioushttps://wiki.haskell.org/index.php?title=HaskellWiki:Syntax_highlighting/Breakage&diff=6920HaskellWiki:Syntax highlighting/Breakage2006-10-12T21:13:34Z<p>Garious: On Intro page, links in Haskell code not working</p>
<hr />
<div>:''Now fixed, see [[HaskellWiki talk:Syntax highlighting/Breakage|talk page]].''<br />
<br />
This page is an attempt to find a minimal criminal for the bugs in GeSHi, the syntax highlighter that powers <nowiki><haskell> and <hask></nowiki> on the Haskell wiki.<br />
<br />
<haskell><br />
x == '-' || True<br />
</haskell><br />
<br />
That breaks.<br />
<br />
<haskell><br />
x :: String<br />
x = map toUpper "hello"<br />
</haskell><br />
<br />
Subsequent <nowiki><haskell></nowiki> blocks seem to independant of the breakages.<br />
<br />
<haskell><br />
False || True<br />
</haskell><br />
<br />
Looks like the (||) operator is causing the problems.<br />
<br />
<haskell><br />
a || b<br />
</haskell><br />
<br />
However, that works. Perhaps it only breaks when using literals?<br />
<br />
<haskell><br />
'a' || 'b'<br />
</haskell><br />
<br />
No, characters work too.<br />
<br />
<haskell>'a' || True</haskell><br />
<haskell>True || 'a'</haskell><br />
<haskell>5 || 'a'</haskell><br />
<haskell>'a' || 5</haskell><br />
<haskell>5 || True</haskell><br />
<haskell>True || 5</haskell><br />
<br />
Any kind of attempt to mix literals of different types breaks.<br />
<br />
<haskell>'a' || 'b' -- chars work</haskell><br />
<haskell> "a" || "b" -- strings work</haskell><br />
<br />
I think any number or constructor on either side of the || makes it break.<br />
<br />
<haskell> f 5 || g 6</haskell><br />
<haskell> f 'a' || g 6</haskell><br />
<br />
Function application with numbers fails too.<br />
<br />
Mixing "a", 'a', or a on one side and a function taking the same on the other works:<br />
<br />
<haskell><br />
"a" || isDigit 'a'<br />
</haskell><br />
<br />
However, with a numeric argument, it's wrong:<br />
<haskell><br />
"a" || isDigit 5<br />
</haskell><br />
<br />
Possible counterexample to 'constructors don't work':<br />
<haskell><br />
a || A<br />
</haskell><br />
<br />
Specifically, if they have two or more letters, they seem to fail:<br />
<haskell><br />
a || Ab<br />
</haskell><br />
<br />
More evidence:<br />
<br />
<haskell>Ab || a</haskell><br />
<haskell>a || Ab</haskell><br />
<haskell>Ab || 'a'</haskell><br />
<haskell>'a' || Ab</haskell><br />
<haskell>Ab || "a"</haskell><br />
<haskell>"a" || Ab</haskell><br />
<br />
<haskell><br />
"a" || True<br />
</haskell><br />
<br />
From the Intro page, '<' isn't linking, (++) goes to (.), (>=) isn't found<br />
<haskell><br />
qsort [] = []<br />
qsort (x:xs) = qsort (filter (< x) xs) ++ [x] ++ qsort (filter (>= x) xs)<br />
</haskell></div>Garious