Skip to content

Instantly share code, notes, and snippets.

View frankpf's full-sized avatar

Frank Filho frankpf

46 followers · 18 following
View GitHub Profile
@frankpf
frankpf / macros.md
Last active December 21, 2017 22:40

Lisp macros

An example from Practical Common Lisp

Some fundamental notions

Lisp has a very simple syntax:

(<function> ...)

A function in Lisp has the following form:

@frankpf
frankpf / os.org
Last active December 21, 2017 22:41

OS notes

Virtualization

Concurrency

Concurrency and threads

Threads

A single process can contain multiple threads, all of which are executing the

@frankpf
frankpf / do-notation.ts
Created June 23, 2018 23:13
// Trying to simulate do-notation in TypeScript using async/await
// Trying to convert https://codewithstyle.info/advanced-functional-programming-typescript-monads-generators/
// to use async/await. Generators work but aren't type safe because of https://github.com/Microsoft/TypeScript/issues/2983
interface MyPromise<A> {
then<B>(fn: (a: A) => Option<B>): MyPromise<B>
}
export class Option<A> implements MyPromise<A> {
@frankpf
frankpf / kubernetes-gotchas.md
Last active July 12, 2018 16:05
@frankpf
frankpf / Functional programming libraries for TypeScript.md
Created August 23, 2018 02:04
@frankpf
frankpf / match.ts
Last active July 16, 2020 14:48
type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>
/* Source: https://github.com/Microsoft/TypeScript/pull/21316#issuecomment-364982638 */
type DiscriminateUnion<Union, TagKey extends keyof Union, TagValue extends Union[TagKey]> =
Union extends Record<TagKey, TagValue> ? Union : never
type MatchingFunc<A extends { kind: string }, K extends A['kind'], U> = (a: Omit<DiscriminateUnion<A, 'kind', K>, 'kind'>) => U
function match<A extends { kind: string }>(discriminant: A) {
@frankpf
frankpf / match.ts
Created October 4, 2018 16:25
type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>
type DiscriminateUnion<Union, TagKey extends keyof Union, TagValue extends Union[TagKey]> =
Union extends Record<TagKey, TagValue> ? Union : never
type MatchingFunc<A extends { kind: string }, K extends A['kind'], U> = (a: Omit<DiscriminateUnion<A, 'kind', K>, 'kind'>) => U
function match<A extends { kind: string }>(discriminant: A) {
return <U>(obj:
@frankpf
frankpf / example-usage.ts
Last active April 30, 2019 05:58
class Maybe<A> {
[Generic.repr]: Generic<MaybeRepr, A>
}
interface MaybeRepr extends Repr {
type: Maybe<this[1]>
}
type test1 = Of<MaybeRepr, string> // Maybe<string>
class Result<T, E> {
[Generic.repr]: Generic<ResultRepr, T, E>
@frankpf
frankpf / safeStringify.js
Created February 25, 2021 17:56
const UNSAFE_CHARS_REGEXP = /[<>\/\u2028\u2029]/g
const ESCAPED_CHARS = {
'<' : '\\u003C',
'>' : '\\u003E',
'/' : '\\u002F',
'\u2028': '\\u2028',
'\u2029': '\\u2029'
}
function escapeUnsafeChars(unsafeChar) {
return ESCAPED_CHARS[unsafeChar]
@frankpf
frankpf / gist:6b60040643a1bddbe2413f89526d2137
Created January 17, 2022 19:02
Phoenix.set({
openAtLogin: true,
})
Key.on('return', ['option'], () => {
createTerminal()
})
Key.on('y', ['option'], () => {
Modal.build({