Personal tools

CamHac/PostHackathonReport

From HaskellWiki

< CamHac(Difference between revisions)
Jump to: navigation, search
(Haskell Test Framework)
(Added Category:Community)
 
(14 intermediate revisions by 9 users not shown)
Line 20: Line 20:
   
 
* Discussed refactoring compiler/util/Digraph.lhs into a reusable graph combinator library, along with porting over hoopl's control-flow-graph traversals (not yet implemented).
 
* Discussed refactoring compiler/util/Digraph.lhs into a reusable graph combinator library, along with porting over hoopl's control-flow-graph traversals (not yet implemented).
  +
  +
* [http://hackage.haskell.org/trac/ghc/ticket/2132 Optimise nested comparisons]: started implementing (currently as a plugin) a new Core-to-Core pass.
   
 
== Context synonym families ==
 
== Context synonym families ==
Line 130: Line 132:
 
* New '--quiet' flag: only produces output for failing tests (FINISHED)
 
* New '--quiet' flag: only produces output for failing tests (FINISHED)
 
* Output a diff if an assertEqual fails (not yet finished)
 
* Output a diff if an assertEqual fails (not yet finished)
  +
  +
== Stack traces in GHC ==
  +
  +
I (Simon M.) was working on adding better support for source code annotations in GHC's Core language, and unifying the way we handle profiling cost centres, coverage annotations, and breakpoints in the GHCi debugger. I'm working on a new semantics for cost centre stacks, which will allow us to track call stacks at runtime. This will not only give us more accurate profiling, but also let us report stack traces on errors (e.g. head []), perhaps enabled by a compile-time option.
  +
  +
== TLS ==
  +
  +
lots of various misc improvements: re-work records for more type safety, support for compression, initial support of version 1.2. (Vincent Hanquez)
  +
  +
https://github.com/vincenthz/hs-tls
  +
  +
== Pattern Synonyms ==
  +
Simon PJ, Simon M, and I (Lennart Augustsson) hashed out a design for pattern synonyms. I've barely begun implementation, so don't expect anything just yet.
  +
  +
http://hackage.haskell.org/trac/ghc/wiki/PatternSynonyms
  +
  +
== Frequent Subgraph Algorithm ==
  +
I (Stephen Lavelle) implemented the vSiGraM algorithm for searching for frequent vertex-disjoint subgraphs of large graphs. Doesn't really work for large graphs, though - 'tis quite slow right now.
  +
  +
https://github.com/increpare/vsigram
  +
  +
== Data.ByteString.Lazy.Builder ==
  +
  +
Duncan Coutts and Johan Tibell reviewed my (Simon Meier) work on a lazy bytestring builder for the 'bytestring' library; based on blaze-builder. The API and implementation is now complete. Documentation is there, but needs lots of polishing. I also gave a talk on when and how to use the bytestring builder. The slides and example code are available from [https://github.com/meiersi/bytestring/blob/master/bench/CSV.hs github].
  +
  +
== Error reporting for JsonGrammar ==
  +
  +
Some progress on better error reporting for the JSON conversion functions in the [http://hackage.haskell.org/package/JsonGrammar JsonGrammar package] was made. Now <hask>fromJson</hask> no longer says <hask>Nothing</hask> when there is an error in the input JSON. Progress can be [https://github.com/MedeaMelana/JsonGrammar/tree/errors tracked on GitHub]. When finished it will be merged back into the master branch and released in a new version on hackage. (Martijn van Steenbergen)
  +
  +
== Implementing 'docase' notation in GHC ==
  +
  +
I (Tomas Petricek) started implementing the <hask>docase</hask> notation that I briefly presented on Sunday as a GHC langauge extension. The slides from the presentation [http://slidesha.re/oJP10b are available online] and you can find more information in my [http://www.cl.cam.ac.uk/~tp322/papers/docase.html Haskell Symposium paper].<br /><br />
  +
At Hasckathon, I extended the GHC lexer & parser and added a language extension flag <Hask>DocaseNotation</Hask>. I also understood a little bit how type-checker and desugaring works and I got a very basic part of the extension to work (one particular part of syntax type-checks and desugars to Prelude function call, but it supports re-bindable syntax as other similar extensions). I continue working on the extension and will upload a patch for more discussion when it's ready.
  +
  +
== LambdaCube 3D engine ==
  +
  +
The next version of the engine will be based on a (DSL) graphics pipeline description language. During the weekend I've checked some related projects like accelerate and gpipe and did some examples with them.
  +
  +
  +
[[Category:Community]]

Latest revision as of 12:53, 17 December 2012

Contents

[edit] 1 Post-Hackathon Report

This page is for listing what was done during the Hackathon. Please add a short description of what you worked on, with links to relevant blog posts, hackage packages, commits, etc.

[edit] 1.1 fclabels 1.0 release

New release of the fclabels package. The new package has a lot of code and documentation cleanups, support for partial labels in the case of multi-constructor datatypes and is about 20x as fast for setting and modifying as the previous version. Thanks everyone for helping me out!

Hackage: http://hackage.haskell.org/package/fclabels-1.0.1

Github: http://github.com/sebastiaanvisser/fclabels

[edit] 1.2 GHC and base library improvements

  • Add unchecked left and right bit shifts: The Data.Bits.shift method uses a branch to check if the shift amount is larger than the word size and returns 0 in these cases. This extra safety makes performance worse in bit twiddling code.
  • Discussed unpacking of enums in GHC (not yet implemented).
  • Discussed refactoring compiler/util/Digraph.lhs into a reusable graph combinator library, along with porting over hoopl's control-flow-graph traversals (not yet implemented).

[edit] 1.3 Context synonym families

Started working on context synonym families and indexed context synonym families. We make this work by giving evidence the new kind Fact, and then allowing any type of kind Fact to appear on the left of a => arrow.

(Max Bolingbroke, Dominic Orchard and Nicolas Wu)

[edit] 1.4 Darcs

New contributors:

  • use red text to report when we have a conflict (issue1681,patch646, Jeff Foster)
  • support 'since' in English dates parser
  • filter SSH output (issue845, Jeff Foster and Sebastian Korten)
  • support arbitrary darcs command in darcs-test (Alexander Njemz)
  • output ISO dates in darcs changes? (issue140, Alexander N, may be not a good idea)
  • add a last regrets prompt to interactive patch selection (issue1920, patch655, Johannes Weiß)
  • [in-progress] support removing changes in amend-record (issue1470, Johannes Weiß)

[edit] 1.5 wxHaskell

[edit] 1.6 hCole-server

[edit] 1.7 GObject Introspection

  • Work-in-progress binding generator for GObject-based libraries such as Gtk+ 3.
  • Started switching to haskell-src-exts for code generation.
  • Patches currently on the camhac branch on gitorious.

[edit] 1.8 Snap Framework

  • Snap 0.5.3 and 0.5.3.1 released!
  • Several bugs squashed or nearly-squashed: #2 (IPv6 support, from Vlad Hanciuta), #77, #78, and #79.
  • File upload code: replaced "openBinaryTempFile" with something less dumb (mkstemp) on unix, and fixed some iteratee cleanup problems using an MVar finalizer
  • Removed the template haskell code from Data.Concurrent.HashMap in snap-server

[edit] 1.9 Data.Text

  • Further benchmarking, bug fixing to support the UTF-8 port
  • Progress can be found in the utf8 branch here
  • The GSoC project is basically done, next up is writing a summary report of benchmark results and what advantages and disadvantages come with the port

[edit] 1.10 hs-poker

  • A "redneck naive" poker hand evaluator. Code is on github (https://github.com/fffej/HS-Poker). Hopefully intend to turn this into a poker bot playground for Haskell (Jeff / Sebastian)

[edit] 1.11 haskell-mpi

  • New version 1.1.0 uploaded to hackage, including support for more MPI implementations, bugfixes and general awesomness
  • Upcoming Monad Reader would feature and article about parallel programming with MPI, written during the course of the hackathon (Dmitry Astapov)

[edit] 1.12 HTTP

Some work was done on setting up tests for HTTP. Additionally, some bugs were fixed, code was cleaned up, warnings removed and a start was made on improving the Network.Browser module.

[edit] 1.13 EchoNest API

A very nascent API for accessing the EchoNest Music API http://developer.echonest.com/docs/v4/index.html . Coming to a GitHub server in the near future, as soon as it stops looking so ugly (Ian Knopke / Jose Calderon).

[edit] 1.14 TagSoup/Derive/HLint

All the above packages got upgraded to the latest GHC, along with a few bug fixes (Derive now deals with singleton constructors with no fields, HLint now supports an ANSI CPP flag) (Neil Mitchell)

[edit] 1.15 Hoogle

The current Hoogle parser for user queries is old, doesn't parse everything correctly, and in particular doesn't deal well with partial queries (when the user is still typing their search). We discussed lots of edge cases, and started implementing a new version (Jacek Generowicz, with guidance from Neil Mitchell)

[edit] 1.16 CmdArgs

The CmdArgs package lets you concisely specific command line arguments. I ported the package to GHC 7.2.1, did some cleanups, and fixed some bugs (you can now use Int64 etc). I then started working on two new features: 1) Given a CmdArgs program (such as Hoogle) you can specify you want to enter the arguments via a GUI hosted in the web browser. Currently the GUI is a simple textbox with realtime validation, but in future it will become a structured command line argument editor based on the options to your tool. 2) Adding automatic bash autocompletion - some of the work has been done, but the details are not yet finished. (Neil Mitchell)

[edit] 1.17 Hackage server

Further refactoring work, simplification of HTTP basic/digest authentication code. Started work on serving package changelogs. Improvements to admin pages to make various features more discoverable (Duncan Coutts, Stefan Wehr, Ben Millwood).

Hackathon branch of the code is at (not all patches have been submitted yet):

darcs get http://code.haskell.org/~duncan/camhac/hackage-server/

[edit] 1.18 Bittorrent DHT

Initial work on implementing BEP 0005 in Haskell. Some core data structures seem to be working (although untested) and I'm currently working on the protocol. I will probably merge this into Haskell Torrent when everything is working, but I intend to keep the library available separately as I see potential uses for the network other than Bittorrent. (Alex Horsman)

https://github.com/aninhumer/haskell-dht

[edit] 1.19 LambdaHack

Discussed gameplay and hacks, annotated the code with the discussion results and finally accepted the pull request from Allure of the Stars to LambdaHack.

[edit] 1.20 HaskelSSHClient

Hacked around a bit on the Haskel SSH Client. Work was started on making it able to do re-keying after the initial key exchange, but it is unfinished for now... (Bart Coppens)

https://github.com/bcoppens/HaskellSshClient

[edit] 1.21 Haskell Test Framework (HTF)

  • New '--quiet' flag: only produces output for failing tests (FINISHED)
  • Output a diff if an assertEqual fails (not yet finished)

[edit] 1.22 Stack traces in GHC

I (Simon M.) was working on adding better support for source code annotations in GHC's Core language, and unifying the way we handle profiling cost centres, coverage annotations, and breakpoints in the GHCi debugger. I'm working on a new semantics for cost centre stacks, which will allow us to track call stacks at runtime. This will not only give us more accurate profiling, but also let us report stack traces on errors (e.g. head []), perhaps enabled by a compile-time option.

[edit] 1.23 TLS

lots of various misc improvements: re-work records for more type safety, support for compression, initial support of version 1.2. (Vincent Hanquez)

https://github.com/vincenthz/hs-tls

[edit] 1.24 Pattern Synonyms

Simon PJ, Simon M, and I (Lennart Augustsson) hashed out a design for pattern synonyms. I've barely begun implementation, so don't expect anything just yet.

http://hackage.haskell.org/trac/ghc/wiki/PatternSynonyms

[edit] 1.25 Frequent Subgraph Algorithm

I (Stephen Lavelle) implemented the vSiGraM algorithm for searching for frequent vertex-disjoint subgraphs of large graphs. Doesn't really work for large graphs, though - 'tis quite slow right now.

https://github.com/increpare/vsigram

[edit] 1.26 Data.ByteString.Lazy.Builder

Duncan Coutts and Johan Tibell reviewed my (Simon Meier) work on a lazy bytestring builder for the 'bytestring' library; based on blaze-builder. The API and implementation is now complete. Documentation is there, but needs lots of polishing. I also gave a talk on when and how to use the bytestring builder. The slides and example code are available from github.

[edit] 1.27 Error reporting for JsonGrammar

Some progress on better error reporting for the JSON conversion functions in the JsonGrammar package was made. Now
fromJson
no longer says
Nothing
when there is an error in the input JSON. Progress can be tracked on GitHub. When finished it will be merged back into the master branch and released in a new version on hackage. (Martijn van Steenbergen)

[edit] 1.28 Implementing 'docase' notation in GHC

I (Tomas Petricek) started implementing the
docase
notation that I briefly presented on Sunday as a GHC langauge extension. The slides from the presentation are available online and you can find more information in my Haskell Symposium paper.

At Hasckathon, I extended the GHC lexer & parser and added a language extension flag
DocaseNotation
. I also understood a little bit how type-checker and desugaring works and I got a very basic part of the extension to work (one particular part of syntax type-checks and desugars to Prelude function call, but it supports re-bindable syntax as other similar extensions). I continue working on the extension and will upload a patch for more discussion when it's ready.

[edit] 1.29 LambdaCube 3D engine

The next version of the engine will be based on a (DSL) graphics pipeline description language. During the weekend I've checked some related projects like accelerate and gpipe and did some examples with them.