User loginNavigation 
FunctionalICFP Programming Contest 2018Yep, it on! By Ehud Lamm at 20180721 06:45  Fun  Functional  login or register to post comments  other blogs  9311 reads
Sequent Calculus as a Compiler Intermediate LanguageSequent Calculus as a Compiler Intermediate Language
By Andris Birkmanis at 20180402 17:06  Functional  General  Lambda Calculus  Semantics  Type Theory  2 comments  other blogs  25849 reads
Resource PolymorphismResource Polymorphism, by Guillaume MunchMaccagnoni:
An ambitious goal, and it would be an incredibly useful addition to OCaml. Might even displace Rust in some places, since you can theoretically avoid triggering the GC, but you have the excellent GC available when needed. This is definitely a pain point for Rust. By naasking at 20180308 14:40  Functional  login or register to post comments  other blogs  27048 reads
How efficient is partial sharing?Partial sharing graphs offer a reduction model for the lambda calculus that is optimal in a sense put forward by Jean Jacques Levy. This model has seen interest wax and wane: initially it was thought to offer the most efficient possible technology for implementing the lambda calculus, but then an important result showed that bookkeeping overheads of any such model could be very high (Asperti & Mairson 1998). This result had a chilling effect on the initial wave of excitement over the technology. Now Stefano Guerrini, one of the early investigators of partial sharing graphs, has an article with Marco Solieri (Guerrini & Solieri 2017) arguing that the gains from optimality can be very high and that partial sharing graphs can be relatively close to the best possible efficiency, within a quadratic factor on a conservative analysis (this is relatively close in terms of elementary recursion). Will the argument and result lead to renewed interest in partial sharing graphs from implementors of functional programming? We'll see... (Asperti & Mairson 1998) Parallel beta reduction is not elementary recursive. (Guerrini & Solieri 2017) Is the Optimal Implementation inefficient? Elementarily not. Is Haskell the right language for teaching functional programming principles?No! (As Simon Thompson explains.) A unified approach to solving seven programming problemsA fun pearl by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might from ICFP: seven programming challenges solved (easily!) using a relational interpreter. One challenge, for example, is to find quines. Another is to find programs that produce different results with lexical vs. dynamic scope. The interpreter is implemented in miniKanren (of course), inside Racket (of course). By Ehud Lamm at 20170904 18:44  Fun  Functional  Logic/Declarative  4 comments  other blogs  42193 reads
ICFP 2017 live streamingIf you are one of the few LtUers not presenting (just kidding...), you can get your functional programming fix by following the live stream from ICFP, starting tomorrow at 11:00 (UK). Want to know when to tune in? Check out the incredible program! Proceedings of the ACM on Programming Languages
See the ToC of the September 2017, ICFP issue, here. Some very cool stuff. Congrats! Review of Graham Hutton's Programming in Haskell, 2eA concise review by Simon Thompson of the second edition of Graham Hutton's Programming in Haskell. The first edition was published in 2007, but chapters were written earlier, and the review focuses on how the language has changed since then, embracing the "categorical / algebraic approach more fully". By Ehud Lamm at 20170817 18:19  Functional  login or register to post comments  other blogs  34814 reads
RustBelt: Securing the Foundations of the Rust Programming LanguageRustBelt: Securing the Foundations of the Rust Programming Language by Ralf Jung, JacquesHenri Jourdan, Robbert Krebbers, Derek Dreyer:
Rust is definitely pushing the envelope in a new direction, but there's always a little wariness around using libraries that make use of unsafe features, since "safety with performance" is a main reason people want to use Rust. So this is a great step in the right direction! By naasking at 20170710 15:14  Functional  ObjectFunctional  Type Theory  login or register to post comments  other blogs  13544 reads

Browse archivesActive forum topics 
Recent comments
1 day 7 hours ago
1 day 12 hours ago
2 days 12 hours ago
2 days 14 hours ago
2 days 20 hours ago
3 days 12 hours ago
3 days 21 hours ago
4 days 8 hours ago
4 days 10 hours ago
4 days 10 hours ago