26 Followers
266 Following
15 Posts
Computer science researcher/PhD student at the University of Tübingen
Pronounshe/him
DECT/EPVPN4624

@marvin Wonderful!

Here's my quick attempt.
Pi as the first positive root of sine using Newton's method with a twist: sine (and cosine) are defined as mutually recursive push-streams representing their Taylor series, all implemented in the Effekt language.

Playground link here: https://effekt-lang.org/playground.html?playground=nVXbbttGEH3XV0zyYrKWaStFgYKADBhuCwgIgqBJngK7osmhtehyl1gudYkgoI%2F9l35M%2F6Ff0jO71MVO%2FBI9SMvh2ZkzZ86uLi%2Fpd24dd2y8Mo%2F0sdho66hjp7ijvpNYQZ13XDRka%2FILVo5Ky3WtSoVN3XiEHJ22K72hh17pSrb0rSCpKcqFMuw25C0e%2FmTkeq%2BodrahrnSFLxfZSDWtdX6oMZJsM1Mrozyf1FXG8yO7DqHCBaYr5Rc0oaTQncVrmkfwPB1VHPBdkub0CXnokrhR%2FvPM%2BDua0nZEtCwcKawnWK8WSjMl3vWchpdElQ07EpWGR0EqOg%2Fo3WgnHC%2BhFNqRJudmTrVynSfW3IgkQrg4EBpTYSpqey%2FoRqgWpFXns0DUI83nm7vE5Gjbg8DQdE5JStPrJw3c3NEup7fYK8vYSZBB0uV5abXm0h%2BDcU9ipIuYNUkjffrv73%2FW94ZySHCZmPNJSj%2FQ%2Bj4x0mWKr1sBoXzQ3RUa1W4RLrQm69SjMgg99Ypn12A8C1V7ruhhQ9Zg3Oi8UktVxVBIv5%2BP5PWclDn9YvsHLeJDDUn5rd4jBgIMfe9HVEpzX1Q7AMai4h1tY6IdbcUI%2BKGkHpMJWfc7a6Q2mbf76sNk6aYDbeJ10bTwBUZ5diB7lguA79ciHCT8Y3u1wwPfb6jaHHrjdYvecZ4K%2FdyC%2By6mp6DsKMYku0oJJT79dvshkPl1Wegeb%2BCZ2NJebnH8Gt6Cf%2BQ0wGzcdvNYH3uS8Bw8Nab190ksh6QoSzxdZVd4rlFd9sOwAzRWQdZB7szxEoeUM8bBRx7IXhxrT6%2FDaYopC3ETVrBdOFUhPkzgnV3RiqnEGHARwHOQl7HChSBfYqrSxiV8t8LV0vs%2BwByXvevUcn91dK%2FC7QSxno0M%2B0mGFgSTVC9PKpY6GRLUSANPSRLyXpxklmIHOwA0fABKvgG6wHELHGKVF1kc5H%2FG5SI4Jih9MuUTl68zw49i7iAsr7w1Zx017Be2CoVNiL3glzCw%2BNlSndMQlwLDSiZ3hFTAfA05xgBWNcViNIWx0jB%2B1h0%2FISK6gAd%2B6mSNE4HE%2BIXRarRa1ehGqDeFMmLjwa16uIOm9OanITB7N%2Fs4u3mL0I%2BwMIIQ4d%2B%2FSME2uLnjrd1CeS%2BW%2BcLOynkXicek2UMouK4i5V8N%2BVr5K3hCdEo%2FC9HpvlSUbCuh6ziscBwDMwBTvNwJC6rFOACc4gerPdsR8FXAAyBdtA4O0CZ5HQeKlnJ6Tefn4Jc525sqmbxJs25hV0LngP7gK60ejuj3s6%2FQu%2F8B&repl=bWFpbigp

#effekt

Effekt Language: Playground

A language with lexical effect handlers and lightweight effect polymorphism

Effekt Language

Happy Pi Day! Great day to work with the Effekt language:

