We had a really small but a really nice meetup And again it was really interesting to hear that we are doing and experimenting with so many different things using PureScript. From hybrid (client / server) websockets handling - thanks for sharing @afc, through parsing and processing and optimizing CSS - recent stuff done by @gillchristian, to the web bluetooth and low level experiments done recently by @milesfrain. Everything using PureScript.
Thanks a lot for sharing and see you the next time!
P.S. Sorry for my broken mic and a ton of lame questions
Holy shit! Iāve missed it too. Iām not sure how I was able to make such a mistake - Iāve checked that yesterday and was sure that it is at 19:00 UTCā¦ Iām really, really sorry
No worries. Though it was a small group a while ago, meetup continues a great mix of being informative and entertaining. We discussed working with purescript in practice, contrasting it with Typescript and working with FFIs. There was a common amusement how many react/ui incarnations there are - and what each brings to the table.
Looking forward to the next one! Again, thanks for everyone making this happen.
Thanks a lot for the meetup. Iām going to put below a quick summary of things which we have discussed during the meetup. Please excuse me and add a comment if Iāve missed something (Iām using alphabetical order of speakers here ;-)):
@Adrielus has shared the screen and showed his current project interface for visualizing lambda calculus - Lunar Flow: https://lunarcast.github.io/lunarflow/ which is really, really nice!
He also pointed to a paper related to depent types which was a basis for his recent āsmall language implementation experimentā: https://www.andres-loeh.de/LambdaPi/
@afc shared with us his recent cool cookbook recipe for capability pattern: https://github.com/JordanMartinez/purescript-cookbook/tree/master/recipes/CapabilityPatternNode . We have also shortly touched checked-exceptions and variant in this context. We are going to have a quick live tour around this topic by Andrew in the near future (probably on Monady, February first) - donāt worry Iām going to remind you about it.
@paluh - Iāve talked a bit about difficulties in representing some JS APIs concepts like optional fields by using current best PS practices (like Union constraints) and that sometimes it is just better to have a simpler and somewhat āunsafeā API than overblown and not composable stack of constraints.
We have quickly discussed a possibility of extracting core of our codegen from react-basic-mui so it can be used to generate bindings for other frameworks like concur-react.
Sean joined us and shared with us his recent experiences with @mikesolaudio-behaviors library. We have also quite intensive but I think informative āstrongly typed FP preaching session hereā when Sean asked about possible production use of PureScript and areas where it can be used
Thanks a lot for sharing and for the nice discussion. See you soon!
I agree with this. Itās fun to read the summaries of what happened, even if I donāt go myself. However, scrolling through now 68 replies to read that is too much.
I thought the magic of Discourse is that it only renders the most recent post, e.g. the last 10 or so, unless you scroll back to the start. At least thatās what it does for me on mobile and desktop (and I donāt even need to be signed in).
But no objections to splitting this out into quarterly threads.
That actually bothers me more, since the event information is at the top of the thread and I have to scroll, wait for the next 10 posts to render, scroll, wait for the next 10 posts to render etc. until I reach the top.
Taking into the account that we have all found this long thread a bit problematic to use I think that this kind of manual quarterly pagination should work. I think that global search should work perfectly well even when we organize things in this manner, because there is a āCategoryā filter present and we have a separate category dedicated for meetups (āMeetupsā).
Side note: Iāve learned during the lecture that on the mobile there is also a āprogress barā at the bottom which after a touch opens up the navigation panel. Additionally hamburger menu allows you to do a quick navigation between categories.
On the desktop you can jump by clicking on the start / end date on the āinner scrollbarā.
In general from the main topic list you can click the number in the āreplies numberā column for any given topic and quickly jump to the first or last post directly.
Sure. Iām going to open up a new thread. Iām going to bother you and @milesfrain on the priv about the setup details of such an event before though
And again it was really interesting to hear that we are doing and experimenting with so many different things using PureScript. From hybrid (client / server) websockets handling - thanks for sharing @afc, through parsing and processing and optimizing CSS - recent stuff done by @gillchristian, to the web bluetooth and low level experiments done recently by @milesfrain. Everything using PureScript.
