Luiz-Monad

-- Function: clone_schema(text, text, text)

-- DROP FUNCTION clone_schema(text, text, text);

CREATE OR REPLACE FUNCTION clone_schema(source_schema text, dest_schema text, dest_owner text)
  RETURNS void AS
$BODY$
 
DECLARE
  seq RECORD;

Luiz-Monad

List of lectures with watching stop-times (hr:min):

1. CppCon 2015: Functional Design Explained by David Sankel
2. C++Now 2017: Effective CMake by Daniel Pfeifer
3. CppCon 2015: Stop Teaching C by Kate Gregory
4. Practical Fractals in Space by Michelle Brush
5. Meeting C++ live: Multithreading with Rainer Grimm
6. Functional reactive programming with C++ by Gustaf Räntilä
7. The REST And Then Some by Asbjørn Ulsberg at Nordic APIs 2016
8. Rest APIs | The talk will introduce the project and its community

Luiz-Monad

SOLID is FP!

So, I decided to write a little thing, only to practice writing, it's about SOLID being compared between class-based-OO and FP, and there will be grammar errors and there will be a lot of formatting errors, 'bear' with me as I type this as fast as I can. Also correct if I'm wrong. Warning, wall of text in English.

Single responsibility principle

" a class should have only a single responsibility " A pure function is something with a single responsibility, turning its input into an output. What could be simpler?.

C#

Luiz-Monad

You appear to be advocating a new...

• Functional
• Imperative
• Object-oriented
• Procedural
• Stack-based
• "Multi-paradigm"
• Lazy
• Eager

Luiz-Monad

#!/usr/bin/env python3

p = 101149
q = 201829

def gcd(a, b):
    while b:
        a, b = b, a%b
    return a

Luiz-Monad

open System
open Suave
open Suave.Filters

let subPath path (ctx:HttpContext) =
    async {
        let localPath = ctx.request.url.LocalPath        
        let result =
            match (localPath.StartsWith(path)) with
            | false -> None

Luiz-Monad

  <PropertyGroup Label="Globals">
    <Keyword>Android</Keyword>
    <MinimumVisualStudioVersion>16.0</MinimumVisualStudioVersion>
    <ApplicationType>Android</ApplicationType>
    <ApplicationTypeRevision>3.0</ApplicationTypeRevision>
    <PlatformToolset>Clang_5_0</PlatformToolset>
    <AndroidAPILevel Condition="'$(Platform)'=='ARM64'">android-21</AndroidAPILevel>
    <AndroidAPILevel Condition="'$(Platform)'!='ARM64'">android-19</AndroidAPILevel>
    <UseOfStl>c++_static</UseOfStl>
    <ShowAndroidPathsVerbosity>Low</ShowAndroidPathsVerbosity>

Luiz-Monad

function extract($i, $o) {
    $i = [System.IO.File]::OpenRead($i)
    $o = [System.IO.File]::OpenWrite($o)
    $t = New-Object System.IO.Compression.DeflateStream($i, [System.IO.Compression.CompressionMode]::Decompress)
    $t.CopyTo($o)
    $t.Close()
    $o.Close()
    $i.Close()
}

Luiz-Monad

Normal Raspbian startup sequence

/usr/bin/raspi-config is a shell script to change some of the following options. docs

1. /etc/inittab sets the default runlevel and runs /etc/init.d/rc to execute startup scripts.
2. /etc/rc3.d/S03lightdm launches lightdm for runlevel 3.
3. /etc/lightdm/lightdm.conf contains configuration options for lightdm, including autologin-user
4. /etc/X11/Xsession sources all files in /etc/X11/Xsession.d
5. /etc/X11/Xsession.d/50x11-common_determine-startup will set STARTUP to either ~/.xsession or ~/.Xsession if it exists. If not executable, it will prepend ${SHELL:-sh}. The default is STARTUP=/usr/bin/x-session-manager which is linked to /etc/alternatives/x-session-manager which is linked to /usr/bin/startlxde-pi
6. lxde is the "Lightweight X11 Desktop Environment"
7. `/usr/bin/startlxde

Luiz-Monad

Abstraction type system

Type system is a construction for guarantees safely in a language, though exist many other aplications like metaprogramming... It's means that i can writes a program but with a safe way, sure it's is perfect why it's solve many problems that programmers has after of compilation. The main idea that i can encode and represent a subset of solutions with a safe type system and better maybe the type can help me represent that.

Data representing

Ok it's mean i have a safe type system and i could represent my types of data..... Ok sure...., but no... limited type system have a weak power of abstraction(no i am not talking about c++ but yes a little part of the language).

The problem of "pair"

Let's go represent a pair: Pair is a tuple of the two values like (P x y), where x and y are values, in this discussion the values x and y can be encode a T type and a Tuple T type.