Write your own GHC type checker plugins
It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions. However, once we have them at the type-level, you often find that GHC's type checker complains about two "obviously" similar expressions not being equal. It may not see that x + 0 and 0 + x are the same for any natural number x.
Chief Operating Officer’s FinTech Forum, Hosted by EY
Technological Innovation and Collaboration within Global Banking and Markets: Delivering Change in an Ever-Changing World
This interactive event will consist of a roundtable discussion with an impressive expert panel, as well as a series of technology demonstrations and quick-fire presentations from a variety of FinTech firms. An excellent networking opportunity, attendees will be COOs, CCOs and business leads within technological innovation and investment. The FinTech firms on show have been nominated by the participating banks and finalised in conjunction with EY and Armstrong Wolfe. These firms will be spread across asset classes, functions, purpose and emerging technology. A highly interactive event, using ipads provided attendees will be able to anonymously send their thoughts live to the discussion and cast votes on their favourite FinTech firms: “If you were given a $1 million budget, how would you allocate it to the firms present?” Refreshments, including drinks and canapes, will be provided.Read More
András Miklós to participate on a discussion around Wealth Management and blockchain
Adjoint's Switzerland business development lead, András Miklós, will join a Wealth Management panel alongside Krzysztof Gogól ( and Michael Mellinghoff (FinTech Forum). András will leverage his strategic experience at Credit Suisse to provide insight on how blockchain is being used to improve the wealth management industry.Read More