7,472 reputation
22639
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 11 months
seen 1 min ago

I am a student who enjoys type theory, formal verification, and compilers. I blog about [dys]functional things a lot.


Dec
12
answered Missing `$` like operators in Haskell
Dec
5
comment Haskell, Rust, or D for POSIX shell implementation?
I'm horribly biased (hence the comment not answer), but I think Haskell or Rust would be lovely for such things. There's some precedence for Haskell with Hell which uses Haskell to create a dsl for shell scripting. Haskell has a nice FFI but Rust's is arguably nicer. I know zip about D though.
Nov
27
comment What is Banana split and fusion in functional programming?
@YannisRizos Good point, I wrote some of the core ideas down :)
Nov
27
answered What is Banana split and fusion in functional programming?
Nov
27
comment What is Banana split and fusion in functional programming?
If you'd permit some self promotion, I wrote a post about this ideas. A banana split refers to banana brackets which indicate a catamorphism. Fusion is an optimization stemming from a theorem about catamorphisms, but the core idea is a generalization of folds.
Nov
20
awarded  Nice Answer
Nov
20
comment type infered statically typed languages?
@Jules Actually that's not quite true, there's a fascinating type of type system called a linear type system which can ensure that each malloc matches one and only one free at compile time. Rust sports a version of such a type system
Nov
20
comment type infered statically typed languages?
@MichaelKohne Anything undefined is what a PL theorist means by "goes wrong" or "gets stuck". In practice of course the program does something. It's just that what happens isn't predictable so it's bad. A well typed program in C can go wrong, so it isn't type safe.
Nov
19
revised type infered statically typed languages?
added 221 characters in body
Nov
19
answered type infered statically typed languages?
Nov
19
comment Why do functional programs have a correlation between compilation success and correctness?
@faif Expanded my answer. TLDR: everyone is a mathematician.
Nov
19
revised Why do functional programs have a correlation between compilation success and correctness?
added 709 characters in body
Nov
19
answered Why do functional programs have a correlation between compilation success and correctness?
Nov
10
comment Reference counting & GC in LISP
@DanPichelman This makes me a lot happier than it should :D
Nov
10
answered Reference counting & GC in LISP
Nov
10
answered Can every language be compiled? And can every language be interpreted?
Nov
7
awarded  Nice Answer
Nov
7
comment I'm being warned that the Monoid I'm creating is an Orphan Instance. Is there a better way to write this functionality in?
I'm afraid the best solution might be to just expect people to use liftA2/<*> when they want to do this. It's marginally clearer and avoids orphan instances I guess.
Oct
21
comment How to Understand the concept of Immutablity in Functional Programming
I'm not sure citing elisp (or CL and similar) are good examples of FP. elisp in particular is very mutable and the entire UI of emacs works through mutable state (keymaps). That being said, there's many compilers (GHC, ocamlc, coqc, smlnj, milton, compccert) that use functional languages. I often refer to writing compilers or similar tools the "killer app" of functional programming.
Oct
14
awarded  Popular Question