Yuval Shavit

Meanderings on the way to creating a new programming language, because the world needs more of those.

Tuesday, September 10, 2013

Maybe it's optional?

›
A lot of functional and functional-inspired languages don't have the concept of null . Instead, they have types called Maybe or Optiona...
Friday, September 6, 2013

(Finally!) A use case for composed objects

›
I've been playing with Effes syntax off and on for the last couple weeks, and I happened across a use case for conjunctive types. I'...
Friday, August 9, 2013

Time to get cracking

›
"This business isn't for men of words," said Borja. "It's for men of action." A. Perez-Reverte, The Club Dumas ...
Wednesday, August 7, 2013

Conjunction disjunction, what's your function?

›
It's time to turn my attention to functions. Like virtually any language, Effes has functions; like any language written in the last few...
Friday, July 26, 2013

Another blow against strict immutability

›
I know I've talked about mutability before, but I realized the other day yet another argument against taking immutability too far: it co...
Thursday, July 25, 2013

Polymorphic upcasting?

›
In my last post, I summarized Effes' polymorphism by observing that you can't know exactly how an object will behave unless you crea...
Wednesday, July 24, 2013

Subtyping and function resolution (at last!)

›
I've been putting off for too long my ideas for subtyping and function resolution, because I've wanted to get things juuust right. I...
‹
›
Home
View web version

About Me

My photo
YS
Somerville, MA, United States
Programmer, skier, hockey player and fan. Blogger?
View my complete profile
Powered by Blogger.