Skip to content

Instantly share code, notes, and snippets.

View mingmingrr's full-sized avatar
💭
🗡 📞 😥 🚑 🐄 🍺 🍀 ↕️ 🎷 🎿

mingmingrr

💭
🗡 📞 😥 🚑 🐄 🍺 🍀 ↕️ 🎷 🎿
View GitHub Profile
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}
{-# LANGUAGE ApplicativeDo #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE LambdaCase #-}
@mingmingrr
mingmingrr / condensed.py
Last active September 5, 2023 08:40
python fizzbuzz
((lambda reclimit: lambda F: lambda compose: lambda cons: lambda fix: lambda
ident: lambda nil: lambda pair: lambda succ: lambda zero: (lambda add: lambda
append: lambda enumTo: lambda fmap: lambda foldr: lambda getInt: lambda
getList: lambda intersperse: lambda makeInt: lambda makeList: lambda sub:
((lambda divMod: lambda getChar: lambda makeChar: (lambda mod: lambda
makeString: lambda intercalate: lambda getString: (lambda fizzbuzzTest: lambda
showInt: (lambda fizzbuzz3: lambda fizzbuzz5: lambda n:
print(getString(intercalate(makeString("\n")) (fmap(lambda n:
F.get(compose(fizzbuzz3(n)) (fizzbuzz5(n)) (ident) (F(lambda: showInt(n)))))
(enumTo(makeInt(n))))))) (fizzbuzzTest(makeInt(3)) (makeString("fizz")))
from pyrsistent import pvector, pdeque, psequence
from collections import deque, defaultdict
import time
import inspect
import itertools
import functools
import asyncio
import matplotlib.pyplot as plt

Keybase proof

I hereby claim:

  • I am mingmingrr on github.
  • I am mingmingrr (https://keybase.io/mingmingrr) on keybase.
  • I have a public key ASDyIegazg0O5g4sMzy-FoW3M51d_Ki4dmDI_ZE_Cc3QKgo

To claim this, I am signing this object: