サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
猛暑に注意を
tonyday567.github.io
If language was given to men to conceal their thoughts, then gesture's purpose was to disclose then. ~ John Napier repo: naperian. naperian tensors Tensor The code below is an attempt to define Tensors (n-dimensional arrays) using Representable Functors. Representable functors are the dual of traversable ones, and are also known as Naperian functors, named after the ghost of John Napier. A Represe
tower A heirarchy of classes for numbers and algebras that combine them: a numeric tower. Performance testing, notes and examples can be found in tower-dev. The tower looks something like: {-# OPTIONS_GHC -fno-warn-type-defaults #-} {-# LANGUAGE ExtendedDefaultRules #-} {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE DataKinds #-} Tower.Prelude is a drop-in replacement for Prelude. Behind the scen
It’s a bit rough around the edges, but I’ve found the mvc-todo project to be quite fun so far. It contains a coding of the todoMVC standardized app using haskell via ghcjs. The resulting todo list page looks just like all the others1, but hidden in this boring are some tiny slices of awesomeness. The first thing to like is that the page is 99% haskell2. It’s not a web page describing haskell code,
In hindsite1, what I was trying to say in my last post was this: Folds in the foldl library are Moore machines and what I often need is a Mealy machine. data Fold a b = forall x . Fold (x -> a -> x) x (x -> b) ^ ^ ^ ^ ^ ^ input output state step begin done A user of the Fold type (scan in the pipes library is an example) has access to the computational results via done which is only hooked up to t
このページを最初にブックマークしてみませんか？
『tonyday567.github.io』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
