Home » forums » LtU Forum

High-level constructs for low-level C: exception handling, RAII, sum types and pattern matching

You guys might get a kick out the recent macro abuse I've been playing around with. The sum types/pattern matching are straightforward, but perhaps of more interest here, the exception handling form is that first suggested by Andrew Kennedy and Nick Benton in Exceptional Syntax, and later generalized in Handlers of Algebraic Effects.

By naasking at 2010-09-24 01:14 | LtU Forum | previous forum topic | next forum topic | other blogs | 5916 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Neat. Check out:

Neat.

Check out:

SGLIB - A Simple Generic Library for C, which was published about in A Simple Generic Library for C
and
c-generic-library: A generic data structure library modeled after C++ STL. by Micah Villmow
and
Walter Bright passes along The X Macro
and... I know from a recent previous thread on LtU that you are already familiar with:
Protothreads

By Z-Bo at Wed, 2010-09-29 18:39 | login or register to post comments

Thanks, I'm familiar with

Thanks, I'm familiar with most of those, though c-generic-library is new. It seems to use the same strategies as sglib of lifting many functions into macros, which I really don't like for readability and debugging reasons.

I've previously hinted at overloading and parametric polymorphism in C, which I'm doing with a simple X-macro scheme. Parametric types and functions are defined like ordinary C types and functions on variables of type T, ie. struct list(T) { T value; struct list(T)* next; }.

I'm not totally happy with it yet, but I can provide more details privately if anyone is interested.

By naasking at Wed, 2010-09-29 21:16 | login or register to post comments