Gilgamesz questions

• Deduction types fail in Haskell.
• IR LLVM form vs assembly
• Preventing of Out of Thin Air values with a memory barrier in C++
• C++ makes possible to reassign reference? [duplicate]
• Safepoints in JVM
• Generating subsets of set. Laziness?
• Formal Linux Kernel Memory Model
• Memoizing goals in Prolog
• Java Memory Model and reordering operation
• Monad Transformers. First step

Gilgamesz answers