Skip to content

Instantly share code, notes, and snippets.

View afifmohammed's full-sized avatar
💭
(+2)(-3)

Afif Mohammed afifmohammed

💭
(+2)(-3)
View GitHub Profile
@afifmohammed
afifmohammed / drop_restore_dependencies.sql
Created October 8, 2021 06:01
Drop and restore dependencies
create schema infra;
-- @formatter:off
drop function if exists infra.restore_dependencies(
p_view_schema name,
p_view_name name,
p_options jsonb
);
drop function if exists infra.save_and_drop_dependencies(
@afifmohammed
afifmohammed / Unions.cs
Created December 16, 2019 23:22
Discriminated unions in C#
using System;
namespace Juliet
{
class Program
{
static void Main(string[] args)
{
Union3<int, char, string>[] unions = new Union3<int,char,string>[]
{
@afifmohammed
afifmohammed / io_interpreter_via_yield.cs
Last active October 9, 2019 19:14
Interpreting IO vai the yield operator
using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Threading;
using System.Threading.Tasks;
namespace ConsoleApp1
{
class Program
@afifmohammed
afifmohammed / FreeIOMonad.cs
Created June 14, 2018 13:32 — forked from dadhi/FreeIOMonad.cs
Example of Free IO monad in pure C# with separated re-usable monad implementation
/*
Modified from the original https://gist.github.com/louthy/524fbe8965d3a2aae1b576cdd8e971e4
- removed dependency on [language-ext](https://github.com/louthy/language-ext)
- separated monadic boilerplate, so you may concentrate on describing the operations and interpretation of the program
- removed `IO<A>.Faulted` to simplify the examples. It can be added back in straightforward manner.
Useful links:
- [John DeGoes: Beyond Free Monads - λC Winter Retreat 2017](https://www.youtube.com/watch?v=A-lmrvsUi2Y)
- [Free and tagless compared - how not to commit to a monad too early](https://softwaremill.com/free-tagless-compared-how-not-to-commit-to-monad-too-early)
//
// See https://github.com/louthy/language-ext
//
using System;
using System.IO;
using System.Linq;
using System.Threading.Tasks;
using LanguageExt;
using static LanguageExt.Prelude;
@afifmohammed
afifmohammed / AggregateCorrelations.cs
Last active March 16, 2017 03:39
Aggregate correlations
void Main()
{
var events = new Event[]
{
new ItemAddedToCart(lead:"1", cart:"2", product:"44", title:"products/44/title/iphone-6s", when:DateTimeOffset.Now),
new ItemAddedToCart(lead:"1", cart:"2", product:"4", title:"products/4/title/iphone-5-SE", when:DateTimeOffset.Now),
new ItemRemovedFromCart(lead:"1", cart:"2", product:"44", when:DateTimeOffset.Now),
new OrderPlaced(customer:"1", order:"2", when:DateTimeOffset.Now.AddSeconds(123)),
new ItemShipped(order:"2", sku:"4", trackingid:"orders/2/skus/4/track/12", when:DateTimeOffset.Now.AddMinutes(33)),
new ItemAddedToCart(lead:"12", cart:"22", product:"42", title:"products/42/title/iphone-6s-plus", when:DateTimeOffset.Now.AddSeconds(12)),
@afifmohammed
afifmohammed / reader.cs
Created February 28, 2017 06:37
reader spik
void Main()
{
var id = new Id();
Func<Id, Customer> customerById = x => new Customer();
Func<Criteria, CreditHistory> creditHistoryByCriteria = x => new CreditHistory();
Func<Report, Unit> print = x => new Unit();
var history = GetCustomer(id)
.Map(GetCustomerCreditHistory)
.Uncurry()
@afifmohammed
afifmohammed / parenting.md
Created February 20, 2017 13:07
Parenting.

Some Tips for Raising Muslim Children by Mufti Ismail Menk

  1. Praise your child, even if they get 4/10 in an exam, praise your child in front of others.

  2. Never make your child feel that he or she is useless. Never favour one child over the other.

  3. Every time you speak with your children, speak with respect, say “Jazakallahu khair ”, etc. Don’t use slang such as ‘gimme’, instead say ‘please give me’; use clear words, be polite and never swear.

  4. You need to bear in mind when your child is young that he or she is just a child, don’t take away their playing time by treating them like adults. If you do this, they will rebel in life.

@afifmohammed
afifmohammed / AsyncMonad.cs
Created February 13, 2017 01:38 — forked from hodzanassredin/AsyncMonad.cs
tutorial2 finished monad transformer
using System;
using System.Threading.Tasks;
namespace GenericMonad
{
public class Async
{
Async ()
{
@afifmohammed
afifmohammed / ReaderMonad.cs
Last active January 24, 2017 21:50 — forked from vmarquez/ReaderMonad.cs
This is an example of using the Reader Monad for Dependency Injection using LINQ in C#. I learned about this from Tony Morris and Rúnar Bjarnason's video here: http://www.youtube.com/watch?v=ECPGTUa1WAI To figure out the (slightly weird) SelectMany peculiarities I found http://mikehadlow.blogspot.com/2011/01/monads-in-c-4-linq-loves-monads.html
public static class ReaderMonadExt
{
public static Func<T, C> SelectMany<T, A, B, C>(this Func<T, A> t_a, Func<A, Func<T, B>> a_t_b, Func<A, B, C> ab_c)
{
return t =>
{
var a = t_a(t);
return ab_c(a, a_t_b(a)(t));
};
}