gallais

(*
   We don't really care about the data constructors here
   but they are needed, cf:
   https://sympa.inria.fr/sympa/arc/caml-list/2013-10/msg00190.html
 *)
type zero    = Zero
type 'a succ = Succ

(*
   []   has length 0

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

mandubian

Here is a fast explanation on this study for Freek to improve compile-time:

https://github.com/ProjectSeptemberInc/freek/blob/optim/cop/src/main/scala/CoproductK.scala#L14-L34

In Freek, Higher-Kinded Coproduct was based on Shapeless HList/Coproduct representation like:

sealed trait CoproductK[A] extends Product with Serializable

sealed trait CNilK[A] extends CoproductK[A]

milessabin

sealed trait Dec[+T]
final case class Yes[T](t: T) extends Dec[T]
final case object No extends Dec[Nothing]

object Dec extends Dec0 {
  implicit def yes[T](implicit t: T): Dec[T] = Yes(t)
}

trait Dec0 {
  implicit def no[T]: Dec[T] = No

bishboria

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

lihaoyi

haoyi-mbp:Ammonite haoyi$ ~/amm
Loading...
Welcome to the Ammonite Repl 0.5.2
(Scala 2.11.7 Java 1.8.0_25)
haoyi-Ammonite@ load.ivy("org.scalaj" %% "scalaj-http" % "2.2.0")

haoyi-Ammonite@ import ammonite.ops._, scalaj.http._
import ammonite.ops._, scalaj.http._
haoyi-Ammonite@ Http("https://api.github.com/repos/scala/scala").asString
res2: HttpResponse[String] = HttpResponse(

dwijnand

+-----------------------------------------------------------------------------------------------------+
|  name   |  bits  | bytes  |  min  | actual min value           |  max   | actual max value          |
|---------+--------+--------+-------+----------------------------+--------+---------------------------|
| boolean |  1-bit |   --   | false |                            | true   |                           |
| byte    |  8-bit | 1-byte | -2^7  | -128                       | 2^7-1  | 127                       |
| short   | 16-bit | 2-byte | -2^15 | -32'768                    | 2^15-1 | 32'767                    |
| char    | 16-bit | 2-byte | 0     | '\u0000'                   | 2^16-1 | '\uffff'  (65535)         |
| int     | 32-bit | 4-byte | -2^31 | -2'147'483'648             | 2^31-1 | 2'147'483'647             |
| long    | 64-bit | 8-byte | -2^63 | -9'223'372'036'854'775'808 | 2^63-1 | 9'223'372'036'854'775'807 |
| float   | 32-bit | 4-byte | +/- -3.4028235 * 10^38             | +/- 3.4028235 * 10^38

chambart

type zero = unit
type 'a succ = unit -> 'a
type one = zero succ

type 'a plus_1 = 'a succ
type 'a plus_2 = 'a plus_1 plus_1
type 'a plus_4 = 'a plus_2 plus_2
type 'a plus_8 = 'a plus_4 plus_4

paulp

#!/usr/bin/env bash
#

for file in "$@"; do
  attr="$(xattr -p com.apple.metadata:kMDItemWhereFroms "$file" 2>/dev/null)"

  url () {
    echo "$attr" | xxd -r -p | plutil -convert xml1 -o - - | \
      ack --output='$1' '(?:<string>)(.+?)</string>' | head -n1
  }

chandu0101

object CssPager {

   type CLICKEVENT = Int => Unit

   object Style extends StyleSheet.Inline {
    import dsl._
     val pager = style(margin(20.px),
       unsafeChild(".previous")(float.left),
       unsafeChild(".next")(float.right)
     )