scala.md

Scala links

• Scala

  • The Neophyte's Guide to Scala
  • Scala Tour
    • Scala Tour: Functor
    • Scala Tour: Applicative Functor
  • Applicative ramblings in Scala
  • Introduction to Category Theory in Scala
    • Physics, Topology, Logic and Computation: A Rosetta Stone
    • Applicatives are generalized functors
  • Functors and things using Scala
  • Number crunching in Scala
    • Number Crunching in Scala - Chris Stucchio
    • non/spire : Powerful new number types and numeric abstractions for Scala
      • Demystifying Spire
      • An Intro to Generic Numeric Programming with Spire
  • Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  • «Перегрузка операторов» в Scala
  • Scala. Всем выйти из сумрака! (i.e. scala implicits)
  • Cake pattern in depth
  • ScalaZ3 for Scala 2.10 : an example of using JNI
    • Scala to the Power of Z3 Integrating SMT and Programming
    • Copris: Constraint Programming in Scala
      • Choco is a Free and Open-Source Software dedicated to Constraint Programming
        • An open-source Java library for Constraint Programming http://choco-solver.org/
    • Sugar: a SAT-based Constraint Solver
  • A Simple Java Native Interface (JNI) example in Java and Scala
    • Passing pointers between C and Java through JNI
    • jni.h: no such file or directory
    • NewStringUTF has changed its prototype
  • Scala Design Patterns
    • Scala Design Patterns
    • Some patterns used in Scala development
    • yet another scala design patterns

• sbt-robovm: a plugin for the Scala build tool that aims to make it as simple as possible to compile Scala (and Java) code to binaries for iOS, linux, and OSX using RoboVM

  • robovm

• Scala to native code

  • Scala Native
  • Scala language moves closer to bare metal
  • Scala Native github
    • Scala Native Example
  • Kotlin Native - point of view about JVM vs. native code
  • Грааль и Трюфель (Graal & Truffle)

• Depedent Types, Scala and Idris

  • От зависимых типов к гомотопической теории типов на Scala + Shapeless + ProvingGround

    • ThCS. Introduction to programming with dependent types in Scala

  • Idris

    • Idris 1.0 Released
    • What do Haskell programmers think of Idris?
    • Idris, a language that will change the way you think about programming (2015)
    • Book: Type-Driven Development with Idris
      • Working through Type-Driven Development with Idris
      • Exercises form Type-Driven Programming in Idris
    • Type-Driven Development in Idris — Edwin Brady