Scheme Workshop Keynote: Edwin Brady - https://www.youtube.com/watch?v=h9YAOaBWuIk&list=PLyrlk8Xaylp4pcRhsuZ0gEOmggCOd8GBz&index=10&t=0s

#idris #idris2 #blodwen #functionalProgramming #fp #chezScheme #scheme

Idris 2 - Type-driven Development of Idris - Curry On 2019 - Edwin Brady - https://www.youtube.com/watch?v=DRq2NgeFcO0

#idris #blodwen #fp #programming #pl

found on the #Idris mailing list https://github.com/AndrasKovacs/smalltt :blobwoah:

apparently Edwin is gonna work this stuff into #Blodwen, ie. my 4 gigs of RAM might just be enough for Blodwen stuff

#dependentTypes

tryna write a raytracer in #Idris / #blodwen

Blodwen is already noticeably nicer in some ways, eg. it lets me use more things as operators

finallly compiled #Blodwen! turns out activating swap is a good idea when the compiler runs out memory and freezes the system :thounking:

#idris

#blodwen 's current compilation targets use Scheme compilers instead of using C with a custom runtime. interesting.
#idris

according {AS} on the #idris IRC: #Blodwen will have optimized type checking for Vects and Nats and such, so that eg. large vectors won't eat your RAM up when you run the type checker