Based on this YouTube video's total view count of 1.24K views and industry-standard rates, the estimated total earning is $1 - $2 through ad revenue. Historical data is not yet available to calculate daily, weekly, or monthly averages.

Explore Tim McGilchrist - Dependently Typed State Machines - Compose Melbourne 2018 with 1,244 views, 34 likes, and 0 comments. Experience the impact of this video content that has captured audience attention.

Dependently Typed State Machines http://www.composeconference.org/2018-melbourne/speakers/#tim_mcgilchrist State machines naturally occur in software systems we write, with many components relying on state as a core principle. We use state machines to describe things like TCP/IP networking, distributed algorithms and everyones favourite regular expressions. Think about things as simple as network sockets or database connections, these are implicitly stateful. It only makes sense to perform a read on a socket that is open and has data available. Likewise you can't send an SQL statement to a closed database connection. State machines also occur naturally in various protocols like distributed consensus algorithms like PAXOS or RAFT. Despite the ubiquity of state machines they aren't typically checked by compilers even in strongly typed languages like Haskell or OCaml. In this talk we will look at approaches to using dependent typing to provide extra safety in encoding state machines, using both Haskell and Idris. And look at how we can introduce dependent types into our code without making the types incomprehensible and difficult to work with. The talk is aimed at intermediate level programmers with a familiarity with a typed programming language like Haskell, Idris or OCaml, and aims to provide a motivation for using dependent types in a practical setting. When new techniques and ideas occur in academia it is important that they are investigated and evaluated in a pragmatic way. Only introducing new things if they provide real and measurable benefits. I would like people to get an appreciation of what dependent types could do and how to critically think about new features in a language. About Tim McGilchrist Tim McGilchrist began his career as a mere midshipman, with some experiences in the exotic lands of Erlang, Lisp and OCaml. He developed a liking for the rough sailor life, strong types and a tot of rum. He quickly progressed to more daring exploits in distributed systems and contrarianism which gained him the promotion to lieutenant. After some gruelling service where he was blockaded at Brest using un-mentionable non-FP languages, he was offered a promotion to Master and Commander of Big Data at Ambiata. Once there, he met a number of grizzled Haskell veterans and went to work on special operations in infrastructure, machine learning and big data. After the Ambiata crew disbanded he continued operations in machine learning and big data using OCaml and Haskell in the area of high finance and brigandry. He brings before you the tales of an adventurer in the wild lands of Real Life Functional Programming.

With SocialCounts.org’s view counter, track your YouTube video’s live view count and YouTube likes count in real time with fast, reliable updates.

Watch every YouTube video live view count rise with our real-time YouTube views tracker—built for accuracy and minimal delay.

Follow YouTube real time views as they happen, using our dedicated view counter for YouTube videos.

Get up-to-date live view count on YouTube and see real-time growth with SocialCounts.org’s smart tracking tools.