bobkonf, 15.03.2024, Berlin

[dawedawe]

Conference facts:

Name: bobkonf
Date:  15.03.2024
Location: Berlin
Topic:
-    functional programming
-    persistent data structures and databases
-    event-based modelling and architecture
-    "fancy types" (dependent types, gradual typing, linear types, ...)
-    formal methods for correctness and robustness
-    abstractions for concurrency and parallelism
-    metaprogramming
-    probabilistic programming
-    math and programming
-    controlled side effects
-    program synthesis
-    next-generation IDEs
-    effective abstractions for data analytics
-    … everything really that isn’t mainstream, but you think should be
-    … including rough ideas that are worth discussing.

Link: https://bobkonf.de/2024/en/
CFP date: 17.11.2023

Most likely, I'll be there. Not sure yet, if I can come up with something polished enough for the CFP.

[SchlenkR]

That sounds like a real avant garde thing. Great!

As an idea for a talk: I once had a "software factory" that was based on types evolving over time with a type-level diffing getting evidence about migrations, and if they are sufficient. But it guess it would require a lot of time to reboot that, unfortunately. But it was hands-on and embedded in a real-world app.

Another idea: Type Level Computation Expressions

Look at these F# lang suggestions:

• https://github.com/fsharp/fslang-suggestions/issues/450
• https://github.com/fsharp/fslang-suggestions/issues/212

But propably also too vague / immature.

Do you have concrete ideas for a talk, @dawedawe ? Havin these 2 together would IMHO open up a new universe to type level programming. I think of a "Type level CE", using quotations (already possible) and pass these to a type provider.

[dawedawe]