#purescript результаты поиска

The function head the #purescript is safe! 😱

fabianmativeal's tweet image. The function head the #purescript is safe! 😱

#fsharp is about to get support for nested record updates. This is what it looks like in PureScript. Interesting how similar features can be implemented with a slight variation in similar languages. (Bits of #purescript)

Savlambda's tweet image. #fsharp is about to get support for nested record updates. This is what it looks like in PureScript. Interesting how similar features can be implemented with a slight variation in similar languages.
(Bits of #purescript)

Part #23: H̶a̶s̶k̶e̶l̶l̶ PureScript is superior #haskell #purescript #fp by @impurepics It's always refreshing to see great parts about other programming languages when you feel like your favourite language is better than others 😌 via @graninas

ChShersh's tweet image. Part #23: H̶a̶s̶k̶e̶l̶l̶  PureScript is superior
#haskell #purescript #fp
by @impurepics

It's always refreshing to see great parts about other programming languages when you feel like your favourite language is better than others 😌

via @graninas

I participated in lalambda.school as a teacher this year (made a #PureScript intro course). Would definitely recommend attending next year!

klntsky's tweet image. I participated in lalambda.school as a teacher this year (made a #PureScript intro course).

Would definitely recommend attending next year!
klntsky's tweet image. I participated in lalambda.school as a teacher this year (made a #PureScript intro course).

Would definitely recommend attending next year!

JetBrains just gave me this cool #PureScript pin badge at #JSNation. I don’t think they think it’s a PureScript badge, but we all know better, right? 😁

krisajenkins's tweet image. JetBrains just gave me this cool #PureScript pin badge at #JSNation. 

I don’t think they think it’s a PureScript badge, but we all know better, right? 😁

This is how the "hello world" program looks like in PureScript. It will work both in Node and the browser. (Bits of #purescript)

Savlambda's tweet image. This is how the "hello world" program looks like in PureScript. It will work both in Node and the browser.
(Bits of #purescript)

Another basic variation of compound types in PureScript are algebraic data types, also known as discriminated unions in other languages. (Bits of #purescript)

Savlambda's tweet image. Another basic variation of compound types in PureScript are algebraic data types, also known as discriminated unions in other languages.
(Bits of #purescript)

In PureScript everything is an expression, there are no statements. Even I/O is treated as values, because PureScript is a purely FP language. (Bits of #purescript)

Savlambda's tweet image. In PureScript everything is an expression, there are no statements. Even I/O is treated as values, because PureScript is a purely FP language.
(Bits of #purescript)

#PureScript is awesome. And the FFI with JavaScript is so much easier to use since you've been able to handle currying like this.

krisajenkins's tweet image. #PureScript is awesome. And the FFI with JavaScript is so much easier to use since you've been able to handle currying like this.

PureScript has records as one of the compound types. The most interesting basic property is that all records are structural and not nominal. (Bits of #purescript)

Savlambda's tweet image. PureScript has records as one of the compound types. The most interesting basic property is that all records are structural and not nominal.
(Bits of #purescript)

I now know what my future first blog post could be about, after several (surprising 😛) rounds of discussions about (im)purity with @ploeh. For now a concrete experiment comparing functions meant for printing a string to console in #fsharp and #purescript.

Savlambda's tweet image. I now know what my future first blog post could be about, after several (surprising 😛) rounds of discussions about (im)purity with @ploeh. For now a concrete experiment comparing functions meant for printing a string to console in #fsharp and #purescript.

I can't write a single line of #typescript and only some extremely trivial #javascript functions (I don't know how `this` works, etc.), but I can make complicated Web front-ends. Before this I never wanted to touch Web at all, I love it now. #purescript

Savlambda's tweet image. I can't write a single line of #typescript and only some extremely trivial #javascript functions (I don't know how `this` works, etc.), but I can make complicated Web front-ends. Before this I never wanted to touch Web at all, I love it now. #purescript

Compile #PureScript to JavaScript ... Inside our Web Browser 🤔 Source: github.com/lupyuen/nuttx-…

MisterTechBlog's tweet image. Compile #PureScript to JavaScript ... Inside our Web Browser 🤔

Source: github.com/lupyuen/nuttx-…

Parsing and Explaining the Real-Time Logs from Apache #NuttX RTOS ... Thanks to #PureScript 🎉 Source: github.com/lupyuen/nuttx-…


Can this lens be improved? Or is there a better way to look at or deal with this? So my specific question is: How to make a lens that provides sub-lenses for each branch of a Sum Type? #purescript #haskell

codingedgar's tweet image. Can this lens be improved?

Or is there a better way to look at or deal with this?

So my specific question is:

How to make a lens that provides sub-lenses for each branch of a Sum Type?

#purescript #haskell
codingedgar's tweet image. Can this lens be improved?

Or is there a better way to look at or deal with this?

So my specific question is:

How to make a lens that provides sub-lenses for each branch of a Sum Type?

#purescript #haskell

Nominal records in PureScript can be combined with record polymorphism (technically row polymorphism). This is simple and "native", without the need for involved solutions to the #fsharp question below. (Bits of #purescript)

Savlambda's tweet image. Nominal records in PureScript can be combined with record polymorphism (technically row polymorphism). This is simple and "native", without the need for involved solutions to the #fsharp question below.
(Bits of #purescript)

I do love F#, my favorite language by a wide margin, but I do wish some generics stuff would be more intuitive, Writing a function that gets the field out of different types with the same field name (+ type), is non-trivial, even though it seems that it should be easy.

RecktenwaldRene's tweet image. I do love F#, my favorite language by a wide margin, but I do wish some generics stuff would be more intuitive,
Writing a function that gets the field out of different types with the same field name (+ type), is non-trivial, even though it seems that it should be easy.


Thanks again to everyone in the #purescript world for such a sharp language and even more huge corpus of documents and discussion for the Agentic coding world. So rad


Now available for ACM Members: "Functional Design and Architecture: Examples in Haskell" audiobook by @graninas. Discover Functional Declarative Design and other design principles perfect for working in #Haskell, #Purescript, F#, & #Scala. share.percipio.com/cd/snzN4ijsJ

acmeducation's tweet image. Now available for ACM Members: "Functional Design and Architecture: Examples in Haskell" audiobook by @graninas. Discover Functional Declarative Design and other design principles perfect for working in #Haskell, #Purescript, F#, & #Scala. share.percipio.com/cd/snzN4ijsJ

#PureScript does this as well and it’s very convenient (_ + 5)


dicioccio.fr/how-i-write-pu… How I architect my #purescript #halogen apps. For those who can guess from keywords: - sum-types and product-types - mapping and contra-mapping events for bricks and widgets - ECS for the central state


Seriously playing with #threejs & #purescript


Updated Lambda Lantern 🧙‍♂️to #PureScript 0.13. github.com/lettier/lambda… 😀 #gamedev #indiedev



Excited to speak about 3D #GameDev using #PureScript Native at this year's @lambda_conf. Come for the polygons, stay for the parametricity. 😀


Many thanks to all those that attended Level Up! #GameDev With #PureScript Native. And an extra special thanks to @lambda_conf for having me speak at this year's conference. 👍


Released just in time for #GitHubGameOff ! 🎉 itch.io/jam/game-off-2… Lambda Lantern uses a hybrid technology, combining a purely #FunctionalProgramming language called #PureScript with an object oriented game engine called #Panda3D. #GameDev complete. 👍



Your Easy Guide to Functional Reactive Programming (FRP) #javascript #purescript medium.com/@lettier/funct…


man the #purescript shitposting is top notch

mattoflambda's tweet image. man the #purescript shitposting is top notch

Simple Json Transformation in #purescript

impurepics's tweet image. Simple Json Transformation in #purescript


Practical Profunctor Lenses & Optics In #PureScript by Thomas Honeyman thomashoneyman.com/articles/pract… #Haskell


Solving the Mars Rover Kata with a Free #Monad in #Purescript by @ReidNEvans medium.com/@reidev275/sol…


Dialing in the look for Lambda Lantern. Here are some current and past screenshots. github.com/lettier/lambda… #gamedev #purescript

lettier's tweet image. Dialing in the look for Lambda Lantern. Here are some current and past screenshots.
github.com/lettier/lambda…

#gamedev #purescript
lettier's tweet image. Dialing in the look for Lambda Lantern. Here are some current and past screenshots.
github.com/lettier/lambda…

#gamedev #purescript
lettier's tweet image. Dialing in the look for Lambda Lantern. Here are some current and past screenshots.
github.com/lettier/lambda…

#gamedev #purescript
lettier's tweet image. Dialing in the look for Lambda Lantern. Here are some current and past screenshots.
github.com/lettier/lambda…

#gamedev #purescript

purescript-isometric by David Peter An isometric drawing library for #PureScript. github.com/sharkdp/puresc… sharkdp.github.io/purescript-iso… #dataviz #javascript


Lambda Lantern update. You can now learn functions. By composing these functions, you can solve the puzzle and go on to the next level. github.com/lettier/lambda… #gamedev #purescript #haskell


#SyloTeam lead developer hard at work....... #PureScript #Blockchain

sylo's tweet image. #SyloTeam lead developer hard at work....... #PureScript #Blockchain

How to remove a field from a record in #purescript

impurepics's tweet image. How to remove a field from a record in #purescript

Loading...

Something went wrong.


Something went wrong.


United States Trends