StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Hongwei Xi

Rating
1470.66 (4,518,679th)

Reputation
585 (240,925th)

Page: 1 2

Title	Δ
What does :<> (colon less-than greater-than) mean in ats	0.00
ATS - datatype declaration parametrized by `int` sort	0.00
ATS Proof: Why does this static if need greater than or equal to?	0.00
ATS. How to compile non void function?	0.00
ATS - What is the constraint C3NSTRprop(C3TKmain(); S2Eeqeq(S2Einti...	0.00
Why can't I call the second half of a mutually recursive functi...	0.00
Why can't generic function templates use fnx to ensure they are...	0.00
PMVtmpltcstmat, atstype_undefined undeclared	0.00
Declare mutually recursive types	0.00
Prove that if string_is_prefix returns true, then the string has a...	+4.00
Prove that if string_is_prefix returns true, then the string has a...	-4.00
What is the lifetime of a struct received from a free'd linear...	0.00
What types are expected from stacked dot notation?	0.00
How should strings from libraries hostile to BoehmGC be used?	0.00
Is there any difference in expressiveness between an extern praxi a...	0.00
How can I get refer to the statically known size and type of a lite...	0.00
How to solve undefined reference to dynloadflag?	0.00
Why does this template work in a single file but not across files?	0.00
How do you replace static assertions with prfuns?	-4.00
How do you replace static assertions with prfuns?	+4.00
How do you read in and access arguments from a main function in ATS2?	-1.83
Compiler Friendly Tail Recursion + Tail Recursion Checking in ATS	0.00
How should you perform simple read-only string operations against l...	0.00
Dependent types over datatypes	0.00
How can I use a docker image for ATS?	+0.20
How do I prove that c-'a' is within [0,26)?	0.00
Is there support for arithmetic operations on big integers in ATS?	+0.50
How can an uppercase letter be turned into the corresponding lowerc...	0.00
What is the purpose of calling `ignoret` in ATS?	0.00
Is there a variant of list-map in ATS library for processing a segm...	0.00
How to compute the length and sum of a list of integers in one pass?	+0.32
How to turn a string into a floating point number in ATS?	0.00
Constructing/flattening a list of lists in ATS	0.00
Resolving ATS type error	0.00
casting in implementing gflist_vt_mergesort$cmp	0.00
Is there a library function in ATS for randomly permuting a list?	0.00
Is there a function in ATS that can remove an element at a specifie...	0.00
What is the type of `main0` function?	0.00
How to convert a float into a double in ATS?	0.00
Is there a way to access all the key-value pairs in myhasbtbl?	0.00
Why do many list creation functions in ATSLIB actually return linea...	0.00
Why doesn't ATS support recursive types?	0.00
Can the Y fixed-point combinator be defined in ATS?	0.00
What is the difference between val, val+ and val- in ATS?	0.00
What is ifcase in ATS?	0.00
How to convert a string into a double in ATS?	0.00
How to interchange two chars in a given string in ATS?	0.00
Typechecking error involving the andalso macro in ATS	0.00
How to read user input in ATS?	+4.00
How to read user input in ATS?	-4.00