Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Come and work with us! [Patrik Jansson, Koen Claessen, Mary Sheeran]

We are announcing two ProgLang PostDoc positions in the FP group at Chalmers. The underlying projects funding them are flexible, meaning we can tailor the exact research to your unique strengths.

We are looking for people who want to bridge mathematical foundations and practical software development using tools like #Haskell and #Agda. Whether your expertise lies in building #DSLs, property-based testing, or interactive theorem proving, Chalmers provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance.

Some of my recent work, which could be nice to connect to, is posted here: https://patrikja.owlstown.net/posts

Deadline: 2026-08-15. Please apply, or boost to spread the ad to your networks!

https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14954&rmlang=UK

#FunctionalProgramming #FormalMethods #PostDoc #AcademicJobs #TypeTheory #ComputerScience

𝗙𝘂𝗻𝗰𝘁𝗶𝗼𝗻𝗮𝗹 𝗔𝗿𝗰𝗵𝗶𝘁𝗲𝗰𝘁𝘂𝗿𝗲 𝗮𝗻𝗱 𝗗𝗦𝗟𝘀 𝗳𝗼𝗿 𝗕𝗲𝘁𝘁𝗲𝗿 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗠𝗶𝗰𝗵𝗮𝗲𝗹 𝗦𝗽𝗲𝗿𝗯𝗲𝗿 ⚙️ How can software become more flexible and maintainable? @sperbsen explains how functional architecture and #DSLs help reduce coupling and improve data modeling.

💡 Topics:
• mutable state & coupling
• better data models
• domain-specific languages

👉 https://t1p.de/g7oyd

Michael will present two German-language sessions on these topics at #SAF2026.

#iSAQB #SoftwareArchitecture #DSL

ИИ — это революция в создании мини-языков и DSL

Многие программисты считают создание собственного языка программирования чем-то типа вершины возможного творчества. Но не потому что это требует насмотренности и развитого дизайнерского чутья, а потому что это просто технически сложная задача, требующая многих часов работы редких по интеллекту людей. Но теперь, кажется, это больше не так. А как?

https://habr.com/ru/articles/975888/

#DSLs #LLM #ai #compilers #metacode #python

Ever wondered how deep #RecordPatterns go? @manojnp walks through nested matching, destructuring, & how #Java internally "unwinds" record components in switch & instanceof.

If you're designing #APIs or #DSLs in Java, this one’s for you. https://javapro.io/2025/01/15/record-patterns-building-on-java-records/

#PatternMatching

Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬

The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.

📄 Slides: https://www.cse.chalmers.se/~patrikj/talks/2025-10_Jansson_Tensors.pdf

🎥 Earlier (longer) talk: https://youtu.be/81XurNlv5cw

💻 Code: https://github.com/jyp/linear-smc

📘 Paper: https://doi.org/10.1017/S0956796825000048

#Haskell #FunctionalProgramming #DSLs #TensorCalculus #icfpsplash25

#VersionManagement for binary files is hard; often we just consider them #blobs and give up. We use #DSLs to get rid of the blobs. Version control systems were designed for textual formats. No trees, no binaries, just plain text. At our customers we’ve often designed DSLs specifically to thrive in a version control system.

This post is the start of a three-part series. We’ll present how we’ve designed these DSLs, the benefits you’ll get, and how we migrated from existing systems to the DSLs.

https://www.swat.engineering/news/dsls-as-a-version-management-enabler/