Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
A statically typed, functional Lisp, building upon Clojure
Java Clojure
branch: master
Failed to load latest commit information.
src more types
.gitignore add pom
.travis.yml add Travis config
README.md Update README.md
pom.xml misc edits

README.md

Kiss

Kiss is Immutable, Statically compiled and Symbiotic (with Clojure).

This is an EXPERIMENT in programming language design, combining several big ideas from different programming languages:

  • A smart static type system that makes it easy to write correct code without boilerplate
  • Lisp concepts of homoiconicity and macro-driven metaprogramming
  • Functional programming concepts of programming with pure functions and immutable values
  • The ability to run on the excellent JVM platform and take advantage of the huge library ecosystem this gives you
  • The (I believe novel?) concept of programming with a succession of immutable environments

Kiss is designed to be identical to Clojure except where necessary to incorporate the above ideas.

Kiss!

Objectives

  • Productivity like Clojure
  • Performance like Java
  • Type safety like Haskell

Examples

;; NOTE: This is Clojure code, being used to bootstrap Kiss....
(ns my.clojure.project
  (:use kiss.core))

(defn call-kiss-from-clojure []
  (kiss 
    (str "Hello from Kiss!")))

For more working code examples see the examples.clj namespace.

Solution

Kiss takes the following approach to language design:

  • Immutable environments - all Kiss code is compiled against a specific immutable environment, potentially creating a new immutable environment (with any definitions updated). Environments are first class and represent the complete state of the code base, making them highly amenable to static analysis.
  • Statically compiled - Kiss objects all have a static type, and the compiler will use these to generate decent bytecode. Types are first class and can be used both at compile time and runtime. Exact features of the type system are still to be determined, but at a minimum will take full advantage of all JVM types.
  • Symbiotic with Clojure - Kiss is bootstrapped on top of Clojure, and designed to be used within a Clojure environment. You can call Clojure functions / macros transparently, and Kiss functions will be IFn instances that are equally usable from Clojure. Kiss will just use the Clojure reader and syntax directly.

See the Wiki for more details

Something went wrong with that request. Please try again.