Remember selective functors? Here they show up in the context of probabilistic programming where select :: f (Either a b) -> f (a -> b) -> f b turns into Dist (Either a b) -> Matrix Prob a b -> Dist b Here Dist is a vector i.e. 1-dimensional matrix: Dist a ~ Matrix Prob () ahttps://twitter.com/_bolt12/status/1223595721888292874 …
-
Prikaži ovu nit
We can tweak the signature of `select` as follows: select :: f (() -> Either a b) -> f (a -> b) -> f (() -> b) Now we can get Dist (Either a b) -> Matrix Prob a b -> Dist b by instantiating `select` with `f (x -> y) = Matrix Prob x y`. No idea if this is useful but it's fun!
16:50 - 2. velj 2020.
0 replies
0 proslijeđenih tweetova
2 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.