WARNING This list outdated, for the up to date version visit https://haskellcosm.com
Types of work:
- RD - research&development
- PR - product
- IP - in-house product
- CO - consulting
-- http://www.cs.ox.ac.uk/ralf.hinze/SSGIP10/AdjointFolds.pdf | |
-- http://www.cs.ox.ac.uk/ralf.hinze/publications/SCP-78-11.pdf | |
-- https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf | |
-- https://arxiv.org/pdf/2202.13633.pdf | |
{-# LANGUAGE | |
MultiParamTypeClasses | |
, FunctionalDependencies | |
, GADTs | |
, PolyKinds |
WARNING This list outdated, for the up to date version visit https://haskellcosm.com
Types of work:
# Deriving Typeclass Instances using Typed Holes | |
> module Conc where | |
> import Control.Applicative | |
We're presented with the following structure: | |
> data Concurrent a = Concurrent ((a -> Action) -> Action) | |
> data Action = Atom (IO Action) | |
> | Fork Action Action |
Total (non-error-throwing) lambda-calculus evaluators.
Layer 3 Communications is a professional services organization and network systems integrator. We use Haskell to build network security applications that revolve around either analyzing network data or configuring networks.
Networking knowledge can be learned on the job, and thus is not required.
Our stack:
open import Data.Unit | |
open import Data.Product | |
infixr 4 _⇒_ _*_ ⟨_,_⟩ _∘_ | |
data Obj : Set where | |
∙ : Obj | |
base : Obj | |
_*_ : Obj → Obj → Obj |
I'm writing this post to publicly come out as trans (specifically: I wish to transition to become a woman).
This post won't be as polished or edited as my usual posts, because that's kind of the point: I'm tired of having to edit myself to make myself acceptable to others.
I'm a bit scared to let people know that I'm trans, especially because I'm not yet in a position where I can transition (for reasons I don't want to share, at least not in public) and it's really shameful. However, I'm getting really