211
Haskell's Missing Concurrency Basics (2016)
Michael Snoyman's personal homepage and blog, featuring writing about programming, open source, health, finance, religion, and whatever else catches his interest.
212
Sum Types Are Coming (2015)
Just as all mainstream languages now have lambda functions, I predict sum types are the next construct to spread outward from the typed functional programming community to the mainstream. Sum types are very useful, and after living with them in Haskell for a while, I miss them deeply when using languages without them…
213
The Value of Undefined Behavior
In several places, the C and C++ language specifications use a curious, and fairly controversial, phrase: undefined behavior . For certain program constructs, the specification prescribes no specific behavior, instead allowing anything to happen . Such constructs are considered erroneous, and so the result depends on…
214
215
Unsafe Zig Is Safer Than Unsafe Rust
This pattern is pretty common if you are interacting with Operating System APIs . Another example .
216
217
Better Clojure formatting
A Clojure formatting style good enough to be a default standard
218
I've just learned Rust and I think I'm in love
I’ve decided to learn some Rust recently while working on the Stanford’s experimental course on operating systems. R...
219
220
Instruction explosion in Guile
wingolog: article: instruction explosion in guile
221
The BEAM needs an APL-y language
One like, one unpopular opinion is one of them top Twitter games, innit?
222
Union Types in Flow and Reason
Union types are powerful yet often overlooked. At work, I've been using Flow which thankfully supports union types. But as I've refactored more of our code to use union types, I've noticed that our bundle size has been steadily increasing!
223
Clojure Don’ts: Lazy Effects (2015)
Laziness is often useful. It allows you to express “infinite” computations, and only pay for as much of the computation as you need.
224
Crafting Interpreters: Strings
“Ah? A small aversion to menial labor?” The doctor cocked an eyebrow. “Understandable, but misplaced. One should treasure those hum-drum tasks that keep the body occupied but leave the mind and heart unfettered.”
225
C++17 Compiler Bug Hunt
Hey, if all I have is lemons – I have no choice but to make lemonade out of them! if reproducible serious bugs are ignored for many months, it indicates one ...
226
227
Representing the Impractical and Impossible with JDK 10 “var”
Having benefited from “var” for many years when writing c#, I’m delighted that Java is at last getting support for local variable type inference in JDK 10. From JDK 10 instead of saying ArrayList<String> foo = new ArrayList<String>(); we can say var foo = new ArrayList<String>(); and the type of “foo” is inferred as…
228
Haskell’s State monad is not a monad (2014)
Haskell’s State monad has a shameful secret. It’s not a monad [ State monads don’t respect the monad laws in Haskell, Simon Marlow ] . Look:
229
Value Type Hygiene
Briefly put, types in L-world are ambiguous, leading to unhygienic mixtures of value operations with reference operations, and uncontrolled pollution from null s infecting value code.
230
Common Lisp Standard Draft
Add more credibility to your site - get a premium domain today. Straight-forward shopping experience.
231
232
Undershoot: Parsing theory in 1965
Jeffrey Kegler's blog about Marpa, his new parsing algorithm, and other topics of interest
233
Mobile Smalltalk
I've been announcing the Open Beta release of my game HexSolve for Android and iOS. HexSolve was written in Smalltalk and people have been ...
234
On Competing with C Using Haskell (2017)
Mark Karpov wrote in his article on Migrating text metrics to pure Haskell how he originally did foreign calls out to C for many of the functions in his text metric package, but now ported them to Haskell when he learned that Haskell can give you performance comparable to C.
235
My Haskell Journey from C#
SUNWIN tiếp tục dẫn đầu thị trường game đổi thưởng Việt Nam với hơn 5 triệu người chơi và tỷ lệ thắng cược minh bạch.
236
237
Is Lisp Still Unique? Or at Least Different? (2002)
October 1997: It has been six years since I finished Paradigms of AI Programming (or PAIP ), and now seems like a good time to look back at how Lisp and AI programming have changed.
238
research!rsc: Go & Versioning
The official Go proposal is at https://golang.org/issue/24301 , filed on March 20, 2018 and accepted on May 21, 2018.