We're a CPH community of functional programming enthusiasts, newbies, professionals and researchers. Our goal is to get more projects based on fun languages.
Copenhagen, Denmark (EUrope)
Joined February 2021
- Tweets579
- Following138
- Followers78
- Likes384
Functional Copenhageners Meetup retweeted
Join us when we return to Prosa!
After a cool series of talks at several companies and University of Copenhagen, we'll resume our monthly meetups at Prosa from this Tuesday (Februrary 28th) and forward.
Hope to see you there!
meetup.com/moedegruppefunkti…
Join us when we return to Prosa!
After a cool series of talks at several companies and University of Copenhagen, we'll resume our monthly meetups at Prosa from this Tuesday (Februrary 28th) and forward.
Hope to see you there!
meetup.com/moedegruppefunkti…
Functional Copenhageners Meetup retweeted
Join us for this November talk at LogPoint!
Dependent types modulo phase distinction
by Joachim Tilsted Kristensen
PhD Research Fellow
meetup.com/moedegruppefunkti…
Join us for this November talk at LogPoint!
Dependent types modulo phase distinction
by Joachim Tilsted Kristensen
PhD Research Fellow
meetup.com/moedegruppefunkti…
Functional Copenhageners Meetup retweeted
Join us for this dual talk @famlyhq!
Talk 1: Functional Domain Modelling
By Anders Marchsteiner, Staff Engineer
Talk 2: Automatic SQL query building with type classes
By Christian Harrington, Engineering Director
#Scala #functionalprogramming
meetup.com/moedegruppefunkti…
Join us for this dual talk @famlyhq!
Talk 1: Functional Domain Modelling
By Anders Marchsteiner, Staff Engineer
Talk 2: Automatic SQL query building with type classes
By Christian Harrington, Engineering Director
#Scala #functionalprogramming
meetup.com/moedegruppefunkti…
You need to make another one with `crossed-cables` to when you buy a new laptop and you need to transfer "old-data" very fast 👍 (just connect old-laptop to new one with that cable)
Can't you make `product types` with `sum types` (single case constructors)?
So if you language support (algebraic) sum-types, then you also have product types 🙂
Functional Copenhageners Meetup retweeted
Kite is a graph editor entirely written in @elmlang.
erkal.github.io/kite
And it is open-source.
#combinatorics #grouptheory #graphtheory #mathematics #recreationalmathematics
Functional Copenhageners Meetup retweeted
Shout out to @luca_mug for creating a beautiful @elmlang eCommerce example!
Code: github.com/lucamug/elm-ecomm…
Demo: elm-ecommerce.guupa.com/
Functional Copenhageners Meetup retweeted
Setup:
- 1st kid was the model (not much to do tbh)
- 2nd kid was the view. Looked at the model and draw the value in the notepad
- 3rd kid was interacting by pressing the post-it button.
- 4th kid (update function) got event message from view, and updated the model.
🙂
Functional Copenhageners Meetup retweeted
@alfonsogcnunez and @evancz. Kidos struggled to explain how the web apps really worked. Then a few minutes with IRL:
- Model: 3D white numbers
- Messages: 3D blue symbols
- View: Notepad with Post-it buttons
and it was all crystal clear :)
@elmlang @FableCompiler @codingpiratesdk
Setup:
- 1st kid was the model (not much to do tbh)
- 2nd kid was the view. Looked at the model and draw the value in the notepad
- 3rd kid was interacting by pressing the post-it button.
- 4th kid (update function) got event message from view, and updated the model.
🙂
@alfonsogcnunez and @evancz. Kidos struggled to explain how the web apps really worked. Then a few minutes with IRL:
- Model: 3D white numbers
- Messages: 3D blue symbols
- View: Notepad with Post-it buttons
and it was all crystal clear :)
@elmlang @FableCompiler @codingpiratesdk
I guess it's that. We tried to disable `CodeLens` and `LineLens`, but that didn't help 🫤Do you know if there is a way to disable those hints? /CC @k_cieslak
I guess that statement is right. I mean, isn't Java synonymous with `corpo enterprise software`? Jaiks
Unless you use @nixos_org 🥲
Luckily someone showed me the way (for installing a specific version):
- gitlab.com/codingpirates/web…
