Skip to content

Instantly share code, notes, and snippets.

View graninas's full-sized avatar
😊
My Twitter: graninas

Alexander Granin graninas

😊
My Twitter: graninas
677 followers · 90 following
View GitHub Profile
@graninas
graninas / StateLangSpec.hs
Created September 14, 2023 15:24
Church Free monad based State
module StateLangSpec where
import Test.Hspec
import Data.IORef
import Control.Monad.Free.Church
data StateMethod s next
= Put s (() -> next)
| Get (s -> next)
@graninas
graninas / ChurchState.hs
Created September 13, 2023 18:53
Some thoughts on merging Church Free and State monad
-- Option 1: State as an eDSL
data StateMethod s next
= Put s (() -> next)
| Get (s -> next)
instance Functor (StateMethod s) where
fmap f (Put st next) = Put st (f . next)
fmap f (Get next) = Get (f . next)
@graninas
graninas / gist:32a2cd52c062c42bccbad9e8b69b6360
Last active September 13, 2023 18:51
Path 2 to implement the State monad in C++ using Church Free
# This is an idea of how to merge the State monad and the Church Free monad
# without interferring with the inner eDSL.
# This code is incomplete and requires a further development.
# The idea is that we pass the state around with the Church Free functions
# as we would do it with a regular State monad.
# The overal concept is based on my Free monadic STM implementation:
# https://github.com/graninas/cpp_stm_free
@graninas
graninas / state_church_free.h
Last active September 12, 2023 17:18
Path 1 to implement the State monad in C++ using Church Free
# This is a sample of how to implement the State monad with Church Free monad.
# This sample is incomplete, but its concept is taken from my Free-monad based STM library.
# Consider the library to implement the rest of the code. The idea is the same.
# https://github.com/graninas/cpp_stm_free
#include <functional>
#include <variant>
#include <any>
@graninas
graninas / TypeClassesAreNotInterfaces.hs
Last active August 30, 2023 05:01
{-# LANGUAGE AllowAmbiguousTypes #-}
module Test2 where
import Control.Monad.Free
import Control.Monad
data BreadType = Baguette | Toast
deriving (Show, Eq, Ord)
@graninas
graninas / holmes_code_riddle.js
Created November 26, 2022 20:27
Sherlock Holmes and a Code Riddle
// https://www.tutorialspoint.com/online_processingjs_editor.php
<!DOCTYPE html>
<html>
<head>
<script src="https://cdnjs.cloudflare.com/ajax/libs/processing.js/1.6.6/processing.min.js"></script>
<script type="application/processing" data-processing-target="pjs">
dW = 4; dH = 20; dWH = dW/2; dHH = dH/2;
gSh = dWH/2; r = dW/sqrt(2); fs = 2 * (dH);
@graninas
graninas / itbeard_poems.txt
Last active June 20, 2022 09:20
Стихи для конкурса у АйТиБороды
https://www.youtube.com/watch?v=fhMVCRWpNVc&ab_channel=%D0%90%D0%B9%D0%A2%D0%B8%D0%91%D0%BE%D1%80%D0%BE%D0%B4%D0%B0
igroykt
айтишечка и в африке айтишечка
а я питоняш, и пишу на нем код наш
иногда на пхп, выдаю я выхлоп кнеш
@graninas
graninas / FDaA SE CH2 listing
Created June 25, 2021 13:58
--ghc 8.0.2
type ThermometerName = String
type BarometerName = String
data Method
= ReadThermometer ThermometerName
| ReadBarometer BarometerName
| ReportTemperature
| ReportAtmospherePressure
@graninas
graninas / itunderhood_creations.md
Last active March 12, 2021 13:12
Творчество сообщества itunderhood
@graninas
graninas / On_hiring_haskellers.md
Last active March 25, 2023 16:49
On hiring Haskellers

On hiring Haskellers

Recently I noticed the number of the same two questions being asked again and again on different Haskell resources. The questions were “How to get a Haskell job” and “Why is it so hard to find Haskellers?” Although these two are coming from the opposite sides of the hiring process, the answer is really just one. There is a single reason, a single core problem that causes difficulties of hiring and being hired in the Haskell community, and we should clearly articulate this problem if we want to increase the Haskell adoption.

We all know that there are many people wishing to get a Haskell job. And a visible increase of Haskell jobs looks like there should be a high demand for Haskellers. The Haskell community has also grown like crazy past years. But still, why is it so difficult to hire and to be hired? Why can’t companies just hire any single person who demonstrates a deep knowledge of Haskell in blog posts, in chats, on forums, and in talks? And why do Haskell companies avoid hirin