Skip to content

Instantly share code, notes, and snippets.

@aarondewindt
aarondewindt / adt.py
Last active October 27, 2023 05:07
Experimental Algebraic Data Types implementation in Python 3.10
from dataclasses import dataclass
class ADTMeta(type):
def __new__(mcs, name, bases, namespace: dict):
adtc_class = super().__new__(mcs, name, bases, namespace)
if "__is_adt_variant__" in namespace:
if namespace["__is_adt_variant__"]:
return adtc_class
from concurrent.futures import ThreadPoolExecutor, as_completed
import numpy as np
import numba as nb
@nb.extending.llvm_call
def atomic_xchg(context, ptr, cmp, val):
if isinstance(ptr, nb.types.CPointer):
@sshadmand
sshadmand / fb_messenger_webhook.py
Last active January 7, 2019 04:11
FB Messenger Webhook Ported to Python
import json
import requests
from django.views.decorators.csrf import csrf_exempt
FB_MESSENGER_ACCESS_TOKEN = "[TOKEN]"
def respond_FB(sender_id, text):
json_data = {
"recipient": {"id": sender_id},
// by d whyte
int[][] result;
float t;
float ease(float p) {
return 3*p*p - 2*p*p*p;
}
float ease(float p, float g) {