lagenorhynque

関数型言語テイスティング

Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ

#fp_matsuri

---

lagenorhynque

(ns money
  (:refer-clojure :exclude [+])
  (:require
   [clojure.spec.alpha :as s])
  (:import
   (java.util
    Currency)))

(s/def ::amount nat-int?)
(s/def ::currency #(instance? Currency %))

lagenorhynque

module MyPrelude where

import Prelude hiding (filter, foldl, foldr, map, reverse)

foldLeft :: (b -> a -> b) -> b -> [a] -> b
foldLeft _ acc [] = acc
foldLeft f acc (x:xs) = foldLeft f (f acc x) xs

reverse' :: [a] -> [a]
reverse' = foldLeft (flip (:)) []

lagenorhynque

純LISPから考える

関数型言語のプリミティブ

Clojure, Elixir, Haskell, Scala

#lispmeetup

---

lagenorhynque

From Scala/Clojure

to Kotlin

#serverside_kotlin_meetup

---

lagenorhynque

scala> enum ShippingCategory:
     |   case UsLocalState, UsRemoteState, International
     | 
// defined class ShippingCategory
                                                                                                                                                                                        
scala> object Address:
     |   class AddressInfo(val country: String, val state: String)
     | 
     |   def apply(country: String, state: String) = AddressInfo(country, state)
     | 

lagenorhynque

#!/usr/bin/env bash

# npm install -g reveal-md

reveal-md tdd-with-rdd.md --theme night --highlight-theme monokai-sublime -w $@

lagenorhynque

(ns clj-tdd-with-rdd.core
  (:require
   [clojure.spec.alpha :as s]
   [clojure.string :as str]))

(s/fdef fizzbuzz
  :args (s/cat :n pos-int?)
  :ret string?)

(defn fizzbuzz [n]

lagenorhynque

🐬の推し本紹介2024

『脱・日本語なまり 英語（＋α）実践音声学』

---

lagénorhynque🐬カマイルカ

• 法学部出身のITエンジニア

lagenorhynque

(ns do-notation
  (:require
   [clojure.math]))

;;; monad protocol

(defprotocol Monad
  (return [this x])
  (bind [this f m]))