Skip to content

Instantly share code, notes, and snippets.

View Hugobros3's full-sized avatar

Hugo Devillers Hugobros3

View GitHub Profile
interface RenderingInterface {
}
... in chunkstories-api, implemented in 'chunkstories'
interface RenderingPipeline {
registerRenderPass(String name, RenderPass pass);
RenderPass getRenderPass(String name);

b0neless

b0neless is a pseudo-language/idea I had following reading some interesting discussions on discord. The idea is to completely seperate the idea of types and data storage, and enforcing that by making those two seperate language constructs.

In b0neless, a type is a name, an optional list of type parameters, and has a bunch of properties you can query, given one instance of the type. Properties are pure, and lazily evaluated (potentially extremely so as will become clear later).

type List[T: type] {
	size: Nat,
	access: Nat -> T,
==========
VULKANINFO
==========
Vulkan Instance Version: 1.3.211
Instance Extensions: count = 12
===============================
VK_EXT_debug_report : extension revision 10
#include <stdlib.h>
#include <stdio.h>
#include <time.h>
typedef int T;
T foo_local_array(T a, T b, T c, int i) {
const T abc[3] = { a, b, c};
return abc[i];
}