--Myles
> --
> You received this message because you are subscribed to the Google Groups
> "Bay Area Haskell Users Group" group.
> To post to this group, send email to baha...@googlegroups.com.
> To unsubscribe from this group, send email to
> bahaskell+...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/bahaskell?hl=en.
--
You received this message because you are subscribed to the Google Groups "Bay Area Haskell Users Group" group.
To post to this group, send email to baha...@googlegroups.com.
To unsubscribe from this group, send email to bahaskell+...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bahaskell?hl=en.
Hello everyone,
For our March meeting Nicholas Tung is going to make a talk about writing EDSLs in Haskell:
We introduce an approach for writing an extensible EDSL compiler in Haskell.More specifically, we express compiler abstractions and "optimizations" as monad transformers.We combine this compiler with synthesis techniques to obtain optimized GPU programs from medium-high level code.Discussion: I would like to discuss several design decisions I've made, for example (a) maybe-more-modern typing via GHC 7.4.1's new Constraint Kinds extension [vs. Data.Dynamic or phantom types] (b) handling function definitions, in particular passing a reified "lift" function down the monad transformer stack (c) tradeoffs using associated data vs. associated types.
The meeting place is our usual place in SoMa, kindly provided by Engine Yard:500 Third Street, Suite 510San Francisco, CA 94107
Contact phone (mine): 650-762-6644.Host's phone (Larry's): 407-718-7665.Please arrive a little bit earlier, so that we could start at 7pm sharp.
We may try to set up the video feed through Google Hangout (I will post a public link in my G+ before the meeting starts if we succeed in setting it up), however please don't rely on it and try to visit the meeting in person if possible. If you are going to be joining the hangout, please mute your microphone before you join.
Some people will be going from the South Bay (and probably East Bay) to the meeting and back, so there's a possibility of carpooling. Also, it's very easy to get to Engine Yard from the Caltrain station (4th & King Str) and Embarcadero/Powell BART stations. Please send me a message if you need help figuring out transportation. If you are driving and can take some people from East/South Bay to the meeting and back, please send a message to the baha...@googlegroups.com mailing list.Please retweet/post to reddit/forward this email to those who may be interested in attending. If you plan to attend and you're not yet subscribed, please subscribe to BAHaskell Google Group to follow all the discussions related to this meeting (if you have troubles with the captcha while joining, please send me a direct email).Cheers,Ivan
One motivating example that could make your research interesting for
people doing DSP would be an FFT implementation. So, if you can show
an FFT written in some very readable style getting transformed into a
flamethrower GPU program, I will certainly be impressed.
Thanks
Greg
--
nest.cx is Gmail hosted, use PGP for anything private. Key:
http://tinyurl.com/ho8qg
Fingerprint: 5E2B 2D0E 1E03 2046 BEC3 4D50 0B15 42BD 8DF5 A1B0