Jason Hu

Jason Hu has asked 19 questions and find answers to 36 problems.

Stats

About

Programming world is not fair. http://hustmphrrr.github.io/

Jason Hu questions

JAXB unmarshal instances of subclasses into List
How can I split a list in half in coq?
Teach coq to check termination
How does `get` work in the CPS version of the State monad?
is there any syntax for non-recursive binding in Haskell, just like the difference between `let` and `let rec` in similar languages?
How to apply wildcard in constraint in Haskell?
Creating temporary named fifo in *nix system
How to make `this` point to the outer class where the inner class has the same method name
How is Coq's parser implemented?
GHC 7.10 generates slower code than older versions

Jason Hu answers

Bash: execute a multi-command line string in a script
Vim - insert a column of text/insert repeated characters to multiple rows
Create map of segregated values from two lists in stream
Why does fdopen have a "flags" argument?
is there any named regular expression capture for grep?
How to get script name inside function in shell script?
How to remove preceding spaces before non space text begins + regex + sed +
difficulty in understanding c pointers when it is on it's own
Maybe coalescing operator
How to find all files and separate results by comma on Unix?