Skip to content

Instantly share code, notes, and snippets.

View idugalic's full-sized avatar

Ivan Dugalic idugalic

View GitHub Profile
@idugalic
idugalic / Main.kt
Last active October 11, 2025 15:45
Information Systems
package com.fraktalio
// ###########################################################################
// ########### Information Systems encoded in Kotlin's type system ###########
// #### (encoding information systems as composable algebraic structures) ####
// ###########################################################################
/**
* Represents a **traditional (state-stored) information system**.
*
@idugalic
idugalic / DeciderApplicationExtensions.kt
Created February 18, 2022 22:59
Kotlin’s context receivers - context-dependent declarations in Kotlin
package com.fraktalio.application.demo
import com.fraktalio.fmodel.application.EventRepository
import com.fraktalio.fmodel.application.StateRepository
import com.fraktalio.fmodel.domain.Decider
import kotlinx.coroutines.flow.Flow
import kotlinx.coroutines.flow.emitAll
import kotlinx.coroutines.flow.flow
import kotlinx.coroutines.flow.fold
defaults: &defaults
working_directory: /home/circleci/kotlin-spring-boot-reactjs-poc
docker:
- image: circleci/openjdk:8-jdk-browsers
version: 2
jobs:
build:
<<: *defaults
steps: