[#TRADESHOW] #DOMOTEX #asia / #CHINAFLOOR 2025 will take place from May 26 to 28, 2025, at the National #Exhibition and #Convention #Center (#NECC) in #Shanghai, #China. As the largest annual #event for the #international #floor covering #industry, it #showcases a comprehensive range of #products, including solid #wood #flooring, outdoor #decking, rugs, mats, #carpet #machinery, coatings, and more. https://cnbusinessforum.com/event/domotex-asia-chinafloor-2025/

[#TRADESHOW] The 2025 #China (#Wenzhou) #International #Hardware & #Intelligent #Lock #Fair from May 28 to 30, 2025, at the Wenzhou International #Convention & #Exhibition #Center. As #Asia’s leading #trade #fair for hardware and intelligent lock #solutions, this #event will #showcase #innovative products such as #smart #locks, #mechanical locks, hinges, and furniture #accessories. https://cnbusinessforum.com/event/2025-china-wenzhou-international-hardware-intelligent-lock-fair/

I was quite busy these last days with the Salon Fantastique (Fantastic Fair) in Paris and so quite silent here. As I'm back in Strasbourg enjoying a day off after this nice but exhausting 3-days event, let's just post a pic of my booth taken on Sunday morning ! Do you like it ?

[#TRADESHOW] #China #Wenzhou #International #Optics #Fair 2025 (#WOF) will take place from May 9 to 11, 2025, at the Wenzhou International #Convention & #Exhibition #Center, #showcasing a diverse range of high-quality #products, including #sunglasses, #lenses, optical #frames, #optometry instruments, and advanced #lens #manufacturing machinery. https://cnbusinessforum.com/event/china-wenzhou-international-optics-fair-wof-2025/

[#TRADESHOW] The 12th #Gas #Turbine #Focus #Conference and #Exhibition (#GTF 2025) will be held from July 16 to 18, 2025, at the #Shanghai #World #Expo Exhibition & #Convention #Center, #China. As a #leading and #influential #platform for gas turbine and #aerospace #propulsion #innovation, GTF 2025 integrates #industry-academia-research #collaboration with #technological exchange, product #showcases, and high-level #summits. https://cnbusinessforum.com/event/12th-gas-turbine-focus-conference-and-exhibition-gtf-2025/

[#TRADESHOW] #Healthplex #Expo 2025, #Natural & #Nutraceutical #Products #China 2025 (HNC 2025) returns to the National #Exhibition and #Convention #Center (#NECC) in #Shanghai from June 24–26, 2025. This #flagship #trade #event is #Asia’s #largest #platform for natural products, #nutraceuticals, Traditional #Chinese #Medicine (#TCM), and #beauty #innovations. https://cnbusinessforum.com/event/healthplex-expo-2025-natural-nutraceutical-products-china-2025-hnc-2025/

[#TRADESHOW] 30th #International #Processing & #Packaging #Exhibition will take place from June 24–26, 2025, at the National Exhibition and #Convention #Center (#NECC) in #Shanghai, #China. This #flagship #event is #Asia’s largest and most #influential #trade #fair for #food processing, #beverage #production, packaging #innovation, and #industrial #manufacturing. https://cnbusinessforum.com/event/30th-international-processing-packaging-exhibition-2025/

[#TRADESHOW] #Fastener #Expo #Shanghai 2025 (#FES) will take place from June 17–19, 2025, at the National #Exhibition and #Convention #Center (#NECC) in Shanghai, #China. #Global #platform #event for #showcasing fastener finished #products, #manufacturing #equipment, and #industry #solutions for sectors like #automotive, #rail, #construction, #photovoltaics (#PV), and #wind #energy. https://cnbusinessforum.com/event/fastener-expo-shanghai-2025-fes/

[#TRADESHOW] #WATERTECH #CHINA 2025, the #world’s largest #international #exhibition for #water and #wastewater #treatment, will take place from June 4–6, 2025, at the National Exhibition and #Convention #Center (NECC) in #Shanghai. #Event is the premier #platform for discovering cutting-edge #technologies in #membrane #filtration, #pipeline #systems, #environmental #monitoring, #pumps, and #valves. https://cnbusinessforum.com/event/watertech-china-2025/

[#TRADESHOW] South #China #International #Industry #Fair 2025 (SCIIF) will take place from June 4–6, 2025, at the #Shenzhen #World #Exhibition & #Convention #Center. Focused on new quality #productive forces the #expo bridges #smart #manufacturing, machine #vision, #laser #technology, and #electronics #automation, fostering collaboration across the #global #industrial #chain. https://cnbusinessforum.com/event/south-china-international-industry-fair-2025-sciif/

[#TRADESHOW] R+T #Asia 2025 will take place from May 26–28, 2025, at the National #Exhibition and #Convention #Center (#Shanghai), #China. As Asia’s premier #trade #show for the #sun #shading and #door/#gate #industries, this #milestone #event unites 700+ #exhibitors and 54,000+ #visitors from 100+ countries across 120,000 sq.m of #expo space. https://cnbusinessforum.com/event/rt-asia-2025/

[#TRADESHOW] #DOMOTEX #asia / #CHINAFLOOR 2025 will take place from May 26 to 28, 2025, at the National #Exhibition and #Convention #Center (#NECC) in #Shanghai, #China. As the largest annual #event for the #international #floor covering #industry, it #showcases a comprehensive range of #products, including solid #wood #flooring, outdoor #decking, rugs, mats, #carpet #machinery, coatings, and more. https://cnbusinessforum.com/event/domotex-asia-chinafloor-2025/

[#TRADESHOW] The 2025 #China (#Wenzhou) #International #Hardware & #Intelligent #Lock #Fair from May 28 to 30, 2025, at the Wenzhou International #Convention & #Exhibition #Center. As #Asia’s leading #trade #fair for hardware and intelligent lock #solutions, this #event will #showcase #innovative products such as #smart #locks, #mechanical locks, hinges, and furniture #accessories. https://cnbusinessforum.com/event/2025-china-wenzhou-international-hardware-intelligent-lock-fair/

[#TRADESHOW] #China #Wenzhou #International #Optics #Fair 2025 (#WOF) will take place from May 9 to 11, 2025, at the Wenzhou International #Convention & #Exhibition #Center, #showcasing a diverse range of high-quality #products, including #sunglasses, #lenses, optical #frames, #optometry instruments, and advanced #lens #manufacturing machinery. https://cnbusinessforum.com/event/china-wenzhou-international-optics-fair-wof-2025/

[#TRADESHOW] #NEPCON #China 2025, #Asia’s premier #electronics #manufacturing and #technology #exhibition, from April 22–24, 2025, at the #Shanghai #World #Expo Exhibition & #Convention #Center. This #B2B #event serves as a vital #platform for electronics, #automotive, and new #energy industries, presenting the latest in electronic #components, #semiconductor packaging, #industrial #robots, EMS, machine vision, and testing #equipment. https://cnbusinessforum.com/event/nepcon-china-2025/

[#TRADESHOW] The 12th #Gas #Turbine #Focus #Conference and #Exhibition (#GTF 2025) will be held from July 16 to 18, 2025, at the #Shanghai #World #Expo Exhibition & #Convention #Center, #China. As a #leading and #influential #platform for gas turbine and #aerospace #propulsion #innovation, GTF 2025 integrates #industry-academia-research #collaboration with #technological exchange, product #showcases, and high-level #summits. https://cnbusinessforum.com/event/12th-gas-turbine-focus-conference-and-exhibition-gtf-2025/

[#TRADESHOW] #Healthplex #Expo 2025, #Natural & #Nutraceutical #Products #China 2025 (HNC 2025) returns to the National #Exhibition and #Convention #Center (#NECC) in #Shanghai from June 24–26, 2025. This #flagship #trade #event is #Asia’s #largest #platform for natural products, #nutraceuticals, Traditional #Chinese #Medicine (#TCM), and #beauty #innovations. https://cnbusinessforum.com/event/healthplex-expo-2025-natural-nutraceutical-products-china-2025-hnc-2025/

[#TRADESHOW] 30th #International #Processing & #Packaging #Exhibition will take place from June 24–26, 2025, at the National Exhibition and #Convention #Center (#NECC) in #Shanghai, #China. This #flagship #event is #Asia’s largest and most #influential #trade #fair for #food processing, #beverage #production, packaging #innovation, and #industrial #manufacturing. https://cnbusinessforum.com/event/30th-international-processing-packaging-exhibition-2025/

Does *anyone* actually like Moscow ML's insistence that structures live in files with identical names (e.g., `structure Foo_Fabricator` MUST live in the file `Foo_Fabricator.sml` and MUST have a signature with identical name `signature Foo_Fabricator` which itself lives in the file `Foo_Fabricator.sig`)?

I always thought it idiomatic Standard ML to use SCREAMING_SNAKE_CASE for signature names, which breaks Moscow ML's conventions (unless you put it in SCREAMING_SNAKE_CASE-sig.sml and compiled it as a toplevel unit...which kinda breaks the whole module-as-compilation-unit idea?).

And Moscow ML *hates* it when you include the signature and a structure within the *same* file, because that violates its hardcoded assumptions about the world.

And another thing...

[#TRADESHOW] #Fastener #Expo #Shanghai 2025 (#FES) will take place from June 17–19, 2025, at the National #Exhibition and #Convention #Center (#NECC) in Shanghai, #China. #Global #platform #event for #showcasing fastener finished #products, #manufacturing #equipment, and #industry #solutions for sectors like #automotive, #rail, #construction, #photovoltaics (#PV), and #wind #energy. https://cnbusinessforum.com/event/fastener-expo-shanghai-2025-fes/