Chris Penner

@chrispenner.ca

545 Followers 603 Following

FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca

Zig doesn't have a built-in "defer on error" construct, but there are several patterns you can use to achieve similar functionality:
Method 1: Using errdefer (Zig's error-specific defer)
Actually, Zig does have exactly what you're looking for! It's called errdefer:

-- Hack for finding blocking points in your complex concurrent systems,
-- you can literally just print where in the system you're blocked!

readQ :: String -> STM.TBMQueue a -> STM.STM (Maybe a)
readQ qName q = do
STM.readTBMQueue q <|> do
traceM $ "Blocked Reading from " <> qName
retry
writeQ :: Text -> STM.TBMQueue a -> a -> STM.STM ()
writeQ qName q val = do
STM.writeTBMQueue q val <|> do
traceM $ "Blocked Writing to " <> qName
retry

Remove whimsy per terminal emoji rendering incongruence 😢

Snippet from the Waze wikipedia page showing that it was purposed by Google and not challenged by anti-trust law.

echo 'myfile-v100.txt' | focus 'pattern "%name-v%num.txt" | "%name-v%{%num + 1}.txt"'
> myfile-v101.txt

# Rename every file from name.ext to name-old.ext
#
# `-> orig` binds the input string into the 'orig' var
# `pattern "%name.%ext"` does a pattern match on the string and binds the name and extension to vars
# `#{mv "%orig" "%name-old.%ext"}` calls out to the shell to move the file.
ls | focus '%. -> orig | pattern "%name.%ext" | #{mv "%orig" "%name-old.%ext"}'

$newtype Strictly a = Strictly (State () a) deriving newtype (Functor, Applicative, Monad, MonadFix) strict :: a -> Strictly a strict a = Strictly $ state \s -> (a, a `seq` s) runStrictly :: Strictly a -> a runStrictly (Strictly m) = let (a, s) = runState m () in s `seq` a$