Frank is the sort of new language you need to look at. It pushes the functional pardgm that bit further and it isn't just another Java clone with better syntax and modified type system. It really is novel.
‘To be is to do’—Socrates.
‘To do is to be’—Sartre.
‘Do be do be do’—Sinatra. —anonymous graffiti, via Kurt Vonnegut
Frank is a functional programming language with effects and handlers in the spirit of Eff, controlled by a type system inspired by Levy’s call-by-push-value. Doing and Being are clearly separated, and managed by distinguished notions of computation and value types.
We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar's effect handler abstraction.
Effect handlers provide an abstraction for modular effectful programming: a handler acts as an interpreter for a collection of commands whose interfaces are statically tracked by the type system. However, Frank eliminates the need for an additional effect handling construct by generalising the basic mechanism of functional abstraction itself.
A function is simply the special case of a Frank operator that interprets no commands. Moreover, Frank's operators can be multihandlers which simultaneously interpret commands from several sources at once, without disturbing the direct style of functional programming with values.
Effect typing in Frank employs a novel form of effect polymorphism which avoid mentioning effect variables in source code. This is achieved by propagating an ambient ability inwards, rather than accumulating unions of potential effects outwards.
We introduce Frank by example, and then give a formal account of the Frank type system and its semantics. We introduce Core Frank by elaborating Frank operators into functions, case expressions, and unary handlers, and then give a sound small-step operational semantics for Core Frank.
Programming with effects and handlers is in its infancy. We contribute an exploration of future possibilities, particularly in combination with other forms of rich type system.
It is arguable that OCaml has been more of an inspiration to other languages than a run away success in its own right, but a new version is still newsworthy. OCaml is a functional language that includes features of imperative and object oriented programming.
The new release is mainly a bug fix and small changes release. The biggest new feature is SpaceTime a new memory profiler.
For JetBrains fans the fact that a new version of Kotlin is available is important news.
Convert try-finally to use() intention
We continue to add intentions for converting code to idiomatic Kotlin. The IDE now automatically suggests to replace try-finally block with the use() call when all the finallyblock does is closing a resource.
"Add names to call arguments" intention
Named arguments help to increase code readability. With the new "Add names to call arguments" intention you can easily add the name to an argument, or just substitute names for all call arguments at once.
There are other IDE improvments and better Android support.
A new platform for mobile developers has been released by Realm, a company best known for its Mobile Database which offers an alternative to SQLite and Core Data. Realm runs directly inside phone [ ... ]