Tim Baumann timjb

Instructions

This intended to be used together with seafile-docker installed in /var/seafile.

To install:

$ sudo vim /etc/systemd/system/seafile.service # paste the file above
$ sudo systemctl enable /etc/systemd/system/seafile.service
$ sudo systemctl start seafile.service

Installing Pijul on macOS

Prerequisites

$ brew install openssl libssh
$ export LIBRARY_PATH=/usr/local/lib OPENSSL_LIB_DIR=/usr/local/opt/openssl/lib OPENSSL_INCLUDE_DIR=/usr/local/opt/openssl/include DEP_OPENSSL_INCLUDE=/usr/local/opt/openssl/include

Installing from crates.io

Nachtrag zum [FTypes-Vortrag beim Curry Club Augsburg][youtube]:

HasFType

Ich habe gezeigt, wie man mit FTypes einen bidirektionalen JSON-Parser für den Datentyp FGithubUser Identity schreiben kann. Nun ist das ja ein etwas unhandlicher Record-Datentyp, weil alle seine Feld-Werte noch mit dem Identity-Funktor gewrappt sind. Deshalb will man auch noch einen "ganz normalen" Datentyp

data GithubUser
  = GithubUser
  { userLogin :: T.Text

, userId :: GithubUserId

	module Main where

	import Data.List (intercalate)
	import Control.Monad (forM_)

	type Nat = Int
	type Prime = Nat
	type HashFunction = Int -> Int
	type HashFunctionFamily = Nat -> HashFunction

	module Main (main) where

	import Control.Monad (forM_)

	-- \| Given the length l of a cord from points A to B on the unit circle, compute
	-- the length of the cords A-C and C-B, where C is the point on the unit circle
	-- exactly in between A and B.
	iterArchimedes :: Double -> Double
	iterArchimedes l = l / sqrt (2 + sqrt (4 - l*l))

	Copyright Tim Baumann (c) 2016

	All rights reserved.

	Redistribution and use in source and binary forms, with or without
	modification, are permitted provided that the following conditions are met:

	* Redistributions of source code must retain the above copyright
	notice, this list of conditions and the following disclaimer.

	{-# LANGUAGE ExplicitForAll #-}

	module WorksOnlyWithoutScopedTypeVariables where

	myMap :: forall a b. (a -> b) -> [a] -> [b]
	myMap = myMapWithSwappedVariables
	where
	myMapWithSwappedVariables :: (b -> a) -> [b] -> [a]
	myMapWithSwappedVariables = fmap

	#!/usr/bin/env stack
	-- stack --resolver lts-6.4 --install-ghc runghc --package primitive --package hashable --package vector

	module HashTable where

	import Prelude hiding (lookup)
	import Control.Monad.Primitive (PrimMonad (..))
	import Data.Hashable (Hashable (..))
	import qualified Data.List as L
	import qualified Data.Vector.Mutable as VM

	#!/usr/bin/env stack
	-- stack --resolver lts-6.4 --install-ghc runghc --package unordered-containers --package QuickCheck --package hashable

	{-# LANGUAGE GeneralizedNewtypeDeriving #-}

	module DiffMonoid where

	import Data.Hashable (Hashable)
	import Data.Monoid ((<>))
	import Test.QuickCheck

	pijul.org
	sanakirja