Idris Developer Meeting August 2023

[andre....@gmail.com]

Dear Idris community,

We are announcing the date for the next Idris Developer Meeting: August 28th 2023. The even will run until Friday 1st of September.

This year, the developer meeting will take place online on discord and in-person. We have two locations if you wish to meet in-person: St-Andrews and Zurich. Because the talks and the project coordination will take place on discord, you are encouraged to join the server and register your participation in the #🪄│roles channel.

What is the Idris Developer Meeting?

It's an event to bring the Idris community together to hack, learn and socialise. You are encouraged to show your work, project ideas and experiments with the language. For this we've setup a calendar bot in discord with which you can schedule a presentation. Usually those range from 10m to 1h. At the end of the week, we have a Show & Tell session where we share the worked that's been done and make a short demo. The following days are dedicated to cleaning up Pull requests and releasing the features everyone has been working on.

Who can participate?

Everyone is welcome to participate. You do not need to be an Idris expert or a compiler engineer to participate, all contributions are welcome and this time is the best to learn the language with the help of the available community members.

[andre....@gmail.com]

I forgot to share the relevant links:

- The wiki which summarizes all the relevant information https://github.com/idris-lang/Idris2/wiki/Idris-Developer-Meeting,-August-2023

  - please add your name a the end if you wish to advertise your participation.

- The discord invite link https://discord.gg/UX68fDs2jc

  - please record your participation in the roles channel there, this will give you the correct permissions to be notified about the event

[goe...@gmail.com]

Hello to everyone,

Was just reading through Idris-Developer-Meeting notes
https://github.com/idris-lang/Idris2/wiki/Idris-Developer-Meeting,-August-2023
And I might attend online but still wondering if it makes sense as I did not do much with Idris
Just purchased Manning book about Idris sometime back and used it in combination with Hugs ( Haskell )
and the following book "The Haskell Road to Logic, Maths and Programming" (https://www.amazon.co.uk/gp/product/0954300696/)
Was interested but not sure I got the reasoning why type driven development is good for us.
Now I will give it another go to see if Idris2 is helpful to learn languages ( real ones )
and for data centric work ( Like Pandas in Python )

So open for any suggestion and feedback if someone is working on something similar and I guess it can be flagged in category

Add lots of example usage snippets for prelude and base packages

Wonder if use case white papers can be added to documentation ( like Linguistics as example ) and if there is any native Spanish speaker within developer group


Thanks in advance for any feedback

Best regards

Gottfried