Luiz 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.

Normal Raspbian startup sequence

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

/etc/inittab sets the default runlevel and runs /etc/init.d/rc to execute startup scripts.
/etc/rc3.d/S03lightdm launches lightdm for runlevel 3.
/etc/lightdm/lightdm.conf contains configuration options for lightdm, including autologin-user
/etc/X11/Xsession sources all files in /etc/X11/Xsession.d
/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
lxde is the "Lightweight X11 Desktop Environment"
`/usr/bin/startlxde

You appear to be advocating a new...

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#

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

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

	void Main()
	{
	// LinqPad script that downloads all PDFs/etc from Bret Victors worry dream refs page.
	var targetPath = @"PATH_TO_WHERE_YOU_KEEP_YOUR_EBOOK\eBooks";

	//These filenames were extracted from http://worrydream.com/refs/ -- using NimbleText.
	//(TODO: Use regex or html agility pack to find them programmatically)
	var refs = new string[] {
	"Hamming-TheArtOfDoingScienceAndEngineering.pdf",
	"Licklider-IntergalacticNetwork.pdf",

	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()
	}

	<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>

	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

	#!/usr/bin/env python3

	p = 101149
	q = 201829

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