Functional Copenhageners Meetup

We're a CPH community of functional programming enthusiasts, newbies, professionals and researchers. Our goal is to get more projects based on fun languages.

[Functional Copenhageners Meetup @FunCphMeetup]

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!
https://t.co/QGcFSQTO2a

[Functional Copenhageners Meetup @FunCphMeetup]

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!
https://t.co/QGcFSQTO2a

[Functional Copenhageners Meetup @FunCphMeetup]

Join us for this November talk at LogPoint!
Dependent types modulo phase distinction
by Joachim Tilsted Kristensen
PhD Research Fellow
https://t.co/1O3sSm3zEY

[Functional Copenhageners Meetup @FunCphMeetup]

Join us for this November talk at LogPoint!
Dependent types modulo phase distinction
by Joachim Tilsted Kristensen
PhD Research Fellow
https://t.co/1O3sSm3zEY

[Functional Copenhageners Meetup @FunCphMeetup]

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
https://t.co/pm8TDVlAXi

[Functional Copenhageners Meetup @FunCphMeetup]

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
https://t.co/pm8TDVlAXi

[Functional Copenhageners Meetup @FunCphMeetup]

@thebigjc 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)

[Functional Copenhageners Meetup @FunCphMeetup]

@BartoszMilewski Would he "make the harsh calls"? Probably not cos he is a good person (Stephen Fry).

[Functional Copenhageners Meetup @FunCphMeetup]

@kerckhove_ts @fresheyeball 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 🙂

[Erkal @AzizErkalSelman]

Kite is a graph editor entirely written in @elmlang.

https://t.co/IL3RzVw9GO

And it is open-source.

#combinatorics #grouptheory #graphtheory #mathematics #recreationalmathematics

[Evan Czaplicki @evancz]

Shout out to @luca_mug for creating a beautiful @elmlang eCommerce example!

Code: https://t.co/7DMBR8fjnD
Demo: https://t.co/Wykn6dSm8i

[Functional Copenhageners Meetup @FunCphMeetup]

@alfonsogcnunez @evancz @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.
🙂

[Functional Copenhageners Meetup @FunCphMeetup]

@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

[Functional Copenhageners Meetup @FunCphMeetup]

@alfonsogcnunez @evancz @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.
🙂

[Functional Copenhageners Meetup @FunCphMeetup]

@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

[Functional Copenhageners Meetup @FunCphMeetup]

@alfonsogcnunez @vscode @k_cieslak Btw, I just realized that ('at' vscode) is not really owned by M$ …

[Functional Copenhageners Meetup @FunCphMeetup]

Hey @alfonsogcnunez

Teaching seems to go really nice: https://t.co/0O8aife4sC

The only thing kidos are really annoyed about, is the @vscode signature/property name suggestions. It breaks indentation and code becomes really hard to read. Do you know how to disable? (@k_cieslak)

[Functional Copenhageners Meetup @FunCphMeetup]

@alfonsogcnunez @vscode @k_cieslak Thanks !!! We will try it out 🙂

[Functional Copenhageners Meetup @FunCphMeetup]

@alfonsogcnunez @vscode @k_cieslak 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

[Functional Copenhageners Meetup @FunCphMeetup]

@isaac_abraham I guess that statement is right. I mean, isn't Java synonymous with `corpo enterprise software`? Jaiks

[Functional Copenhageners Meetup @FunCphMeetup]

@isaac_abraham @terrajobst Unless you use @nixos_org 🥲

Luckily someone showed me the way (for installing a specific version):

- https://t.co/clz7mQSSA9