Bookmarks

SCG: Traits - Composable Units of Behavior

design · implementation · programming-languages

July 3, 2019 at 1:36:38 PM GMT+2 * · permalink

·

http://scg.unibe.ch/research/traits

·

So you still don't understand Hindley-Milner? Part 1 - Amit's Blog

design · implementation · programming-languages

May 29, 2019 at 10:04:13 PM GMT+2 * · permalink

·

http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understand-hindley-milner/

·

Here's My Type, So Initialize Me Maybe (mem::uninitialized is deprecated)

implementation · programming-languages

May 22, 2019 at 12:50:20 AM GMT+2 * · permalink

·

https://gankro.github.io/blah/initialize-me-maybe/

·

Modern SAT solvers: fast, neat and underused (part 3 of N) — The Coding Nest

Also https://news.ycombinator.com/item?id=19953213

implementation · programming-languages

May 19, 2019 at 4:43:33 PM GMT+2 * · permalink

·

https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-3-of-n/

·

Amber Brown: Batteries Included, But They're Leaking (Python Language Summit) : rust

design · programming-languages

May 19, 2019 at 3:22:43 AM GMT+2 * · permalink

·

https://www.reddit.com/r/rust/comments/bq5rcy/amber_brown_batteries_included_but_theyre_leaking/

·

Fast Compilers for Fast Programs | Hacker News

implementation · programming-languages

May 15, 2019 at 9:55:19 AM GMT+2 * · permalink

·

https://news.ycombinator.com/item?id=19896542

·

Booleans: "true"+"false" or "yes"+"no" : ProgrammingLanguages

design · programming-languages

May 15, 2019 at 5:03:31 AM GMT+2 * · permalink

·

https://www.reddit.com/r/ProgrammingLanguages/comments/bm7xi4/booleans_truefalse_or_yesno/

·

Cranelift, a low-level retargetable code generator written in Rust | Hacker News

ideas · implementation · programming-languages

May 15, 2019 at 12:39:53 AM GMT+2 * · permalink

·

https://news.ycombinator.com/item?id=17734750

·

Boolean blindness | The Lumber Room

implementation · programming-languages

May 9, 2019 at 1:01:41 PM GMT+2 * · permalink

·

https://shreevatsa.wordpress.com/2015/01/31/boolean-blindness/

·

What is your ideal programming language? : ProgrammingLanguages

ideas · programming-languages

May 9, 2019 at 12:05:54 AM GMT+2 * · permalink

·

https://www.reddit.com/r/ProgrammingLanguages/comments/bl2yhn/what_is_your_ideal_programming_language/

·

What to Know Before Debating Type Systems (2008) | Hacker News

Also https://news.ycombinator.com/item?id=19822625

ideas · programming-languages

May 7, 2019 at 1:51:33 PM GMT+2 * · permalink

·

https://news.ycombinator.com/item?id=19821359

·

"Move checker" algorithm? : ProgrammingLanguages

implementation · programming-languages

May 7, 2019 at 1:34:44 PM GMT+2 * · permalink

·

https://www.reddit.com/r/ProgrammingLanguages/comments/biwyfe/move_checker_algorithm/

·

Arnaud Bailly - Understanding Existential Types

design · programming-languages

May 7, 2019 at 11:30:02 AM GMT+2 * · permalink

·

http://abailly.github.io/posts/existential-types.html

·

graydon2 | Rust 2019 and beyond: limits to (some) growth.

design · programming-languages

December 27, 2018 at 5:56:49 PM GMT+1 * · permalink

·

https://graydon2.dreamwidth.org/263429.html

·

Inside Rust's Async Transform | Hacker News

implementation · programming-languages

December 10, 2018 at 9:13:06 AM GMT+1 * · permalink

·

https://news.ycombinator.com/item?id=18641796

·

proposal: spec: change int to be arbitrary precision · Issue #19623 · golang/go · GitHub

implementation · programming-languages

November 29, 2018 at 11:06:16 PM GMT+1 * · permalink

·

https://github.com/golang/go/issues/19623

·

philosophy : Why Rebol, Red, and the Parse dialect are Cool

Also https://news.ycombinator.com/item?id=18551151

ideas · programming-languages

November 29, 2018 at 11:13:26 AM GMT+1 * · permalink

·

http://blog.hostilefork.com/why-rebol-red-parse-cool/

·

Threads Cannot Be Implemented as a Library (2005) [pdf] | Hacker News

implementation · programming-languages

November 19, 2018 at 5:03:32 PM GMT+1 * · permalink

·

https://news.ycombinator.com/item?id=18483717

·

The Egison Programming Language

programming-languages

November 8, 2018 at 3:17:11 PM GMT+1 * · permalink

·

https://www.egison.org/

·

Erlang, the language for network programming Issue 2: binary pattern matching – J. Pablo Fernández

ideas · programming-languages

November 8, 2018 at 2:57:06 PM GMT+1 * · permalink

·

https://pupeno.com/2006/10/24/erlang-the-language-for-network-programming-issue-2-binary-pattern-matching/

·