[Haskell] Fwd: Haskell program introspection tooling development.

[Csaba Hruska]

Hello,

I'm using the external STG interpreter
 to introspect the
runtime behaviour of Haskell programs. Lately I've added an initial
call-graph construction feature that I plan to refine further.
https://twitter.com/csaba_hruska/status/1417486380536582151
Is there anyone who has dynamic analysis related research ambitions and
wants to study Haskell program runtime behaviour in detail?
If so then it would be great to talk.

Cheers,
Csaba
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ANN: Budapest Hackathon 2014

[Csaba Hruska]

Dear Haskellers,

We're organizing the first ever Haskell Hackathon in Budapest, Hungary.

When: Saturday 31 May 2014 - Sunday 1 June 2014

This will be a great opportunity to meet up with fellow Haskellers, and
show off your cool hobby projects in one of the most vibrant cities in
Europe. There's also room for working on existing tools, for example you
can team up with Luite Stegeman at the event to hack on GHC-JS.

Details about the when, where and how:
http://www.haskell.org/haskellwiki/BudapestHackathon2014

See you all there!
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] my gsoc project topic

[Csaba Hruska]

Hi!

I'm wondering about the topic of my gsoc project.
I'm interested in these areas:
- improving cabal (more sophisticated dependency, multi version, compiler
support, etc)
  This could be useful from practical view.

- Another idea is to improve GHC's new LLVM backend.
  (eg: support cross module optimization, integrate with llvm-gcc or clang
to support full project link time optimization, even using FFI)
  I'm really keen on compiler technology, and i know llvm for 3 years. (and
i'm familiar with clang too)
  I also have a perspective to GHC's compile stages and intermediate
languages.
  But I've seen that other people are interested in LLVM backend gsoc
project too.

- Another LLVM related idea is to create a framework to support writing llvm
passes in haskell, this should be based on existing llvm haskell binding.

- I'm also interested in computer graphics. While this kind of project could
look really good, the community could not benefit from it.
 eg: *write a pure FRP based 3D game, withs existing haskell libs
  *improve lambdacube 3D engine, etc
 IMO the big thing will come in these area when DPH and GPGPU will be stable
and supported.

What do you think about these?

Cheers,
Csaba Hruska
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell