PhBastiani

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.

i-am-tom

const Day = ({ get, left, right }) => {
  const map = f => Day ({
    get: f (extract()),

    left, right
  })

  const extend = f =>
    Day ({
      get: (left, right) => f (Day ({ get, left, right })),

jmfayard

package kategory

import io.kotlintest.matchers.*
import io.kotlintest.specs.FreeSpec
import kategory.Problem.*
import kotlin.reflect.KClass


/*** Kategory.io documentation as runnable code ***/
class DataTypeExamples : FreeSpec() { init {

pakoito

LONDON
===
South Bank
  Millenium Bridge
  Blackfriars Bridge
  Tower Bridge
Tower of London
Trafalgar Square
Rascacielos de Bank y Shoredich
Soho

lawloretienne

Table Of Contents

• Data Structures
  • Linked Lists
  • Trees
    • Binary Trees
    • Binary Search Tree
    • Red-Black Tree
    • AVL Tree
• Tries

jdegoes

Applied Functional Programming with Scala - Notes

Copyright © 2016-2018 Fantasyland Institute of Learning. All rights reserved.

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

lopspower

Android Tools Attributes

Android has a dedicated XML namespace intended for tools to be able to record information in XML files, and have that information stripped when the application is packaged such that there is no runtime or download size penalty. The namespace URI is http://schemas.android.com/tools and is usually bound to the tools: prefix:

<FrameLayout xmlns:android="http://schemas.android.com/apk/res/android"
    xmlns:tools="http://schemas.android.com/tools"
 android:layout_width="match_parent"

kaushikgopal

• In general you want to try and put things in onStart and onStop for logical start and stops.

Activity

onCreate

• Dagger inject self into graph
• setContentView(R.layout.xxx)
• Butterknife.bind(this)
• RxJava CompositeSubscription.add (if NON UI related work being done)
• realm = Realm.getDefaultInstance();

jgilfelt

/*
 * Copyright (C) 2016 Jeff Gilfelt.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software

JakeWharton

import java.util.Arrays;

class NonCapturing {
  public static void main(String... args) {
    run(new Runnable() {
      @Override public void run() {
        System.out.println("Hey!");
      }
    });
  }