Player is loading...
Actors Design Patterns and Arrowised FRP
Friday, June 14, 2019 · 10:53 a.m. · 34m 37s
Object-oriented design patterns combine basic language features to solve coding problems in an extensible way. In functional Scala, we solve those coding problems with functions, combinators, and type-classes, so design patterns are less relevant. Actor design patterns combine basic features of the actors to solve coding problems in an extensible way. Arrowised functional reactive programming (based on languages like Scala and Haskell also offers a way to solve those coding problem using functions, combinators, and type-classes. This talk describes a prototype implementation of AFRP and its primitive types and functions, discusses its similarities to actors, and then describes how some actor design patterns in the existing literature corresponds to constructions of AFRP.
Embed
Transcriptions
Note: this content has been automatically generated.
00:00:00
but uh of thank you very much for their interaction that's um so as long as was commenting
00:00:05
my goal is so and i'm trying to give you a call today about the functional reacted programming
00:00:12
it's an old feel from which is not very well now i'm i'm i'm scared
00:00:15
our i haven't seen too many school libraries of land that they get to decide if
00:00:19
but the is something that don't they have stolen on some high school made up
00:00:24
some presentations of a often that then that's a hobby i have seen wasn't very often
00:00:28
i mean something as it has always rapidly or silence my mind to understand
00:00:34
and for a while laughing trying to see how fully understand it because
00:00:38
it's a bit complicated it has like its own set of space here like step classes and it's not something that
00:00:44
from the also uses it to approach that on the other hand i sort of
00:00:48
people trained to apply them on that community to things like the multimedia applications or
00:00:54
usually generation or and graphical user interfaces that will be with this kind of the mix
00:00:59
so they say uh somehow became a bad and live my my my what happened i try to understand this thing
00:01:07
and it wasn't something you see it was all over the last years of trying to study these
00:01:11
things sometimes my spare time and i have to try and i think about apple explain to somebody else
00:01:17
and was going to what i'm going to do today and what they have
00:01:21
far what great more or less effectively is to use a comparison with actors
00:01:26
and that is why an actor's actor constructs an actor patterns so what i'm going to
00:01:31
go today and the goal of the stock is going to give you an introduction to
00:01:35
decided to function every every programming and if our before shock and yes using a
00:01:42
simple analogy are very loose analogy with some restricted cases of the actor constructs eh
00:01:48
that's the only goal of the story by the way you have to have
00:01:50
been the standard therapy or guest something to that also have tended to understand it
00:01:55
this is i'm not going to be present them anyway and again or or you
00:01:58
know what my mindset first before this is based on what goes on the hospital mutate
00:02:03
this is also not going to be any library that you should be able to
00:02:07
do or to use right away in production and this is not going to be is
00:02:10
something of you or um i am also going to try to steer you about what is the best approach to
00:02:16
compare i say i don't have your demonstrable no no yes yes that it'll work to working but not the sofa
00:02:25
now um what was said they they they they way when i thought about this stock one
00:02:31
hundred with all the with those well what's a nice way to explain functionality for i mean well
00:02:36
think about probably annual somebody explain it easily in los restraints
00:02:41
type classes there's these concepts like at the controller and five
00:02:44
at the the most of what some one of these weapons than the the step classes is by
00:02:49
using yes the analogy with objects and in particular with this so called designed buttons of object oriented programming
00:02:56
so to give you a um a bit example one probably one of the most the simple
00:03:02
simple design patterns and they probably printed languages it one
00:03:07
of the same buttons present in that book about the
00:03:10
from twenty twenty five years ago the kind of for
00:03:13
the same buttons what is what they call the adaptor patent
00:03:17
and the other that button is a very simple idea you have fun interface and you have a class an implementation for
00:03:23
which uh you would you have the full implementation and you
00:03:26
want to use that the class of implementation to perform this interface
00:03:32
um but you don't have lately it implemented that interface what eh
00:03:37
what you can do in that case is to use the adaptor
00:03:40
and i'm one benefit they always have with over the repeater into the soundtrack that
00:03:45
get up but in this case very simple is the idea that you have another topic
00:03:49
that is going to run for implementation of you have been well that all the clean up
00:03:53
of a few when our government was exactly what percentage something like that you know very streamlined way
00:04:01
and that's something that the the the of either into the these you with an object that
00:04:05
is going to rock this implementation you have while using it to implement this interface you would need
00:04:12
and of course one of the benefits of this this and but this is that they would often very easy to
00:04:16
understand because they were always appealing auditor intemperate i mean always have a bit of restraint that it always appealed to
00:04:22
every they notions we're we've got probably many of you are using an
00:04:26
about the right now that's important if you have these uh friends with blacks
00:04:33
so that's the the actually the simple case if we have a metal
00:04:36
to print the strings that we want to bring means that the simple
00:04:40
trivial example is well we can just transform it into a method and
00:04:44
when i get to printers things yes by changing the the what's the
00:04:49
now if that's simply the about the button um if we also go somewhere else we commercial planes thing that
00:04:56
would have like a a way of generating the set up this automatically and the the ace you give me the
00:05:02
ah function higher than i do in high gear the method than which you give me the function of how to transform
00:05:08
from one type or kinetic type the for which you have implementation like this thing how to
00:05:13
transform an element of another type like they ain't into that and they give you an adaptor
00:05:20
and this is pretty much what we had to wean fancy in the functional programming with cats
00:05:26
that's pretty much what with all the only difference is that that's the most factory of adaptors we call it the can provide in front of the class
00:05:34
which is a a some kind of latin for adapting the inputs in a way
00:05:38
that's almost what it comes down to is not difficult to understand is not the
00:05:42
the mathematically itself is guess what we're doing in a way uh nobody restricted case but on the whole evening
00:05:51
if we say this is the approach that uh to say well this is something that more or less
00:05:56
can work a marlins can help them understand how can we do the same with function of here the programming
00:06:03
and that's what they they so getting back now into the matter about the that reacted programming and the functional case
00:06:10
in
00:06:12
reactive programming is these is this methyl about building system
00:06:16
we will programs and in which we have those perhaps like
00:06:19
an operating system on a web server or anything you know telling which we don't have something that is going to be
00:06:25
like a batch processing which we think about all the inputs accumulator the beginning give them to it
00:06:31
start the program running and then we have all the outputs objective program is one in which we always
00:06:37
have the case and we do have new wean which we have new inputs to process for the program
00:06:42
and we don't want the brunt way to all the impulse will which wanted to be invading
00:06:46
and you well as inputs come along it's something that almost continuously has to receive a new input
00:06:53
or what others will call wilson and the metaphor reacting to
00:06:58
and new events in the environment and we always wanted to be in like the new articles or before
00:07:03
the analogy acting over over its environment that's that's also thing what do they have the metaphor the reactive thing
00:07:12
um now this is the this is they are given the objective programming
00:07:17
and as you probably know one of the most come on approaches to
00:07:20
implement reactive systems reacted problem is by having with this column actors
00:07:25
and the actor model is the say the other your reactive permit going to be like a collection of actors
00:07:31
eh sending messages to each other what an actor in these
00:07:35
cases like the mini mall or almost the atomic if you like
00:07:39
example of whatever the active system is going to be something that reacts to some events in the form of messages it receives
00:07:45
something that they accept on its him by them in the form of messages it sends to somewhere else
00:07:51
and something determines also have like its own estate because one of the things the reactive systems of course is that
00:07:58
you always want to consider all of the history of the things that has that have happened before
00:08:03
you every message so it always have a step of faith the
00:08:06
collection get the summary of all of those interactions that either happen before
00:08:13
and this alternative is always come to think that the nectar can always beating like a bit
00:08:17
of an operation approach yeah an actor can really like a little like a little we in the
00:08:24
in one of these then that we is that you know exactly what the that you know exactly every twenty six how it moves forward
00:08:30
you know i mean you you don't see exactly how it it's connecting to
00:08:34
the others or how it before that you can always see like that and
00:08:38
you have seen the evolution of the system in terms of the state
00:08:42
changes on the movements of that specifically the bees your actor at that point
00:08:48
in that sense as well it's it is usually called me up and operational
00:08:51
approach an operational model of how to react how act or reactive system work
00:08:58
now if this is the operational approach what will be a functional
00:09:03
or a more of a collaborative approach to implementing objective system well
00:09:08
intentional programming functional programming itself is a very simple idea
00:09:12
yeah the problem is guess the function of function from some
00:09:15
input but to sum up that that input that can be as the two i mean it can be a list of
00:09:21
great course of its on these things and names and ages to another place of
00:09:26
remuneration or salaries relay it can be it can be a list of axioms on you are going to it can be
00:09:32
a function of actions you are performing in the input to actions when performing on the standard output of your command line
00:09:40
if we want to lucy objective system then s. f. functional programming if we want to little functional burning forget to systems
00:09:46
that was going then we'll rice um if we actually active system would have to be a function a function of what
00:09:53
uh what will be in this case the input on the output type of five reactive system you do see that's a function
00:09:59
well the answer the that they they is that this so they feel came about is the the of the signal
00:10:06
and a signal is something of usually have in the field so for all the processing
00:10:10
or the the processing a signal have slightly is nothing more than a function over time
00:10:15
the idea of if you think of all these yes the migration of pressure of the time how the pressure fred changes over time
00:10:22
if we have all the or of already there is like if it's time for animation of
00:10:26
it's time we have like an image of what we have seen at that moment in time
00:10:31
but the the but also the kinds of signals one flew off and one of 'em
00:10:35
not a very well on the still kind of signal is the the if you have the
00:10:39
for finance forestall to have a price of some kind of something of some tradable
00:10:43
assets you can see of the price um the what of the price at the time
00:10:48
of uh of a b. they for a long time as a
00:10:51
signal us saying guess some value is evolving through all appeal of time
00:10:57
that's the kinda like we have a signal you are considering the whole of the
00:11:00
time and the whole on their whole function of all time to a value as
00:11:05
yeah the signal and in that case what you are going to have now
00:11:09
that your function of the active programming fans out there if it basically means
00:11:14
your reactive parameter function a function of one input signal or a
00:11:18
signal of imports oh an output signal or a signal of outputs
00:11:22
that's the key idea you're going to have you know it'd be this is going to
00:11:26
give you more the collective approach because at every point are going to see okay these
00:11:31
you're always going to think of its its function as if it was a very simple um immutable and it if you like to uh
00:11:38
nothing of nothing is specifically that an implementation guessed what gives you an observable behaviour if you like
00:11:45
and and what you do then is that if i basically means that the if all feel
00:11:50
five something active plumbing these has this idea that we want to be programmed using this approach and
00:11:58
and if that and any program or objectives is that m. f. l. p. land which is simply going to see me and
00:12:05
at least of definitions of the closest to the final specify a set of
00:12:09
signals including your impulse on the europe was but also in the kind of intermediate
00:12:14
signal buffer you can have in the middle and then a set of sick of
00:12:18
signal function which is transformation between those segments of one or more signals to another
00:12:25
um and the therapy language in that case what is going to do an
00:12:28
fop language or an effort to library for any language like skylark asking this guest
00:12:33
a set of methods in which you can build basic a primitive fifth signals very
00:12:38
simple ones and then i thought to connect them and to compose them into big problems
00:12:43
that's what the line weights ahead and the these buttons will give you
00:12:50
um
00:12:52
i mean and any questions so far there's a good
00:12:58
now um this is this every idea that have been as
00:13:01
say eleven assumed interface for several keys for over twenty years now
00:13:07
the question that will become the admission so what i'm going to
00:13:10
do now is to try to see a as simple implementation i know
00:13:15
now if you don't understand this concept i don't blame you because i myself it took me a long time to understand myself so it's not the
00:13:21
it's not a very lady how do you can get to the say abstractions of signals and signal factors
00:13:27
something that can we recently was slow find that kind of implementation of a library
00:13:32
after liberia has implemented these notions which they are kind of they constructed a kind of
00:13:39
model call the more not requesting functions which is what is what i'm going to try to introduce now
00:13:45
um because it serves as a very simple guest a sector serves as a
00:13:49
very simple almost atomic implementation of what their reactive system that's from the operational view
00:13:56
i think i like to think of them against intention as as the
00:13:59
minimal case of what their signal function can be in a more eclectic approach
00:14:07
so
00:14:09
be what they what amount of the guest invention macy's just was you see are going to see the that the
00:14:15
and most of guess foresaw because of the month and that's not to stay and read to matt
00:14:20
is a is a kind of function is going to be parameter is about the only kinetic in three parameters
00:14:27
the first one is going to be like an effect type something that's as and that which affect them in which kind of
00:14:32
eh trying to my we ran in these functions and that was not going to be like i mean what i know now
00:14:39
and what i am and what this kind of function is going to be
00:14:42
something that it has um that they can be applied to an input parameter
00:14:47
i mean so um when it is applied is going to give me a maximum effect full value this
00:14:52
going to have both an output button or um but of the output but um the idea of a continuation
00:14:58
and the the of the continuation of this is going to give me like they the for the next this tape
00:15:05
and they gave yeah he does that first of all we have to in probably the being polymorphic
00:15:10
so this is not going to be tied to any specific tramp and that's the first goal of it
00:15:15
the second goal is that this is intended to be a purely functional in
00:15:19
the way not of the not in the way that you have like a an
00:15:22
effect of ever happened that you're always have good to have it if it's
00:15:25
wrapping something and as long as you could they they it's more or less control
00:15:30
this is barely functionally um nonsense which is you uh let me of
00:15:34
any kind of distracted or simon's you don't need any kind of side effects
00:15:39
if they kind of badly that is created through all the way through all the running of the problem can be kept
00:15:44
it can take it or they can be discovered but it's not something that you on the language itself you need to deal with any kind of
00:15:50
side effects so this directive up it's like a big that in the in
00:15:54
the library itself or in the code itself on the interpretation of that calls
00:16:00
so you don't have to handle that and you'll have to think about that protecting is that
00:16:08
um one easy way in which we can see that the this kind of
00:16:12
uh the string function of the molesting function is again by using an analogy with
00:16:18
have him somehow lose another he would have a device that the case of
00:16:21
factor if we were to think of an actor that will always take one
00:16:25
input makes it sound quality input missus will always though one output mess it's
00:16:30
that'll be what they one of the custom function is going to be like
00:16:34
in this case the input and output parameters and input or output tapes full correspond to
00:16:39
the input and output messages for maybe for the actor so whenever the actual performance uh
00:16:46
uh_huh operations are we sending an output and disk and the continuation is the
00:16:51
is the fact that they they that we have with them he that new
00:16:55
and you um possibly new instance of them are not interesting function or
00:16:59
the same types that's what is going to purpose and the next estate
00:17:03
in an act does what we have is immutable state self contained and completely camps related to
00:17:08
the actor to be show a a but we're always mutating it after its operation is being changed
00:17:13
he didn't want to leave in a more purely functional way we have to let them guest a new fancy
00:17:19
which is what this would do we use to process the next day
00:17:25
and that's what that's what this would correspond to the every change of the state of the behaviour of the act
00:17:32
um the way to say this is that if we think of an actor some an actor is never going to either of what happens with it receives
00:17:39
one misses is always whatever which receives what makes us another another out of
00:17:43
what is happening when it's receiving a flow of messages are light and you
00:17:48
the way in which we can thing about how um one of the guest in france and this kind of acted
00:17:53
like if you like is frightening is that the if it's going to take for instance like a list of messages
00:17:59
the way that is going to generate a list of opposition was meant to be that if the if the list is
00:18:04
empty out if it's receiving no more mice it's it's it's a meeting nothing it's that also corresponds with the actor because
00:18:10
there there's always this idea that if it's receives nothing if it was
00:18:14
if someone says is that why we're never abduction by themselves unless they have
00:18:19
the message receive on the other hand if if it receives at least one more message
00:18:26
and the rest will what is going to do is that first of all it applies itself or the the
00:18:31
place the function itself to that mess it's the phase the input the face value that comes in the input stream
00:18:38
and this is going to do a first before the first value of the output and then the continuation
00:18:45
and this continuation of emission is sort of representing the
00:18:47
next state of this of the actor or the next behaviour
00:18:52
and what we'll do next is that it will be that the continuation all
00:18:57
sorry i'm afraid that it would be this continuation what we will be using
00:19:00
to cram the may day following enclosed in the rest of the impulse to fall
00:19:07
and that'll be it give us like a in the same way than in the most in the same order
00:19:12
someone who's we'd received the inputs here we will be generating the outputs for that
00:19:18
is the impression when applied through all of this list of or stream if you like
00:19:28
mm that's a more or less the basic of the analogy of thinking of these
00:19:33
somehow after them polymorphic more listing tenderness of
00:19:37
eighty somehow specific somehow natural case of an active
00:19:42
the next thing will be is okay now how can i start
00:19:44
thinking about these basic construction of the fop or the mike is the
00:19:49
functions if i were to thing of them like maybe some kind
00:19:51
of actor buttons that was a bit worked for the landing police and
00:19:56
and the the way in with layers of improving of that it was because i have
00:20:00
got for me get to a book about the act of buttons i have it with me
00:20:05
and that's what i said to to see this thing though is that the think it um this is something that they could do with the city
00:20:11
you know they'd be like man yes using operator guess using m. f.
00:20:15
that's also what the stand that new weakest with this path of i'm thinking
00:20:22
so in starting with this basic a basic buttons all the all the
00:20:28
idea of an occasional usually that you have like a it's only stated
00:20:32
meets the state of the maybe change it by by its message it
00:20:35
receives may may may modify i was going to react to the next
00:20:39
eight days also the cable you can have sometimes like a an the factors which you don't have a state
00:20:44
i can factors in which you are the light maybe a transformation of
00:20:48
the input one output or maybe you are performing an action raw input
00:20:53
what is that we will have an actor that all that it does it
00:20:55
that receives a identify assessments insist on the input messages and it the um
00:21:01
and what it does is like to look for them not getting
00:21:03
the database wells guest program what's another database that would be a pity
00:21:10
that would be a very simple kind the fact that it wouldn't have any specific behaviour he says
00:21:15
but you may you may have seen no than of others in there or
00:21:18
something like that in any actor application you ever work with that for the movie
00:21:24
it wouldn't be unusual to say um what if justice justice
00:21:28
think in effect does that have no states have a simple button
00:21:32
the first kind of a a string phantom accused inventions we can have are those that have no state
00:21:38
now if they the of the them if they the of the
00:21:41
state of the actor corresponded to the continuation of the magnetic listing function
00:21:45
i act of of has no state an actor that is always
00:21:48
the same corresponds to any kind of string fashion official was going to
00:21:53
recap that is going to continue with itself so to give you a simple example we can have
00:21:58
um america's defence official was going to generate the
00:22:02
same onto value ignoring almost completely not in the input
00:22:06
well the way which will that is when we will be writing
00:22:09
the output value and then the function itself with any changes as the
00:22:15
as the effect as what they are with the minus the function that's in response to the input it receives
00:22:22
or a more complicated cases we have like an effect full function like what i commented you about receiving an
00:22:28
idea and waiting for an object in the database that could be represented with this kind of effect full function well
00:22:35
what we will deal with that we will have a way to construct them another custom functions that
00:22:39
yes takes every imported receives um applies it to the place
00:22:44
this function to different uh you have given to the simple
00:22:48
and what is going to lose to transform the up to date we eat receives this will
00:22:52
be they this will be the map on the m. effect which will have the fun to capability
00:22:58
and we will be pairing the output guess with a continuation itself and the continuation of the functional biggest itself
00:23:05
so there would be no special change of the state in that case
00:23:11
i i'm next in another another with
00:23:19
any questions on now
00:23:23
another another button that is sometimes you can see when you think of factors is that you
00:23:27
sometimes have the say the of pipes or uh types of filters were biplane general factors that
00:23:32
you are going to have a message is that going to be receiving and product it's message will
00:23:37
want to have a problem the factors every every act of tape except i mean put the s. i.
00:23:43
processing with the i'm modify sits estate and they and takes note of that it would have to say
00:23:48
it's takes note of it into its estate and you know they some other output for the next actor
00:23:54
then the next actor again takes that output and then generates in the in this case another output of another type
00:24:01
every if the if one of these messes is going every misses little supposedly misses he is going to correspond
00:24:07
limits it's same from um to the actor bought another ah message will they have to bow to their took out
00:24:13
but see this is not yes that compositional find a simple composition of functions we have to think that every time
00:24:18
one of these processes um it's it's it's going to somehow be changing a little bit later this is changing its behaviour
00:24:26
and the way you can personally it's with the one other kristin functions with um the simple
00:24:32
well that is to to use this operator the sometimes called the and then operate out of the
00:24:37
people better than operate them and aviation you have um the face function that the
00:24:42
gives from i mean put to an output and you have the second
00:24:45
function that is going to take from the output of the first twenty household
00:24:50
and this is somehow similar they put the profile as you can see somehow similar to the usual composition of functions
00:24:57
what we're going to do is uh combine mets this to function into a single function
00:25:02
there's going to both from the input of the first to the output of the second
00:25:06
and the way we're going to do it is that this is going to be a function that um uh oh by the way uh forgot to mention this is
00:25:13
called using the singular yeah same method if you're familiar with the skeletons of constant
00:25:19
that's why we have these these longer this will be applied math and so on
00:25:23
this is going to take from the input of the first and the way we change him is the first of all we apply the first function
00:25:30
um this is someone other compositions are we using the for comprehension we'll play the input
00:25:35
to the face function they they output of the first and the continuation of the first
00:25:40
then we take we have we take the output of this first on the plate to the second function
00:25:45
so we get the output of the second function and the continuation on the second function
00:25:50
and what and what what we are going didn't we meet in the next step
00:25:54
is the output of the okay cameras with um the output of this second function
00:25:59
um the continuation of the scum position is going is going to
00:26:03
be the composition of the two configurations we got for the shoe uh
00:26:09
operations
00:26:14
next the
00:26:16
problem where are
00:26:18
right
00:26:23
next the another button they have um the bias and the is so or that i've
00:26:27
read about the product a parameter sometimes have this idea of a mess it sounds like that
00:26:32
having some actors is then you have a specific actor falls on
00:26:35
introduced today they impose our input missus is that lives like maybe from
00:26:39
from another remote system or a very different system and and it says messages the may not be
00:26:45
compatible with the local publication so this is an actor that what is going to lose just like that
00:26:51
the messages is receives on the remote system to something that can be understood by the local system
00:26:58
well one simple way in which we could be something like this is if we have a a
00:27:03
if we have the for instance for the string for the need on this thing
00:27:07
things we have before we could guess simply pick up the basic concept that we have before too
00:27:13
leave the function into our um one of the custom functions it would be it was one of the
00:27:18
constructors him just to pick up a function um apply the result of a functioning now your context um
00:27:26
and you pull we could do this composed to the to the based in this case being what we already have the local
00:27:33
system or we can give the what we were doing at
00:27:36
the beginning which is simply to define for the system functions and
00:27:41
yes that map on a quantum up method control method again which we say okay i'm going to have the input they receive from the
00:27:48
remote the of from the other system simply by saying that they i take effect this function to adapt it
00:27:54
and the function to adapt it to uh usually to build a new one of the cosine function
00:27:58
that takes as input to the elements of the other type of the remote talking we get but
00:28:04
apply a applies the convention applies the function to the competitors out
00:28:09
and then what they do is that they take the autumn the continuation of this function
00:28:14
i'm a bit with the um well they have to lose i can confirm of the continuation
00:28:19
always nikki heating the say in this method is that you'll
00:28:22
have to like apply the same telephones formation you apply in the
00:28:26
bit compulsive mapping opened them up in your whole which laptop like the continuation saying that you are transforming like um
00:28:33
the whole thing of the whole execution
00:28:39
one more button hole
00:28:43
and get one more button and this is a bit more interested these uh sometimes you have eh
00:28:48
from i'm saying from us in the same channel from i
00:28:50
think you are going to receive like probably several types of messages
00:28:55
i maybe you have like several actors already implemented one of them is going to handle
00:28:59
one type of messages the other type of factors going to handle the other type of messages
00:29:04
so in this case would have like a bar one thousand bob
00:29:07
only handles the n. messages can only handle c. in november messages
00:29:12
what little than well we put um we have a channel has went to lose it well so what would we do
00:29:17
we'll hear something called a complex space rocket another act of that just if it's
00:29:23
if it's the missus for what we since it what what if it's the masses for the active
00:29:26
cat and sends it to the actor that that's all that they say contests based routing is doing
00:29:33
i hope that in the course in the in the interactive burning everybody's
00:29:36
yes them activities going to be sending messages to another that's almost unheard of
00:29:42
and the county space what is this button in which you unless the content to sit with sector your send it
00:29:48
how can we implement that them or something similar with the sting functions well
00:29:52
we use this operator which is if they act or if
00:29:56
the actor can correspond to these skin function on the left
00:29:59
on the apple bore corresponds to this function on the right
00:30:03
which the latest shouldn't they have different able to what types
00:30:07
what my country's based router does want to be is want to
00:30:09
i want to met's these two functions i have separate implementing a function
00:30:14
and this function is going to be a four imposed for that either the
00:30:18
input of all of the one function of the input of the other functions
00:30:22
and it's going to be and what is once again with the thought was going to be either the output of the first one
00:30:27
or the output of the second one um because this is i mean they don't want to call them on the left on the right
00:30:34
and what the functions of doing is that okay five receiver left i sent it to the function on the left and that we set
00:30:40
do you just a shade of the the effect full value with the satin the continuation i take it have all
00:30:48
i think it and then i would put it with the continuation on the left and guess the
00:30:52
function i haven't the right not modified so if they can't them ever see for messages going to
00:30:58
the senate and modify them get they output them probably get the continuation of one of those while either
00:31:03
the one on the left from the one on the right but not both the other one continues unchanged
00:31:09
so this is how we can correspond like operating with their roping with operating with a getting with is
00:31:15
operated by the important pork out of course with the function forget the problem is that it's always operators
00:31:21
it's not something they usually withing of this impetus or something or some paper and we'd have to see on the call
00:31:27
but the the several which operators we see on the call you don't have to
00:31:32
you might in themselves i i that's nice but the mets the approaches that before that's always that's the
00:31:41
that's the way of which i have something to think of these matters and which i
00:31:45
think is going to be it is useful to try to see if the to approach
00:31:49
this only for people who are not very familiar with the absurd rationing or we have more familiar with the with the with the problem
00:31:56
i think i hope uh and i hope that this stock has been useful to you um
00:32:02
yeah
00:32:03
just to mention a few of the of the boards of papers that led to learn about
00:32:08
this stuff when everybody in one or other programs that have that i'm i think i'm down there
00:32:22
yeah not any questions
00:32:29
so you're actresses stand sometimes you have to wake huge c. r. a. e. yet and it's age
00:32:39
that's something you can use them if it or something you can model the thought you needed to come up to the fact that
00:32:45
normally i'm actually you can have the art request and reply maybe assets of sick when
00:32:49
missus or i don't know who referred impractical to the accept button of the question mark yeah
00:32:56
um so i thought they into this is a bit of a very of a morning a more complex
00:33:00
guns that are most i would stay the apollo that's something you can have the idea of represented that
00:33:06
something you can have a function like interface to outputs but they out but the
00:33:10
second type of the output is also the face the input of the second input
00:33:14
so you can go to a concert which is like a look that it's it's going to flee the back of the output
00:33:19
but the case it's is that as the input as an input argument before the next step
00:33:24
that's the way in which the represented i suppose that's something we can use to try to implement this kind of thing
00:33:32
i i i'm well i can you judge it any actresses then and now i'm bases somebody lose this is a very low
00:33:40
somehow if whatever it is the case i have tried to follow as a as a way to approach what i sought personality
00:33:47
intimidating or at least i found it so i don't know you have somebody intimidating concept of that
00:33:54
i wasn't claim i don't think i can cover these complete i know that the
00:33:57
people are using ever be systems like this one to be a very complex applications um
00:34:03
i don't think i don't know if any of those is this the design also some people working in some fop languages
00:34:09
and what they're doing is like an automatic in translation to on the that's is that that belongs to them sleep what those
00:34:15
that's uh some bricks as a form of about the um what recently in fact only be one week two weeks ago
00:34:22
but i wouldn't claim that is a analogue is going to be very computer by the centre for
Conference Program
Keynote: Some Mistakes We Made When Designing Implicits (And Some Things We Got Right)
Martin Odersky, Professor EPFL, Chairman Typesafe
June 14, 2019 · 9:13 a.m.
303 views
Brave New World - tales of PureScript and Haskell in production
Felix Mulder, Snoop Dogg
June 14, 2019 · 10:22 a.m.
151 views
Actors Design Patterns and Arrowised FRP
June 14, 2019 · 10:53 a.m.
Taking Resources to the Type Level
June 14, 2019 · 11:48 a.m.
Lord of the rings: the Spire numerical towers
Denis Rosset, researcher in quantum physics
June 14, 2019 · 1:47 p.m.
Formal verification of Scala programs with Stainless
June 14, 2019 · 2:20 p.m.
118 views
Exploring Scala Tooling ecosystem
Jeferson David Ossa, Colombia
June 14, 2019 · 3:12 p.m.
TwoFace values: a bridge between terms and types
June 14, 2019 · 3:43 p.m.
GADTs in Dotty
June 14, 2019 · 4:41 p.m.
302 views
Closing Remarks
June 14, 2019 · 5:49 p.m.
Recommended talks
Flare & Lantern: Accelerators for Spark and Deep Learning
Tiark Rompf, Assistant Professor at Purdue University
June 13, 2019 · 10:18 a.m.
380 views
Why you need to be reviewing open source code
Gris Cuevas Zambrano & Holden Karau, Google Cloud;
June 12, 2019 · 5:46 p.m.
484 views