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/moedegruppefun…
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/moedegruppefun…
0
3
1
@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
- Model: 3D white numbers
- Messages: 3D blue symbols
- View: Notepad with Post-it buttons
and it was all crystal clear :)
@elmlang @FableCompiler @codingpiratesdk
1
6
16
@alfonsogcnunez since I made it in Danish, two of the kidos only speak English. They just run that @gitlab site through Google Translate. Hackers gonna hack 😅
0
0
0
2015: Me at @GroupMWorldwide giving a demo
2019: Robert speaking about @ApacheFlink at the @GOTOcon in Amsterdam
🤔
2019: Robert speaking about @ApacheFlink at the @GOTOcon in Amsterdam
🤔
0
0
1
Time for the meme?
I mean, I wouldn't expect software engineers to be proving correctness of code, in for example Coq, as I don't expect computer scientist to be writing JavaScript (*)
(*) - Is not that they aren't able to do so, but I would expect them to use "better tooling".
I mean, I wouldn't expect software engineers to be proving correctness of code, in for example Coq, as I don't expect computer scientist to be writing JavaScript (*)
(*) - Is not that they aren't able to do so, but I would expect them to use "better tooling".
0
0
1
DSL (#fsharp) to @ApacheAvro IDL:
✅ - Validation
✅ - Generation (*)
Next step? DSL (AST) to idiomatic @dotnet (C#)
(*) - RPC will not be implemented:
- avro.apache.org/docs/current/i…
Reason? Because the IDL should contain your data specifications (domain) and not your logic.
✅ - Validation
✅ - Generation (*)
Next step? DSL (AST) to idiomatic @dotnet (C#)
(*) - RPC will not be implemented:
- avro.apache.org/docs/current/i…
Reason? Because the IDL should contain your data specifications (domain) and not your logic.
0
2
5
Hej @postnorddk
Har siddet hjemme hele dagen og ventet på pakken. Kigger lige ud af vinduet og kan se at en af jeres chauffører er gået i en anden opgang i min boligforening. I go' tror venter jeg "lige" til at også kommer op i min, men næh nej, han har sgu for travlt …
Har siddet hjemme hele dagen og ventet på pakken. Kigger lige ud af vinduet og kan se at en af jeres chauffører er gået i en anden opgang i min boligforening. I go' tror venter jeg "lige" til at også kommer op i min, men næh nej, han har sgu for travlt …
1
0
0
Ofc it had to be somebody from CPH.
On a serious note. How can you create an event without providing a location (as in empty)? Shouldn't that be considered invalid data? It looks like your project needs a bit of MISU 🙂
On a serious note. How can you create an event without providing a location (as in empty)? Shouldn't that be considered invalid data? It looks like your project needs a bit of MISU 🙂
0
0
1
Spot on !!!
@elmlang, or in general, purely functional programming, makes it easy to write puzzle games and puzzle solvers. Here is a talk about it using an example from Martin Gardner's book: youtu.be/AswmCDETyAo
#martingardner #recreationalmathematic #puzzlegames #gamedev #mathematics
0
0
1
Optimize the search functionality? Looking for events in CPH. Got one and then three in the States.
1
0
0
Perhaps this code is more clear? What we want to achieve is that "only" the `authenticate` function can instantiate our type (MISU as in x.com/yminsky/status…). But making union constructors private, you can't use them for pattern matching and here is when AP becomes handy 🙂
I did coin the term "make illegal states unrepresentable", but the idea is of course much older. The phrase "Minsky compliant" surely gives me too much credit, but at least it sounds more positive than the concept of the "Minsky moment".
2
1
1
`elm-format`, you have been missed:
- paste.tomsmeding.com/6DvFjAy6
The files:
- paste.tomsmeding.com/6DvFjAy6
👍
- paste.tomsmeding.com/6DvFjAy6
The files:
- paste.tomsmeding.com/6DvFjAy6
👍
0
1
0
Follow-up from last time (styling):
- Get the cookie, with a transparent background, and replace `button` with `src "img/cookie.png"`.
- Root `div` add `style "height" "100vh"` and `style "background-color" "#2B6B8F"`.
and done 😅
- Get the cookie, with a transparent background, and replace `button` with `src "img/cookie.png"`.
- Root `div` add `style "height" "100vh"` and `style "background-color" "#2B6B8F"`.
and done 😅
Kido at @CodingPiratesDK today, made the engine for a cookie clicker (@Orteil42) clone in @elmlang in a single session (2 hours).
0
1
0
def disappointment: developing a @aspnet @dotnet on a @Windows box and expecting it to run seemingly in a @linuxfoundation container 🥲
youtube.com/watch?v=sEA0-9…
youtube.com/watch?v=sEA0-9…
0
0
0
Are you up for a challenge?
Can you provide the implementation for the `logic` function? See snippet in attached screenshot.
It seems a bit `unintuitive`, but once you see the solution, it gives sense 🙂
Source of the brainteaser: sparetimeteaching.dk/challenges/ch1…
Can you provide the implementation for the `logic` function? See snippet in attached screenshot.
It seems a bit `unintuitive`, but once you see the solution, it gives sense 🙂
Source of the brainteaser: sparetimeteaching.dk/challenges/ch1…
1
1
0
This years run from @realmadrid in the @ChampionsLeague can only be compared to Ali fight in The Rumble in the Jungle. They said (they) were old, finished, and would def loose to the (stronger) opponents. The champs showed their true colors by using their weakness as strength 👊
2
0
0
Furthermore, that means that you need to create a custom type for the @JamesNK Newtonsoft.Json lib. Doing some `traverse` (I don't know if this is the best way, but it works).
1/5
1/5
1
0
0
For the @odataorg type, I have created a (wrapping) type with 3-states. It's important to understand that when you send `null`, that means remove the property value.
1
0
0
How do you handle @odataorg constraints? They can't be tricky … For my #dataverse utils, I have relied on the #fsharp quotation expressions to ensure that my computation expression "only" allows me to write "correct" (statically typed) code. See below, it's enforced on IDE's
3
1
3
@RichardDees has visto lo rastreros que son los del @diarioas @sport?
Intentan hacer ver que @GarethBale11 solo jugo 91 partidos marcando 30 goles, cuando en realidad ha jugado 256 y marcado 106 goles.
Intentan hacer ver que @GarethBale11 solo jugo 91 partidos marcando 30 goles, cuando en realidad ha jugado 256 y marcado 106 goles.
0
0
0
FsAutoComplete v0.54.0 having some @IonideProject issues with @dotnet 6.0 LTS on @nixos_org
Anybody else experiencing this?
Anybody else experiencing this?
0
0
0
So this seem to work:
- Set `DOTNET_HOST_PATH`
- Update `global.json` so it matches installed SDK
- For `FsAutoComplete` remove redundant pattern match case.
- Set `DOTNET_HOST_PATH`
- Update `global.json` so it matches installed SDK
- For `FsAutoComplete` remove redundant pattern match case.
0
0
0
Anybody else having issues with @fsharpMake and @dotnet 6.0 (LTS) on a @nixos_org box?
It worked with both 3.1 (LTS) and 5.0 🤔
It worked with both 3.1 (LTS) and 5.0 🤔
1
0
0
It's funny how everybody thought you were a Teenage Mutant Ninja Turtle.
We didn't realize you were actually their master Splinter 🐀
#NotATurtleButARat
We didn't realize you were actually their master Splinter 🐀
#NotATurtleButARat
1
0
1
I haven't been using @purescript for a while. I updated to 0.15 and it seems that `purs bundle` is not deprecated.
It seems that the "preferred" build tool is `esbuild`. Does anybody have an example on how to make it work as this sample doesn't:
- github.com/purescript/doc…
It seems that the "preferred" build tool is `esbuild`. Does anybody have an example on how to make it work as this sample doesn't:
- github.com/purescript/doc…
1
1
0
You get "sweaty" when "the tool" doesn't work as expected 😅
youtu.be/XXx9nDc9L5k?t=… (02:02)
(going from a dark theme to a light a few minutes before giving the talk)
youtu.be/XXx9nDc9L5k?t=… (02:02)
(going from a dark theme to a light a few minutes before giving the talk)
0
0
0
@netflix what kind of geniuses do you have on the payroll? You think that I might like a movie, that I already watched on your platform and rated it positively? Hmmmm, that some next level stuff 🤔
1
0
0
Guide to #freelancing in @dotnet:
1) Solve the problem very fast with #fsharp (from hours to less than a day).
2) Then spend the rest of the sprint re-writing it in #csharp
1) Solve the problem very fast with #fsharp (from hours to less than a day).
2) Then spend the rest of the sprint re-writing it in #csharp
0
0
0
The order really doesn't matter when you use the right tools 😅
Here is an efficient char-stream parser-combinator implemented in #fsharp, heavily inspired by #haskell
blog.stermon.com/articles/2022/…
Here is an efficient char-stream parser-combinator implemented in #fsharp, heavily inspired by #haskell
blog.stermon.com/articles/2022/…
1
2
5
@Apple when can we access the M1 silicon chips (fully with GPU) from a *nix distro?
youtube.com/watch?v=yG1m7o…
youtube.com/watch?v=yG1m7o…
0
0
0
In @VisitCopenhagen we have a lot of powerful humans then 😅
0
1
0
Hi @FIFAcom
Could you please consider, in order to make #football more attractive to watch (as in more goals), to add @WorldRugby bonus point system?
(thread 1/2)
Could you please consider, in order to make #football more attractive to watch (as in more goals), to add @WorldRugby bonus point system?
(thread 1/2)
1
0
0
I guess it was when MS released "Visual C# Express 2005", which was "just before" I went to uni:
blog.stermon.com/articles/2006/…
blog.stermon.com/articles/2006/…
0
0
0
Tengo otra charla en ingles, pero no es tan larga y tampoco entro mucho en detalle:
- youtube.com/watch?v=T_3JeI…
Pero por lo menos no hay ruido de fondo 🙂
- youtube.com/watch?v=T_3JeI…
Pero por lo menos no hay ruido de fondo 🙂
0
1
0
Pues no estaría mal. Así nos ahorrarían "bastante tiempo" haciendo "nuestras" herramientas ;)
- gitlab.com/spisemisu/pcx-…
Charla sobre la herramienta:
- youtube.com/watch?v=PcA9o8…
- gitlab.com/spisemisu/pcx-…
Charla sobre la herramienta:
- youtube.com/watch?v=PcA9o8…
2
1
0
Hey @jaspervdj, why is imports alignment no longer complying with what is specified in `~/.stylish-haskell.yaml`?
```
stylish-haskell --version
stylish-haskell 0.12.2.0
stylish-haskell -v Table.hs
/home/…/.stylish-haskell.yaml exists
Loading configuration at …
```
```
stylish-haskell --version
stylish-haskell 0.12.2.0
stylish-haskell -v Table.hs
/home/…/.stylish-haskell.yaml exists
Loading configuration at …
```
1
0
1
This is my «Poor Man's Black Velvet», I mean, my implementation of a «Poor man's Kafka (stream-processing bus)» (from scratch) for @sergey_tihon F# Advent Calendar in English 2021 #fsharp #FsAdvent blog.stermon.com/articles/2021/…
0
4
2
Our very own @d_christiansen, demonstrating a prototyping approach that we've used for our contract language:
#deondigital #technology
0
2
1
A las 19:30 te esperamos en #WorldParty2k21 en la Mesa redonda de Programación: Programar se basa en la ciencia dura; un arte desarrollarla por Jose Luis Esteban Aparicio , Reynaldo Cordero , Ramón Soto Mathiensen , Damon , Nuke y Gonzalo Nandez
En twitch.tv/hackmadrid27 o YT
0
1
1
Mi charla virtual, para la World.Party2021 de @hackmadrid, ya esta lista.
Esta vez será solamente con código (escrito en tiempo-real) y nada de diapositivas.
Esta vez será solamente con código (escrito en tiempo-real) y nada de diapositivas.
1
6
10
We are delighted to have @d_christiansen give the second "onsite" (post-COVID) talk on the topic of: "Prototyping DSLs with PLT Redex" by using @racketlang (based on the Scheme dialect of Lisp):
- meetup.com/MoedegruppeFun…
As usual "kom glad" !!!
- meetup.com/MoedegruppeFun…
As usual "kom glad" !!!
1
9
23
The two last slides of my «Intro to Haskell» slide-deck. Mathematicians have «discovered» the ≫ operator for cases like this :)
0
0
1
Mads Buch talk on "Proving Stuff in Haskell" is online on the MF#K YouTube channel:
- youtube.com/watch?v=wN61pN…
Tomorrow @DemTechDK will be hosting Benjamin Pierce (the red TAPL book) on the topic of "The Science of Deep Specification, Past and Future":
- cs-lectures.itu.dk
- youtube.com/watch?v=wN61pN…
Tomorrow @DemTechDK will be hosting Benjamin Pierce (the red TAPL book) on the topic of "The Science of Deep Specification, Past and Future":
- cs-lectures.itu.dk
1
0
0
For our next MF#K Meetup, we will have Mads Buch, giving the following talk «Proving Stuff in Haskell»:
- meetup.com/MoedegruppeFun…
As usual, "kom glad".
#haskell
- meetup.com/MoedegruppeFun…
As usual, "kom glad".
#haskell
0
0
1
@_cartermp well there be a time when there will be out-of-the-box support on a win-10-box for `.\foobar.fsx` just like we have it for `foo.bat` and `bar.cmd`? As a avid user of #fsharp scripts on *nix boxes (Linux/Mac) I find it kind of `meh` that Windows just don't have it :(
1
0
0
We are trying again. We are delighted, in combination with @cphdotnet and @azugdk, to have @isaac_abraham giving the talk: "Repeatable Deployments with Farmer". Please sign-up at any of the Meetup events:
meetup.com/MoedegruppeFun…
meetup.com/Azure-Usergrou…
meetup.com/Copenhagen-Net…
0
0
3
We are trying again. We are delighted, in combination with @cphdotnet and @azugdk, to have @isaac_abraham giving the talk: "Repeatable Deployments with Farmer". Please sign-up at any of the Meetup events:
meetup.com/MoedegruppeFun…
meetup.com/Azure-Usergrou…
meetup.com/Copenhagen-Net…
meetup.com/MoedegruppeFun…
meetup.com/Azure-Usergrou…
meetup.com/Copenhagen-Net…
0
3
5
Direct link to the talk:
- youtube.com/watch?v=2kOETA…
- youtube.com/watch?v=2kOETA…
0
0
0
