Stack Exchange

michid

http://michid.wordpress.com

top accounts reputation activity subscriptions
Top Questions
Top Answers
194
How to define "type disjunction" (union types)?
stackoverflow.com

78
Disable line wrapping for output in the Terminal
apple.stackexchange.com

49
stack new command failing to download build plan for lts-14.1
stackoverflow.com

34
The type system in Scala is Turing complete. Proof? Example? Benefits?
stackoverflow.com

15
Where can I find information on the D* or D* Lite pathfinding algorithm?
stackoverflow.com

15
How to (re)attach JDK sources for Eclipse on Snow Leopard?
stackoverflow.com

12
Scala type programming resources
stackoverflow.com

12
What does it mean by "partial ordering" and "total ordering" in the discussion of Lamport's synchronization Algorithm?
stackoverflow.com

12
How to Merge two different Git repositories?
stackoverflow.com

11
Maven: add a folder or jar file into current classpath
stackoverflow.com

10
How to implement fixed points of functors in Java
stackoverflow.com

9
Why avoid subtyping?
stackoverflow.com

9
Why does Scala have path-dependent types?
stackoverflow.com

9
What are type projections useful for?
stackoverflow.com

9
Example of non-trivial functors
stackoverflow.com

8
How to define "type disjunction" (union types)?
stackoverflow.com

8
When to use Partially Applied Functions
stackoverflow.com

8
Good videos and podcasts on Functional Programming?
softwareengineering.stackexchange.com

7
Can I undo the last git push?
stackoverflow.com

7
Why is the bind operator (>>=) defined as it is?
stackoverflow.com

6
How do I set up jsr223 scripting with scala as scripting language
stackoverflow.com

6
When using covariance notations or generic bounds in Scala
stackoverflow.com

6
Funny observation about (recursive) structural types in Scala
stackoverflow.com

6
Scala: Overriding Generic Java Methods II
stackoverflow.com

6
How to join two bitsets in Java?
stackoverflow.com

6
How Copy-On-Write is different from a direct lock / synchronized on write method?
stackoverflow.com

6
How to define a type: infinite function?
stackoverflow.com

6
Leave out parameters in Scala's function definition
stackoverflow.com

5
Scala in OSGI container?
stackoverflow.com

5
Scala type parameter bracket
stackoverflow.com

1 2