繁體中文
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#funcionalprogramming 搜尋結果

R_Strepparava's profile picture. New Yorker born Milanese. Quant researcher. A RT is a love declaration. https://t.co/xpyHtChkP2
Roberto Strepparava
@R_Strepparava
2019年9月25日

Disjoint unions cannot be given a group structure, the coproduct in GRP will be the free group. But in the category of Abelian groups coproduct coincide with product and is called direct sum. Same in R-modules and hence vector spaces (!) #funcionalprogramming #categories 9/n

R_Strepparava's tweet image. Disjoint unions cannot be given a group structure, the coproduct in GRP will be the free group. But in the category of Abelian groups coproduct coincide with product and is called direct sum. Same in R-modules and hence vector spaces (!) #funcionalprogramming #categories 9/n
1
0
0
0
0
matteobaglini's profile picture. Software Developer, Technical Coach, Clean Code Addicted
Matteo Baglini
 @matteobaglini
2018年3月4日

Mia figlia mi ha svegliato alle 5. Poi si è riaddormentata. Io non riuscivo a smettere di pensare, ho preso carta, penna ed ho iniziato a scrivere. 3 ore dopo ecco una traccia di 20 pagine + un po' di postit del mio corso su #funcionalprogramming 😎😎 @avanscoperta domani call?

matteobaglini's tweet image. Mia figlia mi ha svegliato alle 5. Poi si è riaddormentata. Io non riuscivo a smettere di pensare, ho preso carta, penna ed ho iniziato a scrivere. 3 ore dopo ecco una traccia di 20 pagine + un po' di postit del mio corso su #funcionalprogramming 😎😎 @avanscoperta domani call?
3
2
17
0
0
DanieleMegna1's profile picture. Passionate Software Developer
Daniele Megna
 @DanieleMegna1
2018年3月24日

"Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL

DanieleMegna1's tweet image. "Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL
DanieleMegna1's tweet image. "Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL
DanieleMegna1's tweet image. "Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL
DanieleMegna1's tweet image. "Foundation of Functional Programming" day 2 by @GiulioCanti ... illuminating #funcionalprogramming #fp thx to @gabrielelana @Mikamai and @LinkMeSRL
0
6
16
0
0
AqueleEstevao's profile picture. Professional googler. Coffee connoisseur
Aquele Estevão
 @AqueleEstevao
2020年1月16日

Você precisa dominar a recursão se pratica a programação funcional diariamente 🙌🙌 #funcionalprogramming #typescript #javascript #kotlin

AqueleEstevao's tweet image. Você precisa dominar a recursão se pratica a programação funcional diariamente 🙌🙌 #funcionalprogramming #typescript #javascript #kotlin
0
3
9
0
0
xurxodev's profile picture. Saber crear software de calidad te da libertad.
Jorge Sánchez
 @xurxodev
2022年10月23日

Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming

xurxodev's tweet image. Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming
0
2
10
2
0
jocerfranquiz's profile picture. Strategic Leader, Architect & Coder | Building Optimal Data + AI solutions | Turning Data into Strategic Wins
ЈΘСΞR
@jocerfranquiz
2024年6月4日

I'm so happy I found this paper!!! ✅ The Theory of Concatenative Combinators, by Brent Kerby (2007) 🧮 The combinators minimal base has only two elements: "cake" and "k"!!! How is that not awesome??? #combinatorylogic #funcionalprogramming #computerscience

jocerfranquiz's tweet image. I'm so happy I found this paper!!! ✅ The Theory of Concatenative Combinators, by Brent Kerby (2007) 🧮 The combinators minimal base has only two elements: "cake" and "k"!!! How is that not awesome??? #combinatorylogic #funcionalprogramming #computerscience
jocerfranquiz's profile picture. Strategic Leader, Architect & Coder | Building Optimal Data + AI solutions | Turning Data into Strategic Wins
ЈΘСΞR
@jocerfranquiz
2024年6月4日

well, the answer is yes, but it's bloody difficult! this video explains beautifully in a very simple way combinators and SKI compilers. enjoy! youtu.be/gnrSedVucXs?si…

jocerfranquiz's tweet card. Introduction to Combinatory Logic – #SoME2

youtube.com

YouTube

Introduction to Combinatory Logic – #SoME2

來源: youtube.com
0
0
1
0
315
3
0
3
0
647
xurxodev's profile picture. Saber crear software de calidad te da libertad.
Jorge Sánchez
 @xurxodev
2018年9月9日

