Skip to main content
Programming Language Design and Implementation Beta
raner's user avatar
raner's user avatar
raner's user avatar
raner
  • Member for 1 year, 5 months
  • Last seen more than a week ago
  • San Diego, CA
Profile Activity
Stats
201
reputation
445
reached
1
answer
1
question
Communities
View all
About

This user definitely prefers to keep an air of mystery about them.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
View all tags
4
Score
2
Posts
100
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
6
Language that records and enforces type constraints/predicates
Sep 1
answer
4
What are some options for adding a sound equality operator (or avoiding it) in a type system with subtyping?
Nov 6
Top network posts
View all network posts
16
Does Haskell's type system honor the Liskov Substitution Principle?
10
Functional composition of Optionals
7
Accessing "containing class" from DependencyDescriptor
7
Where can I find eclipse icons?
7
Choosing scale for train models: what scale is "L-gauge"?