6,874 reputation
22534
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 8 months
seen 4 hours ago

I am a student who enjoys PLT, type theory, and functional programming. Mostly I write Haskell, sometimes Agda, Scheme, or Ruby.

I like compilers and formal verification (mostly in Coq) too.


Sep
10
comment Correct terminology in type theory: types, type constructors, kinds/sorts and values
@RobertHarvey How does it look now, I've dropped all mentions of sets :)
Sep
10
revised Correct terminology in type theory: types, type constructors, kinds/sorts and values
added 564 characters in body
Sep
10
revised Correct terminology in type theory: types, type constructors, kinds/sorts and values
added 564 characters in body
Sep
10
answered Correct terminology in type theory: types, type constructors, kinds/sorts and values
Sep
9
awarded  Enlightened
Sep
8
awarded  Nice Answer
Sep
8
answered Ambiguous If-else nested block in C without braces
Aug
25
awarded  Guru
Aug
19
comment Approaching SICP in Clojure instead of Scheme
The only issue I foresee is that clojure lacks 1. TCO (recur only handles tail recursion, not general calls) and 2. the lack of call-with-current-continuation which is needed for chapter 4.
Aug
11
revised How can a statically typed language support duck typing?
added 12 characters in body
Aug
11
comment How can a statically typed language support duck typing?
@delnan This is what I meant when I said "adhoc". You can formalize you can view C++ as having inferred and unutterable structural types.
Aug
11
answered How can a statically typed language support duck typing?
Aug
11
comment Cleanest way to report errors in Haskell
@CmdrMoozy Glad to help :) It's really unfortunate that prelude has such bad practices. Such is the way of legacy :/
Aug
11
answered Cleanest way to report errors in Haskell
Aug
10
comment Writing a superset of a programming language as a transcompiler
@StarGateTABC If you're really lucky they'll ahve a grammar for something like yacc or bison and then you can just modify that :)
Aug
10
revised Writing a superset of a programming language as a transcompiler
deleted 73 characters in body
Aug
10
answered Writing a superset of a programming language as a transcompiler
Aug
7
comment C programming practice, passing a pointer to a function
I would think the objectively correct thing to do is document your choice. You have no clue who might use this function in the future and trying to predict what they'll expect is an exercise in futility. If you find by using this function you want some other ownership behavior, update the function and perhaps add some rational for the new behavior in the documentation
Aug
2
comment A question about static types
@davidk01 That's true, you could also do something like exists T. typeOf s = String -> T
Aug
1
revised A question about static types
added 824 characters in body