¿Desde dónde comunicar o tratar situaciones de error? Parte 2 #funcionalProgramming #HandlingError buff.ly/2wTOeyi

1
6
16
0
0
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
2020年8月3日

Describing microservices using modern Haskell. ~ Alejandro Serrano (@trupill). 47deg.com/blog/mu-in-has… #FuncionalProgramming #Haskell

0
4
15
3
0
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
2020年6月24日

Calculating correct compilers II (Return of the register machines). ~ Patrick Bahr, Graham Hutton. cs.nott.ac.uk/~pszgmh/ccc2.p… #Haskell #FuncionalProgramming

0
2
9
2
0
kireidev's profile picture. Estudio de desarrollo de software en Madrid. Somos un equipo con un alto compromiso en la calidad de nuestros desarrollos como valor diferencial.
Kirei Studio
 @kireidev
2018年9月3日

Alternativas a los callbacks de Java en Kotlin – Blog de Kirei Studio buff.ly/2CcaNUb #Kotlin #BestPractices #FuncionalProgramming

0
1
2
0
0
jocerfranquiz's profile picture. Strategic Leader, Architect & Coder | Building Optimal Data + AI solutions | Turning Data into Strategic Wins
ЈΘСΞR
@jocerfranquiz
2024年6月4日

I'm so happy I found this paper!!! ✅ The Theory of Concatenative Combinators, by Brent Kerby (2007) 🧮 The combinators minimal base has only two elements: "cake" and "k"!!! How is that not awesome??? #combinatorylogic #funcionalprogramming #computerscience

jocerfranquiz's tweet image. I'm so happy I found this paper!!! ✅ The Theory of Concatenative Combinators, by Brent Kerby (2007) 🧮 The combinators minimal base has only two elements: "cake" and "k"!!! How is that not awesome??? #combinatorylogic #funcionalprogramming #computerscience
jocerfranquiz's profile picture. Strategic Leader, Architect & Coder | Building Optimal Data + AI solutions | Turning Data into Strategic Wins
ЈΘСΞR
@jocerfranquiz
2024年6月4日

well, the answer is yes, but it's bloody difficult! this video explains beautifully in a very simple way combinators and SKI compilers. enjoy! youtu.be/gnrSedVucXs?si…

jocerfranquiz's tweet card. Introduction to Combinatory Logic – #SoME2

youtube.com

YouTube

Introduction to Combinatory Logic – #SoME2

來源: youtube.com
0
0
1
0
315
3
0
3
0
647
xurxodev's profile picture. Saber crear software de calidad te da libertad.
Jorge Sánchez
 @xurxodev
2022年10月23日

Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming

xurxodev's tweet image. Te cuesta entender map, filter o reduce? Seguro que después de ver esta imagen no. #FuncionalProgramming
0
2
10
2
0
adelarsq's profile picture. Father - Software Compositor at First Decision - Neovim F# Go V Zig Dart Elixir Java Python Lua/Fennel Lisp @learn_fsharp
Adelar S. Queiróz 🦔🇧🇷💙💛🤍💚
 @adelarsq
2022年7月12日

Functional programming is finally going mainstream by Klint Finley 💎 #funcionalprogramming #fsharp #JavaScript #ruby #python @elmlang #Haskell

raimeyuu's profile picture. Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modeling. Functional-first thinker.
Damian Płaza
 @raimeyuu
2022年7月12日

