Stack Exchange

jozefg

United States

dannygratzer.com

Age: 16

I am a programmer that dabbles in PLT and HCI as well as robotics. I am familiar with a bunch of languages, my favorites being Haskell, Racket & Scheme, Python, Go, Coq and C++ more or less in that order.

I have recently taken an interest in compilers and am doing a lot of work with them recently.

Additionally I'm attempting to learn about formal proofs and program verification with Coq

top accounts reputation activity favorites subscriptions
Top Questions
Top Answers
18
Setting an int to Infinity in C++
stackoverflow.com

16
what is the meaning of “let x = x in x” and “data Float#” in GHC.Prim in Haskell
stackoverflow.com

12
Uncurried functions
stackoverflow.com

12
GHCI not so lazy on Windows?
stackoverflow.com

11
What does the double-backslash \\ mean in Haskell?
stackoverflow.com

10
Haskell - get nth element without “!!”
stackoverflow.com

10
Why can't java generics be in arrays?
programmers.stackexchange.com

8
Clarification with using std::, std::cout
stackoverflow.com

8
Extending a list of list in Haskell
stackoverflow.com

8
How can i build a graph in Haskell?
stackoverflow.com

8
simple Haskell loop
stackoverflow.com

8
parsec using between to parse parens
stackoverflow.com

7
Why is this while loop infinite?
stackoverflow.com

7
Type A is not equal to type A in Haskell (ghci interpreter)?
stackoverflow.com

7
Nil Value for Tree a -> a in Haskell
stackoverflow.com

7
Types and do notation
stackoverflow.com

6
Perl mysql, why does this fetchrow_array not work?
stackoverflow.com

6
Why is this regex not greedy?
stackoverflow.com

6
C2679: binary '<<' : no operator found which takes a right-hand operand of type 'student' (or there is no acceptable conversion)
stackoverflow.com

6
Inverting lines in a file
stackoverflow.com

6
is there any way for multiple where statement in Haskell
stackoverflow.com

6
scheme higher order func
stackoverflow.com

6
Fibonacci sequence in haskell returning all the values
stackoverflow.com

6
Haskell: overloading == for graph ADT
stackoverflow.com

6
How to define a code snippet in Java
programmers.stackexchange.com

5
Parsing an array line by line and exploding it into more arrays (Solved)
stackoverflow.com

5
What does '((->) a)' mean?
stackoverflow.com

5
Stack std::vector scope
stackoverflow.com

5
Language with types as first-class values?
stackoverflow.com

5
Haskell State example in wikibooks: fix per current Haskell?
stackoverflow.com

1 2