Interpreting δ
as the least fixed point of the nullability equations, ascending from ⊥ = false
.
Given S → ϵ ∪ S
,
The zeroth iteration is ⊥
:
δ⁰(S) = ⊥ = false
The first is computed:
⚆︗⨀ | |
⚆‿⨀ | |
⚆␣⨀ | |
⚆˾⨀ | |
⚆⫎⨀ | |
⚆⩌⨀ |
__attribute__((format_arg(__NSString__, 2))) | |
NSString *ಠ_ಠ_message(const char *severity, const char *format) { | |
return [NSString stringWithFormat:@"%s: %s", severity, format]; | |
} | |
#pragma clang diagnostic push | |
#pragma clang diagnostic ignored "-Wformat-nonliteral" | |
__attribute__((format(printf, 1, 2))) | |
void ಠ_ಠ_warning(const char *format, ...) { | |
va_list ಠ_ಠ; | |
va_start(ಠ_ಠ, format); |
My life's yours, love | |
That's why you'll find, somebody's on my mind | |
Wants the world to know | |
And my hair ain't curled | |
But youre so mean to me, baby, I know youre gonna drive me away | |
Some call me honey | |
Like an old sweet song, 'The Lasting Time' | |
Some tell me "Billie, |
// cc autotes.m -o autotes -framework Foundation -fobjc-arc && ./autotes | |
#import <Foundation/Foundation.h> | |
// use it like lambda(…args…)(…return value…) | |
#define lambda(...) \ | |
^(__VA_ARGS__) _lambda_body | |
#define _lambda_body(...) \ | |
{ return __VA_ARGS__; } |
((w ord)) | |
((w) (ord)) | |
((word)) | |
((wo rd)) | |
((w o rd)) | |
((w o r d)) | |
((w o r) (d)) | |
((w o) (rd)) | |
((w o) (r d)) | |
((wo) (rd)) |
#include <stdio.h> | |
int main(int argc, char *argv[]) { | |
int i = 10; | |
while (i \ | |
\ | |
\ | |
\ | |
--> 0) { printf("%i\n", i); } | |
return EXIT_SUCCESS; |
Interpreting δ
as the least fixed point of the nullability equations, ascending from ⊥ = false
.
Given S → ϵ ∪ S
,
The zeroth iteration is ⊥
:
δ⁰(S) = ⊥ = false
The first is computed:
Interpreting parseNull
as the least fixed point of the parse null equations, ascending from ⊥ = {}
Given S → ϵ↓{x} ∪ S
,
The zeroth iteration is ⊥
:
parseNull⁰(S) = ⊥ = {}
The first is computed:
a |
b |
a && b |
---|---|---|
👎 | 👎 | 👎 |
👍 | 👎 | 👎 |
👎 | 👍 | 👎 |
👍 | 👍 | 👍 |
a |
b |
a && b |
---|---|---|
👎 | 👎 | 👎 |
👍 | 👎 | 👎 |
👎 | 👍 | 👎 |
👍 | 👍 | 👍 |