github.com/readme/feature… finally. One day I wondered about how Wardley Mapping for languages and evolution of needs would look like. Somehow I felt that OO thinking/langs (not message-oriented languages in the Alan's sense) step from the stage in favour of FP thinking/langs

0
11
34
13
0
0
2
4
1
0
nmartindev's profile picture. Full Stack Engineer 💻 | CS degree 🎓 | +10 years coding 🤓 | Trying to make React/JS/TS development easy with my tweets 💥
Nico Martinez 💥
 @nmartindev
2021年7月9日

Really liked this functional approach. Complex code can look much simpler this way 🔥 #javascript #funcionalprogramming #100DaysOfCode

SimonHoiberg's profile picture. Building a portfolio of bootstrapped SaaS products.
Simon Høiberg
@SimonHoiberg
2021年7月9日

JavaScript Tip 💡 Here's an example of how you can create a reusable and composable pipe using JavaScript.

SimonHoiberg's tweet image. JavaScript Tip 💡 Here's an example of how you can create a reusable and composable pipe using JavaScript.
9
35
229
41
0
0
0
2
3
0
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
2021年5月11日

Automated conjecturing in QuickSpec. ~ Moa Johansson, Nicholas Smallbone. cse.chalmers.se/~jomoa/papers/… #Haskell #FuncionalProgramming

0
0
3
0
0
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
2020年8月3日

Describing microservices using modern Haskell. ~ Alejandro Serrano (@trupill). 47deg.com/blog/mu-in-has… #FuncionalProgramming #Haskell

0
4
15
3
0
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
2020年7月12日

Performance of Haskell Array libraries through Canny edge detection. ~ Alexey Kuleshevich. alexey.kuleshevi.ch/blog/2020/07/1… #Haskell #FuncionalProgramming

0
1
4
1
0
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
2020年6月24日

Calculating correct compilers II (Return of the register machines). ~ Patrick Bahr, Graham Hutton. cs.nott.ac.uk/~pszgmh/ccc2.p… #Haskell #FuncionalProgramming

0
2
9
2
0
barambani's profile picture.
Filippo Mariotti
 @barambani
2020年6月15日

Write a GHC extension in 30 minutes by Richard Eisenberg at @ZuriHac 2020 ... #Haskell #FuncionalProgramming #GHC #FP #ZuriHac youtu.be/bhhE2DxbrJM

barambani's tweet image. Write a GHC extension in 30 minutes by Richard Eisenberg at @ZuriHac 2020 ... #Haskell #FuncionalProgramming #GHC #FP #ZuriHac youtu.be/bhhE2DxbrJM
0
0
0
0
0
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
2020年5月24日

A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. ~ Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. arxiv.org/abs/2005.08396 #FuncionalProgramming #Haskell

0
0
5
0
0
未找到 "#funcionalprogramming" 的結果
NotEvolution1's profile picture. Christian, Jesus is Lord and creation is the truth
Not Evolution
 @NotEvolution1
年3月17日

Functional Intergrated Irreducible Complexity.

NotEvolution1's tweet image. Functional Intergrated Irreducible Complexity.
30
130
718
94
14千
michael_lazebny's profile picture. Software Engineer, Dart & Flutter.
Michael Lazebny
 @michael_lazebny
年10月25日

Build Hooks in Dart are so COOL! I've created a fast_image package that uses Rust to do operations on images: cropping, resizing, encoding, etc. It's much faster than the "image" package on pub dev - see the screenshot. Plan to publish it soon! #dart #flutter #flutterdev

michael_lazebny's tweet image. Build Hooks in Dart are so COOL! I've created a fast_image package that uses Rust to do operations on images: cropping, resizing, encoding, etc. It's much faster than the "image" package on pub dev - see the screenshot. Plan to publish it soon! #dart #flutter #flutterdev
8
7
55
19
2千
umaar's profile picture. • I tweet developer tips and tricks • Made https://t.co/BNg6jxTWZV • Developer tips https://t.co/8Ofj0P4de9
Umar Hansa
 @umaar
2016年5月27日

Functional Programming Jargon in JavaScript github.com/hemanth/functi… Lots of terminology explained with code examples

umaar's tweet image. Functional Programming Jargon in JavaScript github.com/hemanth/functi… Lots of terminology explained with code examples
1
106
207
2
0
kgsi's profile picture. デジタルプロダクトデザイナー / デザインとAI、ウェブ技術の情報発信多め / スタートアップ1人目デザイナー & Lumilinks代表 / コミュニティオーナー @crossrel_commu / 📻️ @yowaradi / ex: Algomatic ← SmartHR / お仕事の依頼はDMまで📨
こぎそ
@kgsi
2 小時

Figmaのプラグイン「Figmentation」⚙️ 色、タイポグラフィ、間隔、境界線、効果などのデザイン トークンを Figma コンポーネントから直接抽出するプロセスを自動化してくれるみたい👀 figma.com/community/plug…

kgsi's tweet image. Figmaのプラグイン「Figmentation」⚙️ 色、タイポグラフィ、間隔、境界線、効果などのデザイン トークンを Figma コンポーネントから直接抽出するプロセスを自動化してくれるみたい👀 figma.com/community/plug…
0
1
5
8
574
mweststrate's profile picture. Michel Weststrate. @meta. Author of MobX, mobx-state-tree, serializr, immer. 👨‍👩‍👧‍👧✝🇳🇱 https://t.co/vQuKdi3HEo…
Michel 🇺🇦
 @mweststrate
2019年12月30日

I figured I'm tired of seeing const vs let vs var, so from now on I won't use any of those. I call it "functional programming"

mweststrate's tweet image. I figured I'm tired of seeing const vs let vs var, so from now on I won't use any of those. I call it "functional programming"
56
331
2千
47
0
Beyoumind's profile picture. ⠀⠀⠀⠀⠀⠀⠀ ⠀⠀ ⠀⠀⠀⠀⠀⠀⠀ ⠀⠀ ⠀⠀⠀⠀⠀⠀⠀ ⠀⠀ ⠀⠀⠀⠀
เจ่ง
 @Beyoumind
2020年8月30日

ป๊าดนี่แหละที่ตามหา❕❕เป็นฟิลเตอร์ที่สามารถเอารูปจากแกลอรี่มาใส่ได้ แล้วสีฟิลเตอร์จะไปอยู่ในรูป ﹆⚬🏠🛵🚦

Beyoumind's tweet image. ป๊าดนี่แหละที่ตามหา❕❕เป็นฟิลเตอร์ที่สามารถเอารูปจากแกลอรี่มาใส่ได้ แล้วสีฟิลเตอร์จะไปอยู่ในรูป ﹆⚬🏠🛵🚦
Beyoumind's tweet image. ป๊าดนี่แหละที่ตามหา❕❕เป็นฟิลเตอร์ที่สามารถเอารูปจากแกลอรี่มาใส่ได้ แล้วสีฟิลเตอร์จะไปอยู่ในรูป ﹆⚬🏠🛵🚦
Beyoumind's tweet image. ป๊าดนี่แหละที่ตามหา❕❕เป็นฟิลเตอร์ที่สามารถเอารูปจากแกลอรี่มาใส่ได้ แล้วสีฟิลเตอร์จะไปอยู่ในรูป ﹆⚬🏠🛵🚦
23
60千
41千
6千
0
supponponkikki's profile picture. いろいろなことにチャレンジ中 / 油彩画/ デジタル画/ Tシャツ/ スウェット/ ゆるゆるグッズ/ 脱力系 #哲学 #心理学 #芸術 /インスタ→https://t.co/nL9L9cb5sl
すっぽんぽんきっき
 @supponponkikki
年10月28日

インスタにはafterも上げたけど... アプリのフィルタもいいけど、自分でコード書いてフィルタかけるのも面白いよね。 またPythonで色々試してみよう〜 #写真好きな人と繋がりたい #pieni #pythonprogamming

supponponkikki's tweet image. インスタにはafterも上げたけど... アプリのフィルタもいいけど、自分でコード書いてフィルタかけるのも面白いよね。 またPythonで色々試してみよう〜 #写真好きな人と繋がりたい #pieni #pythonprogamming
0
1
6
0
162
endless_sine's profile picture. incorrigible evil angelic homosexual catgirl toying in the fields of inorganic synthesis and analog electronics | she/her | discord: arylation
Felinine N-Arylation ⌬ 🧪 🌲 🍋 🏳️‍⚧️
 @endless_sine
年11月16日

what is going on in the functional programming community

endless_sine's tweet image. what is going on in the functional programming community
3
18
266
9
5千
MokadyRon's profile picture. Visual Generative Models Research lead @ BRIA AI
Ron Mokady
@MokadyRon
年10月29日

Generating an image from 1,000 words. Very excited to release Fibo 😃, the first ever open-source model trained exclusively on long, structured captions. Fibo sets a new standard for controllability and disentanglement in image generation [1/6] 🧵

MokadyRon's tweet image. Generating an image from 1,000 words. Very excited to release Fibo 😃, the first ever open-source model trained exclusively on long, structured captions. Fibo sets a new standard for controllability and disentanglement in image generation [1/6] 🧵
20
55
454
283
44千
coopTilleuls's profile picture. API, Web & Cloud Experts. @ApiPlatform & FrankenPHP creators. Free software contributors. B Corp–certified worker co-op. 🐘 https://t.co/gIs60BJnTr
Les-Tilleuls.coop
 @coopTilleuls
年10月28日

Au #ForumPHP 2025, notre coopérateur Albin a tenté de transformer 300 téléphones en pixels pour dessiner le logo #PHP dans la salle. Une expérience participative et interactive à base de PHP, Mercure, #FrankenPHP et @clever_cloud que l'on vous invite à découvrir sous ce post ⬇️

coopTilleuls's tweet image. Au #ForumPHP 2025, notre coopérateur Albin a tenté de transformer 300 téléphones en pixels pour dessiner le logo #PHP dans la salle. Une expérience participative et interactive à base de PHP, Mercure, #FrankenPHP et @clever_cloud que l'on vous invite à découvrir sous ce post ⬇️
1
5
9
0
826
jonas1ara's profile picture. Functional Programming and Compilers.
Jonas Lara
@jonas1ara
年10月27日

Functional implementation of Floyd-Warshall Algorithm in #fsharp

jonas1ara's tweet image. Functional implementation of Floyd-Warshall Algorithm in #fsharp
1
0
5
1
192
Rikopelo's profile picture. ✧ 𝗠𝗿.𝗙𝗶𝘅𝗲𝗿 ✧ 𝗠𝗼𝗺𝗼 ✿ 𝗪𝗵𝗮𝘁 𝗶𝗳...? ✿ -IƝƬƤ- Álνɑɾσ ≠ Bɾσƙeɳ νessel wɑlƙiɳɠ 🗝 @Rikopelock ♡ ⎝⎠ ╲╱╲╱ ⎝⎠
Rikopeloもも ☯
 @Rikopelo
11 小時

Fotito mía programando. Borro en 3 quesitos.

Rikopelo's tweet image. Fotito mía programando. Borro en 3 quesitos.
0
0
11
0
194
ChShersh's profile picture. Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Dmitrii Kovanikov
@ChShersh
年10月20日

I haven't shared beautiful C++ code for a while. Here's some FP in C++ for a treat.

ChShersh's tweet image. I haven't shared beautiful C++ code for a while. Here's some FP in C++ for a treat.
105
21
451
128
316千
lehua555's profile picture. 株式会社オービタルネット 代表取締役/ 位置情報､GISとAIを活用したソリューション事業を行っています。今後は衛星画像のAI解析をAIaaSで提供していきます。
Yuji Kobayashi
@lehua555
年10月27日

衛星画像を背景として使用するため、xyzタイルをMBTiles（PMTilesではなく）に格納して使用することが多くなったので、並列で画像読み込み、同時にSQLiteに書き込む処理をChatGPTに作ってもらった。進捗がわかるようにプログレスバーも実装したので待ち時間のストレスがなくなった。 #foss4g #foss4gj

lehua555's tweet image. 衛星画像を背景として使用するため、xyzタイルをMBTiles（PMTilesではなく）に格納して使用することが多くなったので、並列で画像読み込み、同時にSQLiteに書き込む処理をChatGPTに作ってもらった。進捗がわかるようにプログレスバーも実装したので待ち時間のストレスがなくなった。 #foss4g #foss4gj
lehua555's tweet image. 衛星画像を背景として使用するため、xyzタイルをMBTiles（PMTilesではなく）に格納して使用することが多くなったので、並列で画像読み込み、同時にSQLiteに書き込む処理をChatGPTに作ってもらった。進捗がわかるようにプログレスバーも実装したので待ち時間のストレスがなくなった。 #foss4g #foss4gj
0
5
13
8
969
CompSciFact's profile picture. Daily tweets about computer science and related stuff @JohnDCook.
Computer Science
@CompSciFact
2015年9月23日

Functors, Applicatives, And Monads In Pictures ow.ly/SAJts

CompSciFact's tweet image. Functors, Applicatives, And Monads In Pictures ow.ly/SAJts
2
93
195
1
0
hakuto00's profile picture. 70年代生まれの地方在住フリーランスWEBエンジニア。様々なWEBパーツのソースをコピペできるサイトを運営中。生成AIで実装したパーツやツールなどフロントエンドよりの情報を発信してます。
ハクト@WEBエンジニア
@hakuto00
2022年9月23日

「filter」プロパティを使用し画像にフィルターを追加してみました。 他にもhue-rotate（色相）やinvert（階調）の調整も可能です。 #Web制作 #プログラミング初心者 #駆け出しエンジニアと繋がりたい #webデザイン #css

hakuto00's tweet image. 「filter」プロパティを使用し画像にフィルターを追加してみました。 他にもhue-rotate（色相）やinvert（階調）の調整も可能です。 #Web制作 #プログラミング初心者 #駆け出しエンジニアと繋がりたい #webデザイン #css
0
22
316
71
0
phokuinc's profile picture. ...I'm going there, but I like it here, wherever it is....
designerd
 @phokuinc
年10月27日

Where the face is the canvas and flowers are the paint #FloralPortraits #ArtInspiration #AIart

phokuinc's tweet image. Where the face is the canvas and flowers are the paint #FloralPortraits #ArtInspiration #AIart
0
0
7
0
82

Something went wrong.


Something went wrong.


United States Trends