| use std::rc::Rc; | |
| trait HKT<U> { | |
| type C; // Current type | |
| type T; // Type with C swapped with U | |
| } | |
| macro_rules! derive_hkt { | |
| ($t:ident) => { | |
| impl<T, U> HKT<U> for $t<T> { |
#Intro
Kotlin is a new programming language for the JVM. It produces Java bytecode, supports Android and generates JavaScript. The latest version of the language is Kotlin M5.3
Kotlin project website is at kotlin.jetbrains.org.
All the codes here can be copied and run on Kotlin online editor.
Let's get started.
| namespace WebSocket | |
| // Appache 2.0 license | |
| // References: | |
| // [1] Proposed WebSockets Spec December 2011 http://tools.ietf.org/html/rfc6455 | |
| // [2] John McCutchan (Google Dart Team Member) http://www.altdevblogaday.com/2012/01/23/writing-your-own-websocket-server/ | |
| // [3] A pretty good Python implemenation by mrrrgn https://github.com/mrrrgn/websocket-data-frame-encoder-decoder/blob/master/frame.py | |
| // [4] WebSockets Organising body http://www.websocket.org/echo.html | |
| // [5] AndrewNewcomb's Gist (starting point) https://gist.github.com/AndrewNewcomb/711664 |