choplin

■ 現状の問題点
1. 応能負担を逸脱した社会保険料の構造
 - 所得のみで負担率を決め、家族構成や資産、生活コストをほとんど考慮しないため、子育て・介護を抱える世帯や不安定雇用層に過剰な負担がのしかかる。
 - 社会保険料が“第2の所得税”と化して家計を圧迫し、少子化や消費低迷をさらに加速させる懸念が大きい。
2. 厚生年金から国民年金への財源転用
 - 本来独立して運用されるべき厚生年金の財源を、国民年金の不足分にまわさなければ維持できない状況は、すでに年金制度が破綻寸前である証左。
 - 転用によって厚生年金被保険者の負担が事実上増し、不透明な財源管理が生じるため、公平性と信頼性が大きく損なわれる。
3. 上限引き上げによる現役世代への負担増
 - 合計約20％という高水準の厚生年金保険料率が、さらに上限を引き上げる形で事実上の負担増に直結。
 - 「これ以上引き上げない」としてきた従来方針との矛盾があり、企業経営や個人の可処分所得を圧迫するなど、経済活動全般への悪影響が避けられない。

choplin

import cats._

object Moneys:
  opaque type Money = Double

  object Money:
    def apply(d: Double): Money = d

  given Monoid[Money] = {
    import cats.implicits._

choplin

EMAIL={your email address}
PASSWORD={your password}

choplin

import SwiftUI
import HealthKit

struct ContentView: View {
    @State var labelText = "Get Data"
    @State var flag = false

    let healthStore = HKHealthStore()
    let allTypes = Set([
        HKSeriesType.heartbeat(),

choplin

{}

choplin

case class User(id: Int, name: String, item: Seq[Item])

case class Item(id: Int, name: String)

trait UserRepository[F[_]] {
  def find(id: Int): OptionT[F, User]
  def store(user: User): F[Unit]
}

trait ItemRepository[F[_]] {

choplin

import wvlet.airframe._
import wvlet.airspec._

case class Foo[A](a: A)

trait ParametricService[A] {
  private val alg = bind[Foo[A]]
}

trait ConcreteService {

choplin

import wvlet.airframe._
import wvlet.airspec._

case class Wrap[A](a: A)

trait Algebra[M[_]] {
  def f: M[Int]
}

trait Service[A[_]] {

choplin

~/tmp
❯ git clone https://github.com/choplin/airframe-sealed-error-example
Cloning into 'airframe-sealed-error-example'...
remote: Enumerating objects: 12, done.
remote: Counting objects: 100% (12/12), done.
remote: Compressing objects: 100% (6/6), done.
remote: Total 12 (delta 0), reused 12 (delta 0), pack-reused 0
Unpacking objects: 100% (12/12), 1015 bytes | 84.00 KiB/s, done.

~/tmp

choplin

package example

import wvlet.airframe._

sealed trait Adt
object Adt {
  object Foo extends Adt
  object Bar extends Adt
}