Petrus Nguyễn Thái Học hoc081098

For-Comprehension Free Monads in Kotlin - Mini Howto

Copyright © 2020, Philippe Bastiani.
with this restriction: this GIST could be, all or part, updated, copied, diffused for documentary purposes in the Λrrow project.

This GIST is an attempt to describe a repeatable, and automatable, process for building an embedded Domain Specific Language (DSL) with the help of a Free monad.
As material, i'll use Λrrow, the functional companion to Kotlin's Standard Library.

Disclaimer: This GIST assumes that you are roughly familiar with the concept of Free monad.

Scala with Futures:

import java.util.UUID
import scala.concurrent.Future

trait User {
    def isAdmin: Boolean
    def id: UUID

Advanced Functional Programming with Scala - Notes

1. Mastering Functions

A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.

val square : Int => Int = x => x * x

Haskell, Stack and Intellij IDEA IDE setup tutorial how to get started

Upon completion you will have a sane, productive Haskell environment adhering to best practices.

Basics

Haskell is a programming language.
Stack is tool for Haskell projects. (similar tools for other languages include Maven, Gradle, npm, RubyGems etc)
Intellij IDEA IDE is a popular IDE.

Install required libraries

sudo apt-get install libtinfo-dev libghc-zlib-dev libghc-zlib-bindings-dev

	import UIKit
	import PlaygroundSupport

	protocol Weakifiable: AnyObject { }

	extension NSObject: Weakifiable { }

	extension Weakifiable {
	func weakify(_ block: @escaping (Self) -> Void) -> () -> Void {
	{ [weak self] in self.map(block) }

	import 'package:flutter/material.dart';

	class AppScaffold extends StatefulWidget {
	final List<WidgetBuilder> pages;
	final List<BottomNavigationBarItem> navItems;

	const AppScaffold({
	Key key,
	@required this.pages,
	@required this.navItems,

	import org.jetbrains.kotlin.gradle.tasks.KotlinCompile

	plugins {
	kotlin("jvm") version "1.3.21"
	kotlin("kapt") version "1.3.21"
	}

	repositories {
	mavenCentral()
	}

	package oogaday.commons.enums

	enum class StatusCode(val code: Int) {
	Continue(100),
	SwitchingProtocols(101),
	Processing(102),

	OK(200),
	Created(201),
	Accepted(202),

	codecov:
	branch: master
	bot: null

	coverage:
	precision: 2
	round: down
	range: "70...100"

	status:

	import Foundation

	func format(bytes: Double) -> String {
	guard bytes > 0 else {
	return "0 bytes"
	}

	// Adapted from http://stackoverflow.com/a/18650828
	let suffixes = ["bytes", "KB", "MB", "GB", "TB", "PB", "EB", "ZB", "YB"]
	let k: Double = 1000