[Caml-list] Call for Participation: CUFP 2013

[Caml-list] Call for Participation: CUFP 2013

[Thomas Gazagnaire]

Hope to see some of you at CUFP this year! The program looks great, with a nice talk by Facebook folks on how they use OCaml to analyze and type their internal PHP codebase.

Commercial Users of Functional Programming (CUFP) 2013 at ICFP 2013;
Boston, MA, Sep 22-24.
 
Call for Participation
 
Functional programming has been at the forefront of a new generation
of programming technologies: Companies employing functional
programming use it to enable more effective, robust, and flexible
software development.
 
The annual CUFP workshop is designed to serve the growing community of
commercial users of functional programming: Practitioners meet and
collaborate; language designers and users can share ideas about the
future of their languages; experts share their expertise on practical
functional programming.
 
CUFP 2013 begins with a day of talks about industrial applications of
functional programming, followed by two days of tutorials by top-notch
language experts including advanced tutorials on special topics.
 
More information about CUFP 2013 is available on the CUFP web site at
 
http://cufp.org/conference/schedule
 
Registration is available at:
 
https://regmaster3.com/2013conf/ICFP13/register.php
 
Note that early-registration discounts end August 22.
 
 
TALKS, SEPTEMBER 22
 
Keynote: "Small Talk" Dave Thomas, TBA.
 
Analyzing PHP statically (Julien Verlaguet, Facebook)
 
Introducing Erlang to OpenX (Anthony Molinaro, OpenX)
 
Redesigning the Computer for Security (Tom Hawkins, BAE Systems)
 
End to end Reactive Programming (Jafar Husain, Netflix)
 
Medical Device Automation using Message-Passing Concurrency in Scheme
(Vishesh Panchal & BobBurger, Beckman Coulter Inc.)
 
Enabling Microservice Architectures with Scala (Kevin Scaldeferri,
Gilt Groupe)
 
Functional Infrastructures (Antoni Batchelli, PalletOps)
 
Realtime MapReduce at Twitter (Sam Ritchie, Twitter Inc)
 
Functional Probabilistic Programming (Avi Pfeffer, Charles River
Analytics)
 
Building a commercial development platform Haskell, an experience
report. (Gregg Lebovitz, FP Complete)
 
Common Pitfalls of Functional Programming and How to Avoid Them: A
Mobile Gaming Platform Case Study (Yasuaki Takebe, GREE, Inc)
 
Building scalable, high-availability distributed systems in Haskell
(Jeff Epstein, Parallel Scientific)
 
Functional Reporting (Edward Kmett, S&P Capital IQ)
 
Enterprise Appointment Scheduling with Haskell (Ryan Trinkle,
skedge.me)
 
Programming Map/Reduce in Mathematica (Paul-Jean Letourneau, Wolfram)
 
 
TUTORIALS, SEPTEMBER 23
 
T1: Haskell Day 1 (Andres Löh)
 
T2 - OCaml tutorial (Yaron Minsky & Anil Madhavapeddy)
 
T3 - Erlang 101 - Your introduction to Concurrency and Multi-core
(Francesco Cesarini & Simon Thompson)
 
T4 - (Systematic generation of optimal code with MetaOCaml) Oleg
Kiselyov
 
T5 - (Erlang Web frameworks) Steve Vinoski
 
 
TUTORIALS, SEPTEMBER 24
 
T6 - Haskell Day 2 (Simon Marlow)
 
T7 - Clojure tutorial (Luke Vander Hart)
 
T8 - The Seductions of Scala (Dean Wampler)
 
T9 - Bending Clojure to your will: Macros and Domain Specific
Languages (Leonardo Borges)
 
T10 - Scalding - The Scala Tool for Data Analytics in Hadoop Systems
(Dean Wampler)

[Caml-list] sexplib, type_conv, ocamlbuild

[Chet Murthy]

I'm trying to puzzle out how to use sexplib's type_conv (pa_sexp_conv)
with oasis.  I've looked at the example in the sexplib source, but
(sigh) cannot seem to coax oasis to generate something similar for my
own source.

I'm a little mystified as to how to get it to do the trick ....

Anybody got this to work?  Sexplib's auto-generated marshallers seem
like they'd be so .... sweet.

Thanks,
--chet--

Re: [Caml-list] sexplib, type_conv, ocamlbuild

[Anil Madhavapeddy]

The trick is a little obscure, I fear.  At the end of your OASIS _tags file,
add this line:

# OASIS_STOP
true: syntax_camlp4o, pkg_sexplib.syntax

The lines after the OASIS_STOP will not be overridden on a future
"oasis setup".

Note that the trunk version of OASIS has a heuristic to detect
dependencies containing a ".syntax" extension and automating this
process. See:
  https://github.com/ocaml/oasis/pull/11

-anil


On 6 Aug 2013, at 18:28, Chet Murthy <murthy.chet@gmail.com> wrote:

> 
> I'm trying to puzzle out how to use sexplib's type_conv (pa_sexp_conv)
> with oasis.  I've looked at the example in the sexplib source, but
> (sigh) cannot seem to coax oasis to generate something similar for my
> own source.
> 
> I'm a little mystified as to how to get it to do the trick ....
> 
> Anybody got this to work?  Sexplib's auto-generated marshallers seem
> like they'd be so .... sweet.
> 
> Thanks,
> --chet--
> 
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>