DarinM223’s gists

DarinM223 / generics.mlb

Last active April 12, 2023 21:51

Standard ML generic testing

	ann "milletDiagnosticsIgnore all" in
	./mltonlib/com/ssh/extended-basis/unstable/basis.mlb
	./mltonlib/com/ssh/generic/unstable/lib.mlb
	./mltonlib/com/ssh/generic/unstable/with/generic.sml
	./mltonlib/com/ssh/generic/unstable/with/eq.sml
	./mltonlib/com/ssh/generic/unstable/with/type-hash.sml
	./mltonlib/com/ssh/generic/unstable/with/type-info.sml
	./mltonlib/com/ssh/generic/unstable/with/hash.sml
	./mltonlib/com/ssh/generic/unstable/with/uniplate.sml
	./mltonlib/com/ssh/generic/unstable/with/ord.sml

DarinM223 / fru.sml

Created April 9, 2023 05:42

Functional Record Update in Standard ML

DarinM223 / server.mlb

Last active August 13, 2023 01:27

Example of a TCP server using CML in MLton

	$(SML_LIB)/basis/basis.mlb
	$(SML_LIB)/basis/mlton.mlb
	$(SML_LIB)/smlnj-lib/INet/inet-lib.mlb
	$(SML_LIB)/cml/cml.mlb
	server.sml

DarinM223 / Log.hs

Created February 5, 2023 04:20

Logging rich messages in co-log

	{-# LANGUAGE OverloadedStrings #-}
	import Colog
	import Control.Monad.IO.Class (MonadIO)
	import Data.Text (Text)

	foo :: (WithLog env Message m, MonadIO m) => m ()
	foo = do
	logWarning "Hello"
	logWarning "World"

DarinM223 / SoundEager.hs

Last active April 9, 2023 16:00

Translation of `sound_eager.ml` to Haskell https://okmij.org/ftp/ML/generalization.html

	{-# LANGUAGE ImplicitParams #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE OverloadedStrings #-}

	module SoundEager where

	import Control.Monad (unless)
	import Control.Monad.Primitive (PrimMonad, PrimState)
	import Control.Monad.ST (runST)
	import Data.Char (chr, ord)

DarinM223 / cyclical.rs

Last active September 29, 2024 13:38

Cyclical mutable references in Rust using GhostCell

	/// An example of cyclical mutable references in Rust using GhostCell.
	/// Struct A contains mutable references to B and C and B has a
	/// mutable reference to C and C has a mutable reference to B.
	///
	/// Unfortunately, doing it this way means forgoing dot syntax for B and C, since
	/// only Rc, Arc, and Pin can be used for self, not &'arena GhostCell<'id, Self>.
	use bumpalo::Bump;
	use ghost_cell::{GhostCell, GhostToken};

	struct A<'arena, 'id> {

DarinM223 / Select.hs

Last active June 16, 2022 03:53

Select for TBQueue similar to Golang's select

	{-# LANGUAGE ExistentialQuantification #-}

	import Control.Concurrent.STM (STM, TBQueue, atomically, isEmptyTBQueue, isFullTBQueue, newTBQueueIO, readTBQueue, retry, writeTBQueue)
	import Control.Monad (filterM, replicateM_)
	import System.Random (StdGen, newStdGen, uniformR)

	data Handler a
	= forall b. Recv (TBQueue b) (b -> IO a)
	\| forall b. Send (TBQueue b) b (IO a)

DarinM223 / PrefixRenamer.class.st

Last active April 28, 2022 18:25

Renames all classes in package to have prefix

	"
	I rename all classes in my package to have a prefix of ""DM"".
	"
	Class {
	#name : #PrefixRenamer,
	#superclass : #Object,
	#category : #Lambcalc
	}

	{ #category : #'menu - change set' }

DarinM223 / async-channel.lisp

Last active March 18, 2021 23:22

Asynchronous channel in Common Lisp using cl-async

	(eval-when (:compile-toplevel :load-toplevel :execute)
	(ql:quickload :cl-async)
	(ql:quickload :iterate)
	(ql:quickload :bordeaux-threads)
	(ql:quickload :cl-speedy-queue)
	(ql:quickload :access)
	(use-package :iterate))

	(access:enable-dot-syntax)

DarinM223 / ConduitTest.hs

Last active February 11, 2021 15:13

Combining producers in streaming libraries

	module ConduitTest where

	import Data.Conduit.Internal (sourceToPipe, unconsM)
	import Data.Foldable (for_)
	import Control.Monad (forever, void)
	import Control.Monad.Trans.Maybe (MaybeT (MaybeT, runMaybeT))
	import Conduit

	lotsOfInts :: Monad m => ConduitT () Int m ()
	lotsOfInts = for_ [0..5] $ \i -> yield i

Darin Minamoto DarinM223