Pi from coin flips via effects and handlers (interactive playground): https://effekt-lang.org/playground.html?playground=jVNNj9MwEL3nVwy3hFXjNCwLKupyAAlOgLTsCXHwtpONRWIH22lSrfrfGX%2BlLCwSvaR%2B8%2FzefJkxBnqUUsh74AfU%2FB6zPTbxv0MfoNnA9hpupbDAAHthv71X412H3%2BG0eRLewkMGcOA6SW7g82CFkr8xPimJeUG0SdiWuB3Ma4IbpRcSOecFnIgTZSh%2Bo3rM07Hndtd6L4AdNxiic124fHPSuwB3YFCX1ZkUnOlEpHlN%2BMmlETVLSgC5U4XZEfbKl5bPLpFT5nszaCEt6v%2FqzPZRhf8s0Et2Mp9L06qpyDIayxcBjVY97JSQ0HRiMM8cbBChtXYwG8a4nsWhVPqe8TvD6quqLteXl69fOZ77JR41qkW5a7m05aT0ftBoTLlTPaur%2BopVL9i6ZkKuBs2FwZVqVsaOg9ivfo5o3OAM%2B1NymqbyqEY73qEXmtws3h62P3j74caYqxtzm2X2OCC8c%2Fk%2FwEfk%2B7x4A1%2B56HzVGTYN7qwvLS82npew1pOX7WroTgpZf%2F9xyI%2FF6QyoSXtpOs4tH6mAA3ZHwmiYwezvzQnZxYkH93MwphyCwd%2BtTbDtuZAu6NW8a9yPdFyeEgHURI91Sg0pvq6qqtQ4ILdZfDYuAUOSld9bhzjXhBBk9fFcbxJyQKyJ5jvSUxAN5JrLveopw2u6%2FLJIlWK3FBaKiSLOOoqkLML3AtbxFQVxGqmTD8HrkGDhWxy65Q3iei%2FqjhXVU0Xh%2B4T6cjdMzj%2FD4MaS7UWyfQ6XZVVkp18%3D&repl=bWFpbigp

