Due to the success of the last meetups, we are making the Vienna Haskell Meetup a regular occurrence, happening once every couple months.
We are hosting the next Haskell meetup in Vienna on the 30th of January! The location is at TU Vienna Treitlstraße 3, Seminarraum DE0110. The room will open at 18:00.
There will be time to discuss the presentations over some snacks and non-alcoholic drinks which are provided free of charge afterwards with an option to acquire beer for a reasonable price.
The meetup is open-ended, but we might have to relocate to a nearby bar as a group if it goes very late…
There is no entrance fee or mandatory registration, but to help with planning we ask you to let us know in advance if you plan to attend here https://forms.gle/ifPzoufJ9Wp9z5P59 or per email at haskellvienna.meetup@gmail.com.
We especially encourage you to reach out if you would like to participate in the show&tell or to give a full talk so that we can ensure there is enough time for you to present your topic.
At last, we would like to thank Well-Typed LLP for sponsoring the last meetup!
We hope to welcome everyone soon, your organizers:
Andreas(Andreas PK), Ben, Chris, fendor, VeryMilkyJoe, Samuel
Note: We are going to re-use this thread for announcing the Vienna Haskell Meetup in the future, so you can subscribe to this thread to stay up-to-date!
Friendly reminder, Vienna Haskell Meetup is happening in two days, this Thursday.
Currently, we plan to have a talk about space leaks and what tools we have available to identify them.
In particular, we’re going to touch on the topics of profiling, laziness and ghc-debug.
If you are interested in holding a 5-10 minute lightning talk or doing a short Show & Tell there is still time to reach out to us. The planned location has not changed, if you get there, simply head up two flights of stairs, and you will find us.
We are hosting the next Haskell meetup in Vienna on the 27th of March! The location is at TU Vienna Favoritenstraße 9/11, Seminarraum FAV01A (first floor). The room will be open starting 18:00. The location might still change, as the reservation is not confirmed as of now, but it will most likely work out. We will post updates if there are any changes.
There will be time to discuss the presentations over some snacks and non-alcoholic drinks which are provided free of charge afterwards, with an option to acquire beer for a reasonable price.
The meetup is open-ended, but we might have to relocate to a nearby bar as a group if it goes very late…
There is no entrance fee or mandatory registration, but to help with planning we ask you to let us know in advance if you plan to attend here https://forms.gle/uvWJYQg1qkHBJCxa7 or per email at haskellvienna.meetup@gmail.com.
This time, we have a talk by Andres Löh lined up, the topic is still undecided but it will definitely be interesting!
We especially encourage you to reach out if you would like to participate in the show&tell so that we can ensure there is enough time for you to present your topic.
At last, we would like to thank Well-Typed LLP for sponsoring the last meetup!
We hope to welcome everyone soon, your organizers:
Andreas(Andreas PK), Ben, Chris, fendor, VeryMilkyJoe, Samuel
Note: We are going to re-use this thread for announcing the Vienna Haskell Meetup in the future, so you can subscribe to this thread to stay up-to-date!
Friendly reminder, Vienna Haskell Meetup is happening in two days, i.e. this Thursday .
Andres Löh is going to talk about type systems applied in practice.
If you are interested in holding a 5-10 minute lightning talk or doing a short Show & Tell there is still time to reach out to us.
The planned location has not changed, Favoritenstraße 9-11. After entering through the main entrance, take the stairs immediately to the right up to the first floor and we are in Seminarraum FAV 01 A.
We are hosting the next Haskell meetup in Vienna on the 22nd of May 2025! The location is at TU Vienna Treitlstraße 3, Seminarraum DE0110. The room will open at 18:00.
There will be time to discuss the presentations over some snacks and non-alcoholic drinks which are provided free of charge afterwards with an option to acquire beer for a reasonable price.
The meetup is open-ended, but we might have to relocate to a nearby bar as a group if it goes very late…
There is no entrance fee or mandatory registration, but to help with planning we ask you to let us know in advance if you plan to attend here https://forms.gle/gXjPTNbZqM4BWEWg8 or per email at haskellvienna.meetup@gmail.com.
We especially encourage you to reach out if you would like to participate in the show&tell or to give a full talk so that we can ensure there is enough time for you to present your topic.
At last, we would like to thank Well-Typed LLP for sponsoring the last meetup!
We hope to welcome everyone soon, your organizers:
Andreas(Andreas PK), Ben, Chris, fendor, VeryMilkyJoe, Samuel
Friendly reminder, Vienna Haskell Meetup is happening today! In a little bit more than three hours .
If you are interested in holding a 5-10 minute lightning talk or doing a short Show & Tell there is still time to reach out to us.
The planned location has not changed, Treitlstraße 3, Seminarraum DE0110, the room will open at 18:00.
We are hosting the next Haskell meetup in Vienna on the 6th of November! The location is at TU Vienna Treitlstraße 3, Seminarraum DE0110. The room will open at 18:00.
There will be time to discuss the presentations over some snacks and non-alcoholic drinks which are provided free of charge afterwards with an option to acquire beer for a reasonable price.
The meetup is open-ended, but we might have to relocate to a nearby bar as a group if it goes very late…
There is no entrance fee or mandatory registration, but to help with planning we ask you to let us know in advance if you plan to attend here https://forms.gle/ifPzoufJ9Wp9z5P59 or per email at haskellvienna.meetup@gmail.com.
We especially encourage you to reach out if you would like to participate in the show&tell or to give a full talk so that we can ensure there is enough time for you to present your topic.
At last, we would like to thank Well-Typed LLP for sponsoring the last meetup!
We hope to welcome everyone soon, your organizers:
Andreas(Andreas PK), Ben, Chris, fendor, VeryMilkyJoe, Samuel
Note: We are going to re-use this thread for announcing the Vienna Haskell Meetup in the future, so you can subscribe to this thread to stay up-to-date!
We are excited to announce that Michael Schröder is our speaker for the next meetup!
He is going to talk about his recent project PANINI, which is entirely implemented in Haskell and was published at OOPSLA 2025.
Abstract of the talk:
Parsing—the process of structuring a linear representation according to a given grammar—is a fundamental activity in software engineering. While formal language theory has provided theoretical foundations for parsing, the most common kind of parsers used in practice are written ad hoc. They use common string operations without explicitly defining an input grammar. These ad hoc parsers are often intertwined with application logic and can result in subtle semantic bugs. Grammars, which are complete formal descriptions of input languages, can enhance program comprehension, facilitate testing and debugging, and provide formal guarantees for parsing code. But writing grammars—e.g., in the form of regular expressions—can be tedious and error-prone. Inspired by the success of type inference in programming languages, we propose a general approach for static inference of regular input string grammars from unannotated ad hoc parser source code. We use refinement type inference to synthesize logical and string constraints that represent regular parsing operations, which we then interpret with an abstract semantics into regular expressions. Our contributions include a core calculus λΣ for representing ad hoc parsers, a formulation of (regular) grammar inference as refinement inference, an abstract interpretation framework for solving string refinement variables, and a set of abstract domains for efficiently representing the constraints encountered during regular ad hoc parsing. We implement our approach in the PANINI system and evaluate its efficacy on a benchmark of 204 Python ad hoc parsers. Compared with state-of-the-art approaches, PANINI produces better grammars (100% precision, 93% average recall) in less time (0.82 ± 2.85 s) without prior knowledge of the input space.
PANINI is implemented entirely in Haskell. In this extended version of a talk originally presented at OOPSLA 2025, I will give a tour of the code and show how each part of the system is implemented. Among other things, PANINI includes an implementation of a lambda calculus with a refinement type system and various refinement inference algorithms; implementations of abstract domain data types for integers, characters, and strings; a predicate rewriting system that uses some gnarly Template Haskell splices; an algebraic regular expression library; a frontend that converts Python source code into lambda calculus; various odds and ends (e.g., pretty printing with color and Unicode). I will dive deeper into different areas of the system by audience request.
.
Hope to see you there!
.