Christian Conkle

Los Angeles, CA

I'm a law student who enjoys playing with and writing about functional programming.

top accounts reputation activity subscriptions

What exactly is the kind "*" in Haskell?

haskell ghc type-kinds asked Nov 23, 2014 at 22:15

stackoverflow.com

13 votes

How do I read a U.S. case citation and find the text of the opinion?

united-states case-law asked Jun 3, 2015 at 20:07

law.stackexchange.com

10 votes

How can I load optimized code in GHCI?

haskell ghc compiler-optimization read-eval-print-loop ghci asked Jan 10, 2015 at 22:07

stackoverflow.com

9 votes

Why does GHC produce an equality constraint error rather than a type match error here?

haskell compiler-errors ghc asked Nov 13, 2014 at 23:42

stackoverflow.com

7 votes

In California, what happens if one spouse names a third party as their sole life insurance beneficiary?

united-states california community-property asked Jun 2, 2015 at 17:17

law.stackexchange.com

5 votes

Does exporting type constructors make a difference?

haskell asked Dec 1, 2014 at 1:02

stackoverflow.com

Top Answers

Type checker is allowing a very wrong type replacement, and the program still compiles

stackoverflow.com

What exactly is the kind "*" in Haskell?

stackoverflow.com

Haskell: Why use Proxy?

stackoverflow.com

Why class constraint in type synonym needs RankNTypes

stackoverflow.com

If the police search my vehicle or house without my consent, and they don't find anything, what recourse is there?

law.stackexchange.com

Can multiple dispatch be achieved in Haskell with pattern matching on type classes?

stackoverflow.com

Type variable would escape its scope

stackoverflow.com

Making numeric functions an instance of Num?

stackoverflow.com

Wadler's paper: How is a tuple a function?

stackoverflow.com

How can I load optimized code in GHCI?

stackoverflow.com

Define a new monad in Haskell?

stackoverflow.com

Function Types Bound to Arguments

stackoverflow.com

Is an English will valid if the testator dies while living in Scotland?

law.stackexchange.com

How do I read a U.S. case citation and find the text of the opinion?

law.stackexchange.com

What is the hotkey to put my Windows to sleep?

superuser.com

Is my title part of my legal name or does it hold any legal meaning?

law.stackexchange.com

Haskell Hashtable Performance

stackoverflow.com

Is there a compiler-extension for untagged union types in Haskell?

stackoverflow.com

How to create many bounded types without duplicating code in Haskell?

stackoverflow.com

What does the error `Could not deduce (a ~ b)` mean?

stackoverflow.com

Are the opinions of a United States superior court public knowledge?

law.stackexchange.com

A way to replicateA like replicateM?

stackoverflow.com

Impact of loser pays vs American rule

law.stackexchange.com

How to use a typeclass into a polymorphic data type?

stackoverflow.com

Ambiguous type variable fixed with type equality constraint

stackoverflow.com

How to define a multiple composition function?

stackoverflow.com

Testing in reactive-banana

stackoverflow.com

Is it possible to get a type of any expression using Template Haskell?

stackoverflow.com

Working out the details of a type indexed free monad

stackoverflow.com