Yuriy Syrovetskiy cblp

machine whisperer

cblp / sumtype.cpp

Last active May 29, 2023 10:21

ADT in C++. Based on https://dev.to/tmr232/that-overloaded-trick-overloading-lambdas-in-c17

	template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
	template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

	template<class Variant, class... Ts>
	auto match(Variant v, Ts... matchers) {
	return visit(overloaded{matchers...}, v);
	}

	struct Human {string name; int age;};
	struct Animal {string kind; int age;};

cblp / lazy_fibs.py

Created September 28, 2022 20:59

	#!/usr/bin/env python3

	import operator
	from typing import Callable, NamedTuple, Optional, TypeVar, Generic


	A = TypeVar('A')


	class Lazy(Generic[A]):

cblp / lazy_fibs.cxx

Last active September 28, 2022 18:01

	#include <iostream>
	using namespace std;

	#define LAZY(expression) Lazy<Cons>{[=]{ return expression.get(); }}
	#define LAZY_REF(expression) Lazy<Cons>{[&]{ return expression.get(); }}

	template<typename T>
	class Lazy {
	private:
	mutable shared_ptr<T> value;

cblp / derive.cxx

Created September 27, 2022 22:40

	#include <iostream>
	#include <complex>
	using namespace std;

	#include <numbers>
	using namespace std::numbers;

	struct Expr {
	virtual string source() const = 0;
	virtual shared_ptr<Expr> derive() const = 0;

cblp / derive.hs

Last active September 28, 2022 06:28

cblp / labmbda interpretation.hs

Created August 28, 2022 08:11

cblp / Main.hs

Created July 26, 2022 11:58 — forked from Lev135/Main.hs

Debugging megaparsec transofrmer using `MonadParsecDbg` class

	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE GeneralizedNewtypeDeriving #-}

	-- \| This module contains usage example of suggested `MonadParsecDbg` type class,
	-- minimized, but, I hope, demonstrative
	--
	-- If someone have better solution, I would like to see it
	module Main where

cblp / set-comprehension.hs

Last active June 17, 2022 08:17

	{-# LANGUAGE MonadComprehensions #-}
	{-# LANGUAGE OverloadedLists #-}
	{-# LANGUAGE RebindableSyntax #-}

	import Data.Set (Set, singleton)
	import GHC.Exts
	import Prelude

	xs :: Set Int
	xs = [3, 15]

cblp / Mystudies.hs

Created February 26, 2021 21:31

recursion-schemes example


	{-# LANGUAGE DeriveTraversable #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE TypeFamilies #-}

	module Mystudies where

	import Data.Foldable (toList)
	import Data.Functor.Foldable (fold)

cblp / Main.hs

Created November 26, 2020 11:14

	import Control.Monad.IO.Class (liftIO)
	import Data.Text (Text)
	import qualified Data.Text as Text
	import Telegram.Bot.API (Chat (..), ChatType (..), Message (..),
	ParseMode (Markdown), Update (..),
	defaultTelegramClientEnv)
	import Telegram.Bot.Simple (BotApp (..), BotM, Eff, getEnvToken,
	reply, replyMessageParseMode, startBot_,
	toReplyMessage, withEffect)
	import Telegram.Bot.Simple.Debug (traceBotDefault)