Shakadak

Translation to Elixir of the article from this link: https://www.cs.princeton.edu/~dpw/courses/cos326-12/notes/reasoning.php

Reasoning About Programs

In the last note, we discussed the operational semantics of simple ML programs. This operational semantics provides us with a means to prove some simple things about our the programs we write. For example.

Theorem: The expression x = 1 ; y = x + 2 ; x + y evaluates to the value 4.

Proof: By the definition of the operational semantics of ML (Elixir):

Shakadak

Manually overriding the typeclass dictionary in Purescript

The reifySymbol from the purescript-symbols package

In my effort to understand the recently added RowToList Purescript feature, I have been reading Liam Goodacre's post, which made me take a closer look at the purescript-symbols package.

I was puzzled by the implementation of the reifySymbol function. Here it is:

Shakadak

defmodule SessionSm do
  @moduledoc """
  Documentation for SessionSm.
  """

  @behaviour :gen_statem

  @registered :session_sm

  @chars Enum.concat([?A..?Z, ?a..?z, ?1..?9])

Shakadak

24 - The Longest Day (Armin Van Buuren Remix) [2004]
2HD - Sunflakes (Vincent De Moor Remix) [1998]
2Trance & Moonforce - Sunset On Ibiza (Original Mix) [2007]
3 Voices - Nightflight (Future Mix) [1994]
4 Strings - All Around The World
4 Strings - Catch A Fall (Club Mix)
4 Strings - Daytime (Gizeh Remix) [2000]
4 Strings - Desire (DJ 4 Strings Remix)
4 Strings - Desire (Original Mix)
4 Strings - Diving (Hiver & Hammer's Different Gear Remix) [2002]

Shakadak

https://medium.com/@roman01la/understanding-transducers-in-javascript-3500d3bd9624 now at https://dev.to/romanliutikov/understanding-transducers-in-javascript-4pdg

J'essaie de comprendre comment ca fonctionne avec la composition de fonction.

M :  ('a -> 'b) -> (('c, 'b) -> 'c) -> ('c, 'a) -> 'c
M = f -> reduc -> (acc, x) -> reduc (acc, f x)

F : ('a -> bool) -> (('c, 'a) -> 'c) -> ('c, 'a) -> 'c
F = p -> reduc -> (acc, x) -> if p x then reduc (acc, x) else acc

Shakadak

import System.IO
import Control.Monad
import Data.Array
import Data.Maybe

activableCell :: Char
activableCell = '0'

data Direction = Row | Col

Shakadak

import System.IO
import Control.Monad
import Data.Ord
import Data.List
import Data.Maybe

main :: IO ()
main = do
    hSetBuffering stdout NoBuffering -- DO NOT REMOVE
    loop

Shakadak

// ==UserScript==
// @name         [Leek Wars] Pinky
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  *onch*
// @author       Ref
// @match        https://leekwars.com/*
// @grant        GM_addStyle
// ==/UserScript==

Shakadak

Leek Wars

Désirable

Archétypes

La notion de retrait de vie (life removal (LR)) est ici utilisé à la place de dégât dû au chevauchement avec l'effet du même nom. AFTEREFFECT, DAMAGE, DAMAGE_RETURN, POISON

Burst Life Remover (BLR): Une entitée avec la capacité de retirer une forte quantité de vie de manière périodique. Implique des temps de recharge (cooldown (CD)).

Shakadak

# Original author: https://gist.github.com/CaptainTheDelta

import requests

class APIAi:
    """docstring for APIAi"""
    def __init__(self, session):
        self.session = session
        self.url = "https://leekwars.com/api/ai"