サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
都知事選
statusfailed.com
What’s all this then? I’m pretty excited to share something I’ve been working on for quite some time: a probabilistic programming DSL in Haskell. I’ll start with a little on why I think probabilistic programming is interesting. I’ll also do a quick review of the approach I’ve taken, but not an in-depth explanation of the algorithms- see the references section (or the code) for technical details. F
At last I have gotten round to writing a blog post about the criminally underused machines library written by the terrifyingly productive Edward Kmett. This is a very simple demonstration of usage, with a focus on machines using the IO monad. I will not cover how the library works (because I don’t know). Let us begin with imports: module Main where import Control.Monad.IO.Class (MonadIO, liftIO) i
This post is about the strength function, Lenses, and strong functors. Specifically, it’s about how we can generalise strength using lenses to work on any product type, not just tuples. If you like, you can skip straight to the good bit where we derive a generalised strength. For our purposes, strength is a function which “everts” a tuple containing some functor, (a, f b), turning it inside out to
このページを最初にブックマークしてみませんか?
『statusfailed.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く