Olle Härstedt

Olle Härstedt has asked 55 questions and find answers to 3 problems.

Stats

About

I'm interested in back-end development, compiler techniques and type theory.

I have lots of experience with economical integration and accounting software.

Olle Härstedt questions

Why not use string buffers instead of immutable strings?
How do I grep in vim netrw?
How is a Forth value different from a variable?
How much type-inference can you possibly cram out of vanilla PHP?
Coq intros syntax
Theorem plus_n_n_injective, exercise
How do I tell Rector to not apply any changes except those related to PHP compatibility?
How to unit-test protected methods?
Higher order types in OCaml (phantom types subtyping)
How can I send a calendar invitation from command-line using Mutt?

Olle Härstedt answers

How is a Forth value different from a variable?
How can I send a calendar invitation from command-line using Mutt?
Store global string in mutable variable using LLVM API