サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
デスク環境を整える
www.schoolofhaskell.com
As of March 2020, School of Haskell has been switched to read-only mode. In the ecosystem of Haskell, a number of stream processing libraries has been made. The very purpose is to process a sequence of values with effects, in a composable manner. Still, I was not satisfied with the sets of features of the existing packages. Accordingly, I decided to make a new one. It's called drinkery. This packa
As of March 2020, School of Haskell has been switched to read-only mode. An operational monad is a data type parameterised by a set of operations t, and it gives a Monad instance for free. It upgrades extensible sums, aka. open unions, into an extensible effect monad (Oleg Kiselyov and Hiromi Ishii. Freer Monads, More Extensible Effects, 2015). Extensible effects release you from the obligation to
As of March 2020, School of Haskell has been switched to read-only mode. Lens gets a lot of flack for having crazy type signatures. This is a whirlwind derivation of the craziest of signatures from the ground up. It might be useful as a starting point for exploring more of the lens code and seeing "through" the sophisticated types. Getting and SettingAt the simplest, a Lens is a getter and a sette
As of March 2020, School of Haskell has been switched to read-only mode. extensible is a library for extensible data types. It provides extensible product and sum types parameterized by type-level lists. This tutorial introduces extensible records, an application of the extensible products. First, we pass a space-separated list of field names to mkField: {-# LANGUAGE TemplateHaskell, DataKinds, Ty
In this series, we will see how to write dependently-typed programs and prove their correctness within haskell. At first, let's start with the standard example of Vector to understand how to write the dependently-typed programs in Haskell. The topic of this series is already implemented in type-natural and sized-vector. Feel free to use and read these packages. Vectors - Avoiding Boundary Error us
As of March 2020, School of Haskell has been switched to read-only mode. Simple applicationmain = putStrLn "Hello, world!"System infoimport System.Info main = do print os print arch print compilerName print compilerVersionSystem environmentimport System.Environment main = do getArgs >>= print getProgName >>= print getEnvironment >>= printSystem environment for web applicationimport Happstack.Serve
As of March 2020, School of Haskell has been switched to read-only mode. PrefaceWhen I started learning haskell I was immediately overwhelmed. I dived heads first into using it for an actual work project and I discovered that most real world libraries used language extensions available only in GHC. That let me down a bit at first, after all, who wants to use a language so lacking that you need ext
As of March 2020, School of Haskell has been switched to read-only mode. This is an FP Complete coding standards document written by Michael Snoyman. I'm exposing it to the outside world, but some of the prose definitely maintains the coding standard approach. This piece is highly opinionated, and I'm sure some people will have different thoughts on how to do this. There is much debate in the Hask
このページを最初にブックマークしてみませんか?
『School of Haskell | School of Haskell』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く