Pi from effectful NbE of the lambda calculus by measuring the size of a Sierpinski-like fractal (interactive playground): https://effekt-lang.org/playground.html?playground=lVj%2FbtvIEf5fTzFnpAjZKLaEBiiqwjk4P%2B5iIOdzm1xaIAiCpbSytuYvkEvZik9P1nfoM%2FWbmV2Ssn3AnWJb3N3Z2ZlvvplZ5uSE3pm63tGle%2F7G7L6jd7axT1syJb1dr%2B21p7qprhpTkN8YTxBtqltXGG9bqh11rSuvJlCSmyJbGVqafNnlXTslQx%2BcbWpXttfuee6uLa0bs%2FQmn9JF9nZKrW%2BsKViwXJHFUUvfTliTocaWK9tAMVVrHGvpypa2wZGrqGPBghvv63ZxcqJHP2%2BXjbXlcWGarSuzqsGW45U9%2Bd7bpjj94cerH75t8r%2B9ePfzv%2F%2F6j%2Fc3v7wpf746%2B9Nf3uBnMnFFXTWeXBWf1Lg4gstL27ajRdiWdbC5mUy2JqfLczqlo6OjCdFsNpvjH%2F7ql3zmM6zMMYNZmZRHHsznWMFHnuVJVMx4Q5iexWl%2BjtMYhGneGKblyIdK5KAo3U%2BLmWFWpaOi8aFxiBX2D7CfUFuYPLcNXC6qxgIdu3StlaV%2Fnf3z4vzixwV5cw2C2Nu6Km3pHTbsVLqtzdKeeFfY72QHh3cglavKlm5cnlMGUQkCgu4rPK%2BqztPNxpZUVl55R23mmQgcgvfnP51%2FhEmzY%2FVF4nIwOZ9M%2FK62dAGdmDsv%2FWSivAOrbLtJ0oWsxcm8qq67%2BvPZl6TUBayfKQK1bVgEPpVVAzSoMDWx8uCSawk%2FsJ7ddiUUuqUDDrRI1Ya35RaKYUVy%2BpLOCOkTDyMk2d0%2BJZmXZz0y5BeTWVV8xBPdIV5nWRstnJJfyELK83WdGB1OKRvmP5mm92jyUDvsjV6tqsK4Uo%2F7ZPLOynmfLmyXlLaDCtv5xuSi9HVePbBiSrbcLsRZ2f7lN89TReFASjjCO%2BuB4KpbuiyHoRq6IMdmXBz4gXHwN8iIy3JqfyhTrStrnMCVxCA8sb6EqsJBq93Ji8nKrmX9Y3XpEn5Y0JuqYzs4ZPPjGT2X9ZT%2BTC%2BOZ0F9A4CcKhTHGovUaBF2VFPovbU5iTLomKdyhkx%2BnwAjCc6CXlVVjmVoSbZsDcf2Zipf2VQid5umqZTM5JZOT%2BmGfv2V5ClLGQUxwuYtfDL8F3Z1Vxs1cFl1oKAkXCGP8L7tMra11epeIGupA5Uhs%2Bwa1GFUfFgsxsr2D3XufIL4xtgvOJFgModka5pwCDwMYwf1GHoMbzYut5TIDHzTgE3pq%2Fpj%2BrmvPJeKRur16fcz0UtRq8Fgj1%2FG60CtkONrqopkK6QElnlkg0WB6NBTcDDXElgmQbtxfsOV5qriAgOqVGQyVCIQhIuTIMFbk3vUHlIv0I6dBqB%2BuRFPlgaHS6pCUtJbUwYjULW6ZX0SQRVUaDIRxEoCCbrjQpnvkng8Wic8HEZgAO2p1yH5kTJaBzpWVSg2vLjvk0NUCwSoXSUzwDX36kBf21YVarvwaOk7rINErXe%2BY4Ro60w4gDaIa84wJlVDWZdlMsAC0qJG%2FXRbm%2B80E9Qz5JlgN0reAU1zH81YiMRHdVOmhAGYF0R64QFtRlowYeQUlDWPfbOjdZIKBWJB1uBCYgsJoR5s7wqbaIoi74BiptRijNdy4n7PQY7QNnadc0NBOjiDIkIldyAQiyE8LH2CRZAftZ0IgbqngU1jUpdbi0tJyGJROkRujS%2BkBuLJ3NYzFPDGujUAH9U2XMk4ubUITQnsjhH4pXQePQowcZ8EgIXzn3XTFzDuFOA8FpqY4MxLwKv5zDWhtDdnWgeluEhCA045Pr23inNHhWek8thXakKICrsTtk61%2BKFgshlGQvJbIpnE68BuFCSYmzxGnVCrQt3u01k2ILEYGMG03%2FtVaxs78jJeR16OwMduVGxksvAfSRyDD23hVoLPoE0NC8QqrGk73KlE%2FXBHznZ8daqQasoC900uVrHZCRWSrgZX1KDWfUOTZFIEhVzfQylTiEf1PTQw3KgmscLzUFrPLjiGBtnjG5Psdyca1B0kWgTEhcxCyQPg3E54t2Cku%2FCL9vD3PkFR3aLUAWHvqIxHBGfk6xmVMlfjcu%2FzUqLT9%2F%2BeQqIaMRHS4I8QOISjNg1ixMmNKyuDvG6qgl69fx1uspSsLL1qOvefkIOyga%2BdcpfjBIPY6jPnH%2FpJ66tasouhZ%2FGr6kA2JGPAD11YclHsZPYMqhJAdjCRjtJVeixzKwkBk69RwmrS5gwaawmk7JdiDiCkbN9BTMWmUUT1MyqgWAF3kPJaQIfW5HDBmgfQ%2BYM%2BFR4eM1kuPXplRnlgM6ZiTNykwiI19o%2Fr6HDk7HHxQfcYDmV9eHfDJ1xt7sGeDrTsJQ8PVVIPjgmn7icVu%2FLH%2BH6If0%2F3SO0j2zRVs2BlduhKR%2FQMOXDcbqobNcreoprhpspmBYpvbI53H1p3pVyHuL%2Fw%2B5%2F3UnLCjQlv%2FVU%2BlBxuTEp3FbyjdoEixpD2jeWmwfVNG9DSfmaKM5n3C%2FqgWjUJxDc955W%2Bfcc53ofZsDPcHB%2FcuIC7HJQc%2Fe%2B%2FI2%2F5SW07On5y5%2FdH6v7Di1i%2FP0gnT%2B7Mnp7cZft0vIdDjBuG3kj6PdseWQ5TO1Tx2MGXG8Q9VArU5gzQ6Ai4XLsa%2F5PCBb18zgssq6Bi1ALA%2BgGkj5QS4BmWZfE1lOAdNLAMnKlZEdT0PBp0BEwju%2BrQy3NaalkYFIbawOmNtVN6OnuaBo5y0ZK3EiX7IDIfi0jGiQgAkq6ESws7N3Bgbe0quTxP%2BfVm1xXFLi4wGppCuZbg01hkMRnpH6J3yQtaqRcIIn9z6MPuUWuQLtC3Ru6LY23t0U%2B6pG2eVfG3RJv17f8P&repl=bWFpbigp

Effekt Language: Playground

A language with lexical effect handlers and lightweight effect polymorphism

Effekt Language

The presentation of our OOPSLA paper "Tracing Just-in-time Compilation for Effects and Handlers", given by Marcial Gaißert is here: https://www.youtube.com/live/PH86sTG6G08?t=23837s

joint work with Jonathan Immanuel Brachthäuser

[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 16th)

YouTube

I am more than proud of my PhD students, colleagues and collaborators!

Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.

🥳🎉

Our OOPSLA papers:

- Compiling Classical Sequent Calculus to Stock Hardware
- The Simple Essence of Monomorphization
- Tracing JIT Compilation for Effects and Handlers
- Dynamic Wind for Effect Handlers
- The Simple Essence of Overloading

Our ICFP paper:

- Multiple Resumptions and Local Mutable State, Directly

Links to the PDFs etc. can be found here:

https://se.cs.uni-tuebingen.de/singapore2025/

One sentence summaries of each paper in the following posts...

Universität Tübingen - Six Papers at OOPSLA and ICFP 2025